mersenneforum.org  

Go Back   mersenneforum.org > Prime Search Projects > Conjectures 'R Us

Reply
 
Thread Tools
Old 2010-01-13, 14:14   #1
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24×7×53 Posts
Default Untested Sierp conjectures sorted by conjecture

Here is a list of all Sierpinski conjectures which have not been tested, ordered by ck.

I figured that people who are new to the search can pick bases from this list with low k to get their feet wet.

Code:
base          conjectured k  (k's remaining at n=2500)
 556           3353698
 721           3446428
 915           4266956
 976           4492245
 793           4492848
 651           4541342
 535           4653216
 453           4863476
 427           5852794
 561           6290186
 462           6880642
 375           7509988
 886           8170158
 631           8243256
 525           8639814
 261           8837652
 691           9449088
 705          10159692
 726          10923176
 481          11680548
1015          12079606
 400          12492354
1008          12730554
 585          13929512
 456          14836963
 541          15253776
 865          15460266
 330          16636723
 586          21262902
 715          21508102
 346          22248598
 963          23276986
 630          24015859
 777          24088826
 358          27478218
 700          36945505
 801          45030296
 546          45119296
 925          59162602
 756          67836285
 891          80364072
 325          82786558
1020          95696289
 760         113906481
 141         129697332
 796         137085595
 210         147840103
 906         161291811
 271         168541962
 876         258073912
 195         289401986
  85         346334170
 345         356851424
 120         374876369
 690         395800653
 175         606727296
 966         924230558
 399        2525403854
 415        3088787196
 435        3699251266
  71        5917678826
 921       10596584690
 127       11254645362
 156       18406311208
 826       19730748315
 981       50234474650
 960      197938246042
 661     1185028551412
 946     1524340829428
 799     1864613598304
 511     3876595974396
 910     4989054506113
 855     7954937545864
 280    82035074042274

Last fiddled with by gd_barnes on 2020-10-11 at 08:06 Reason: update status
rogue is online now   Reply With Quote
Old 2010-01-13, 14:39   #2
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

10AB16 Posts
Default

Quote:
Originally Posted by rogue View Post
Code:
 839        4
 854        4
 139        6
These have been tested and proven according to http://www.noprimeleftbehind.net/cru...onjectures.htm
I haven't checked many others.
How did you make this list that those wouldn't be excluded? Or was it just a mistake?
Mini-Geek is offline   Reply With Quote
Old 2010-01-13, 15:57   #3
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24×7×53 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
These have been tested and proven according to http://www.noprimeleftbehind.net/cru...onjectures.htm
I haven't checked many others.
How did you make this list that those wouldn't be excluded? Or was it just a mistake?
Most likely an edit error on my part. I started with a spreadsheet listing the conjectures for bases <= 1024, then removed rows from the linked page. I wouldn't be surprised if my eyes got a little buggy in the process.
rogue is online now   Reply With Quote
Old 2010-01-13, 18:49   #4
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17×251 Posts
Default

Quote:
Originally Posted by rogue View Post
Most likely an edit error on my part. I started with a spreadsheet listing the conjectures for bases <= 1024, then removed rows from the linked page. I wouldn't be surprised if my eyes got a little buggy in the process.
You did it manually? Hmm...that's pretty prone to error, especially over ~2000 lines. I'll do it automated, and attach the results...
Done. (It doesn't have the nice-looking number of spaces like your list did, just a single space between each one. We'd probably want it looking like yours did before replacing it in the posts here.) For the record (so everyone else and I know how to do it in the future), here's how I did it:

get the list of conjectures, sorted by k then b in the format "b k" in one file, and
the list of bases that have been worked (from CRUS site) in another file (same format and sorting),
run "diff sierp-conjectures.csv sierp-worked.csv > sierp-diff.txt" (diff from cygwin/unix), with the two file names plugged in correctly
find/replace to remove all "> " from sierp-diff.txt
import sierp-diff.txt into OOo calc, splitting on 'd' and ',' (this will make almost all extraneous lines have more than one column, allowing us to get just the part we want)
sort by column B then A
remove all lines we don't want (which will be grouped together due to previous sorting)
now split the remaining columns on a space, sort by column B (the conj. k) then A (the base), and save as a .csv using a space to separate the lines
repeat for the other side (Riesel/Sierp)

Tada! Yeah, it's quite a bit, but it practically eliminates user error. And I'm sure it's gotta be WAY faster than going through the list of bases that have been worked manually. I found this many discrepancies between our lists: (all are ones that you included but I didn't, unless otherwise noted; all likely due to human error; someone might want to check these discrepancies from the original files and pages to be 100% sure which of us made the mistake)
Riesel: 5 diffs
Code:
 142        12
 137        22
 200        68
 298       116
 241     15918
Sierp: 13 diffs
Code:
 839        4
 854        4
 139        6
 146        8
 142       12
 129       14
 110       38
 122       40
962 106 (on my list only)
 961     1000
 138     2781
 143     7628
 211    20238
Attached Files
File Type: zip diffs.zip (6.6 KB, 151 views)

Last fiddled with by Mini-Geek on 2010-01-13 at 18:50
Mini-Geek is offline   Reply With Quote
Old 2010-01-13, 20:33   #5
rogue
 
rogue's Avatar
 
"Mark"
Apr 2003
Between here and the

24·7·53 Posts
Default

That's great! I didn't think strongly about an automated way of doing it, but that clearly is an easier way to do what I tried to do. Now if Gary would go and update the first and second posts in these threads...
rogue is online now   Reply With Quote
Old 2010-01-13, 21:52   #6
MyDogBuster
 
MyDogBuster's Avatar
 
May 2008
Wilmington, DE

B2416 Posts
Default

Tim, Now if there was a way to automate that, I'm sure Gary or Max could run that stuff at least once a week or so. Nice job by the way. Those lists are nice, but Gary will want automation or they probably won't be maintained.
MyDogBuster is offline   Reply With Quote
Old 2010-01-13, 22:39   #7
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by MyDogBuster View Post
Tim, Now if there was a way to automate that, I'm sure Gary or Max could run that stuff at least once a week or so. Nice job by the way. Those lists are nice, but Gary will want automation or they probably won't be maintained.
Yeah...reminds me of the top 5000 change list over at NPLB. Automating it could be possible, but is probably too much trouble to be worth it. It's not that there's anything that couldn't be automated fairly easily. It's just that putting it all together could be pretty tiresome.
If anyone's interested, it would probably be a good starting point to make a Perl script that takes the two sorted lists and outputs the difference directly in the format we want. I could see this being far easier than my method (and done entirely within a simple perl script, instead of the convoluted back-and-forth going on now involving multiple programs). One of the lists is fixed (i.e. the list of conjectures will almost never change) after it's prepared once, so we wouldn't need to consider that. Then the only other things you need are an automated way to get the sorted list of worked k's (this might be the hard part; in my method I copy/paste it from Firefox into OOo calc, a script would likely have to look at the HTML itself) and to do something with the output automatically (should be pretty easy, assuming it's being run as a cron job on the server where the result's hosted).

Last fiddled with by Mini-Geek on 2010-01-13 at 22:49
Mini-Geek is offline   Reply With Quote
Old 2010-01-13, 23:41   #8
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

27EB16 Posts
Default

Thanks again for your tireless efforts guys. I'll correct the postings later tonight.
gd_barnes is offline   Reply With Quote
Old 2010-01-14, 08:05   #9
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

1021910 Posts
Default

After thinking about this for a bit and after adding and updating about 10-15 new and already-tested bases on the web pages, I realized that it's going to add yet another step to the updates to manually update the 1st two posts in these two threads. It would be very difficult to keep them constantly in sync, especially as multiple small bases are done.

If anyone can automate this and post an updated list every few days based on testing shown on the web pages, I'll update the posts.

If we don't automate it, I might suggest something: List ALL bases sorted by conjecture and show if each base is proven or not. That would be a fairly quick one-time thing and it would be fairly easy to manually keep such a post updated whenver a conjecture becomes proven.

"Untested Sierpinski conjectures with sorted by k" seemed a little confusing as to what this is so I changed the 2 thread names slightly.


Gary
gd_barnes is offline   Reply With Quote
Old 2010-01-14, 08:14   #10
gd_barnes
 
gd_barnes's Avatar
 
May 2007
Kansas; USA

100111111010112 Posts
Default

Attached is something that I did a long time back. All Sierp conjectures sorted by size, that is conjectured-k.

I just put Robert's Sierp conjectures text file into a spreadsheet and quickly used formulas to eliminate the period, cover, and blank lines, and split out the base and conjecture into separate cells. I then sorted it. So it is a virtual guarantee that the list is all there and sorted correctly.

Perhaps someone can do something a little more with this.
Attached Files
File Type: txt Sierpinski conjectures by size.txt (13.5 KB, 324 views)
gd_barnes is offline   Reply With Quote
Old 2010-01-14, 16:08   #11
Mini-Geek
Account Deleted
 
Mini-Geek's Avatar
 
"Tim Sorbera"
Aug 2006
San Antonio, TX USA

17·251 Posts
Default

Quote:
Originally Posted by Mini-Geek View Post
If anyone's interested, it would probably be a good starting point to make a Perl script that takes the two sorted lists and outputs the difference directly in the format we want. I could see this being far easier than my method (and done entirely within a simple perl script, instead of the convoluted back-and-forth going on now involving multiple programs).
I've made this as a Java program, (attached is a .jar of it, along with the source code, uncommented, and a readme) so the whole process is now pretty fast, but still requires the semi-manual step of getting the info from the web page into the format we need. Fortunately it's really not too hard (or long, or involved) to do that. I've tested it and its output matches up exactly with my other method.
I think it's easy enough now to not be too hard to regularly keep up to date (be it you doing it yourself or you having me, or someone else, do it after you update the pages).
Just in case you didn't know: you can double click a .jar to run it easily.

I'll attach some updated lists in the next post. (since I can only have one attachment per post and don't want it in the same as the Java script) There are a few updates for Riesel and none for Sierp.
Attached Files
File Type: zip unworked-script.zip (3.3 KB, 157 views)

Last fiddled with by Mini-Geek on 2010-01-14 at 16:20
Mini-Geek is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Untested Riesel conjectures sorted by conjecture rogue Conjectures 'R Us 36 2018-01-03 19:53
I took a New assignment untested Prime Number manual testing &TF ONeil Information & Answers 4 2017-12-23 05:30
Conjectures with one k remaining rogue Conjectures 'R Us 109 2017-04-29 01:28
decomp sorted <61 moo Lone Mersenne Hunters 0 2005-03-24 22:38
Smallest untested number? wirthi Math 10 2003-10-05 13:02

All times are UTC. The time now is 15:20.

Tue Oct 20 15:20:15 UTC 2020 up 40 days, 12:31, 1 user, load averages: 3.45, 3.39, 3.14

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2020, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.