Register FAQ Search Today's Posts Mark Forums Read

 2007-12-14, 19:45 #1 gd_barnes     May 2007 Kansas; USA 53·199 Posts Come join us! With this effort, we aim to prove many of the Riesel and Sierpinski conjectures for bases <= 1030 that are not currently being worked on by other projects or efforts. Project definition: For every base (b) for the forms k*b^n+1 and k*b^n-1, there exists a k-value for each form that has been conjectured to be the lowest 'Sierpinski value' (+1 form) or 'Riesel value' (-1 form) that is composite for all values of n >= 1. k's that have a trivial factor (one factor the same) for all n-values as well as k's that make Generalized Fermat #'s are not considered. See more specifics for exclusions at the bottom of this post. Sub-project #1: Assist in proving the Liskovets-Gallot conjectures for the forms k*2^n+1 and k*2^n-1 where n is always odd -and- where n is always even. Sub-project #2: Assist in proving the Sierp base 2 2nd conjecture for the form k*2^n+1. The 1st conjectured k where all n are proven composite is k=78557 and is extensively tested by the PrimeGrid Seventeen or Bust project. The 2nd conjectured k where all n are proven composite is k=271129. The range of 78557=1M down to n=2500. There are also some bases that can be started from scratch where you can find 1000's of very small primes. (Not for the faint of heart!) 5. There are many conjectures where only ONE k needs a prime (and many more that need only two). If you find it, you could be the one to prove a conjecture! This is a big deal to us here. 6. Algebraic factors have been found for many k's, which prove them composite for all n, allowing them to be removed from searches. For me, there's nothing worse then searching a k for a long time that later is proven to have no primes. 7. For those who prefer to search the conjectures using BOINC, there is a BOINC effort called SRBase for the project. See SRBase. Links to web pages about all bases: Riesel conjectures Riesel conjectures powers of 2 Sierpinski conjectures Sierpinski conjectures powers of 2 Reservation pages: Riesel conjecture reservations Sierpinski conjecture reservations Summarized statistics and general short summary pages: Condensed table of all conjectures Overall progress Top 20 lists Unproven conjectures Proven conjectures BOINC effort (SRBase): SRBase The Liskovets-Gallot conjectures are shown as 'base 2 even-n' and 'base 2 odd-n'. Detailed notes about exclusions in the conjectures: Code: 1. k-values with at least one of the following conditions are excluded from the conjectures: a. All n-values have a single trivial factor. b. Make a full covering set with all or partial algebraic factors. c. Make generalized Fermat numbers (GFn's), that is: q^m*b^n+1 where b is the base, m>=0, and q is a root of the base. 2. k-values that are a multiple of base (b) and where k-1 (Riesel) or k+1 (Sierp) are composite are included in the conjectures but excluded from testing. Such k-values will have the same prime as k / b. For reference, here is a link to generalized Fermat number primes for bases <= 1030 up to n=2^22: GFN primes Thanks and come join us for the fun at..."Conjectures 'R Us". Gary Last fiddled with by gd_barnes on 2021-10-02 at 01:48 Reason: general updates
 2007-12-15, 00:04 #2 michaf     Jan 2005 1110111112 Posts Is there a program available to 'start' a search easily? i.e. get a program to search each number upto say n=1000, and let it report (and abort that k) whenever a prime is found. (and also get an output file containing remaining k's of course) I tried to make myself a ubasic program, but is seems waaaay slow, and it leaves about 1 in 10 numbers when I search only upto 100 in base 24, which would be too much to handle still :>
2007-12-15, 03:54   #3
gd_barnes

May 2007
Kansas; USA

293316 Posts
starting a new base...

Quote:
 Originally Posted by michaf Is there a program available to 'start' a search easily? i.e. get a program to search each number upto say n=1000, and let it report (and abort that k) whenever a prime is found. (and also get an output file containing remaining k's of course) I tried to make myself a ubasic program, but is seems waaaay slow, and it leaves about 1 in 10 numbers when I search only upto 100 in base 24, which would be too much to handle still :>

For starting a new entire base, I suggest PFGW. But you're talking about starting a single k on a new base. I don't recommend that because it would be highly inefficient and would take weeks just to search a few 1000 k. For instance on base 24 Riesel, it would require 32,335 separate searches (minus a small percentage with trivial factors).

For me personally, I would use PFGW to search all 32,335 k's at once up to n=3000. This would take it anywhere from 2-4 hours on one 3-Ghz P4 machine depending on how many k's it was eliminating in the early going. What's cool about PFGW is that it will stop searching a k after it finds a prime for it if you tell it to. The set up and recognition of the output wouldn't be too hard either because for base 24, there are few k's with trivial factors. (1 out of every 23 k's has a trivial factor of 23).

I think Robert did a good thing when he split up the base 16 Sierp effort into 4-5 pieces because that conjecture is k=66741. So that would be an option also. If you went with Robert's option, you might want to take the first 5000-7500 k's on base 24 to 'get your feet wet' on using PFGW and recognizing the remaining k's.

If you still want to bite off part of a new base like this, let me know and I'll send you a PM that will have detailed instructions on downloading PFGW and setting up the parameters properly. But if messing with proving many new primes, reporting k's remaining to me for others to search, etc., isn't to your liking, I have a suggestion just for you personally: You tested the remaining candidates on Base 23 up to n=34.5K. I've searched the Riesel side for them up to n=45K now. I have sieved files that go all the way up to n=100K that I can send you and you could start testing from there. As you may remember, there are 2 candidates remaining for both the Riesel and Sierpinski conjectures. (Top-5000 status is reached at ~n=74K for base 23.) If that's too long of a search per candidate for your tastes, there are many k's searched to much lower ranges such as for base 28 where there are a total of 23 k's remaining that have been searched to just n=5K.

If you're familiar with running LLR, that is what I recommend for all of the prime searches past about n=5K here after they have been sieved. Mine for base 23 have been sieved to P=600G, which is plenty sufficent, even for the longer running times of higher-n higher-base searches.

I will post what software to use including PFGW for all of the various searches and detailed instructions about their set up and how to use them in the next couple of hours but I won't go into how to start a new base like this, which would require way too many different instructions for the different situations on the many bases.

I know this doesn't answer your question completely but now that you know the above, if you can let me know how you want to proceed, I can taylor the answers more to what you want to do.

Gary

2007-12-15, 06:11   #4
Citrix

Jun 2003

5×317 Posts

Quote:
 Originally Posted by michaf Is there a program available to 'start' a search easily? i.e. get a program to search each number upto say n=1000, and let it report (and abort that k) whenever a prime is found. (and also get an output file containing remaining k's of course) I tried to make myself a ubasic program, but is seems waaaay slow, and it leaves about 1 in 10 numbers when I search only upto 100 in base 24, which would be too much to handle still :>

You can write a script in pfgw. There is some documentation of this feature in the package.

gd_barnes, if some previous threads could be locked/deleted if no one is using them, let me know. This will help organize the open projects section.

Thanks!

2007-12-15, 07:20   #5
gd_barnes

May 2007
Kansas; USA

53×199 Posts

Quote:
 Originally Posted by Citrix You can write a script in pfgw. There is some documentation of this feature in the package. gd_barnes, if some previous threads could be locked/deleted if no one is using them, let me know. This will help organize the open projects section. Thanks!

That was brought up to me before in a PM so it is a good idea. First I'd like to post a message in each of them, which I'll do in the next couple of days. The ones that I'd like to see locked are the conjectures for bases 10, 22, 23, and 6 thru 18. Rogue is still searching base 10 and Simelink is still searching base 22 per statuses in those threads in the last month. I have reservations shown for them on the web pages for this effort. What I'll do is ask that they coordinate their searches and reservations here; wait a few days for a response and then suggest that the threads be locked.

Initially I thought that base 4 Sierp could be locked and coordinated here but I noticed that it is an official prime search project as defined on the top-5000 site. So I'll leave that one alone and keep it on my list of sites and threads to observe from time to time to keep the pages up to date, similar to Riesel Sieve, Seventeen-or-bust, and base 5.

Detailed instructions on using software for this effort are coming up shortly, including the proper parameters and scripts to use for PFGW for a new effort. I had to download all of the latest versions of everything first!

Gary

Last fiddled with by gd_barnes on 2007-12-15 at 07:23

 2007-12-15, 08:20 #6 Citrix     Jun 2003 5×317 Posts It would be nice if each project could just have one thread, this would make coordinating things easier. (is it possible to do this?). If you want to have several threads, a separate category might be helpful.
2007-12-15, 09:03   #7
gd_barnes

May 2007
Kansas; USA

53×199 Posts

Quote:
 Originally Posted by Citrix It would be nice if each project could just have one thread, this would make coordinating things easier. (is it possible to do this?). If you want to have several threads, a separate category might be helpful.
I've asked xyzzy for moderator duties but I needed to get something started first. I think he implied that this could be moved over to the prime search projects forum and if the reaction to the effort was good, I may be able to be a moderator.

IMHO, separate threads are very much needed. If you look at the base 6-18 thread, there was a dukes mixture of reservations, k's remaining, k's being searched, statuses, you name it. People were getting mixed up.

That said...I think we do need to have the separate threads under a SINGLE project. Since this is 'Open projects', it does look a bit messy mixed in with threads from many other things. But if we had a stand-along project with just these 4 threads, I think it would look more like a well-structured directory structure on a computer.

Perhaps that's what you were implying that we needed a separate project for these several threads. I'm all for that. Citrix, do you have moderator priviledges for this forum? I kind of got that impression when you suggested having the other conjecture-threads locked. Just curious.

Software instructions now posted but 'how to's for this effort still to go. Fortunately those will be much quicker...Long night here.

Gary

Last fiddled with by gd_barnes on 2007-12-15 at 09:05

2007-12-15, 16:29   #8
Citrix

Jun 2003

5·317 Posts

Quote:
 Originally Posted by gd_barnes Perhaps that's what you were implying that we needed a separate project for these several threads. I'm all for that. Citrix, do you have moderator priviledges for this forum? I kind of got that impression when you suggested having the other conjecture-threads locked. Just curious. Gary
Yes I do. Let me know if I can help with anything.

2007-12-15, 17:37   #9
mdettweiler
A Sunny Moo

Aug 2007
USA (GMT-5)

11000011010012 Posts

Quote:
 Originally Posted by gd_barnes Citrix, do you have moderator priviledges for this forum? I kind of got that impression when you suggested having the other conjecture-threads locked. Just curious. ... Gary
Hint: On the left, right next to where a post is in a thread, where it shows the username and other relevant information, there's a hint: The username is in blue if the user is just a regular user, green if they're a mod, and red if they're a forum administrator (sort of a super-mod, I think). The only exception (as far as I know) is Xyzzy, who shows up as a regular user but obviously has super-super-mod privileges.

Last fiddled with by mdettweiler on 2007-12-15 at 17:38

 2007-12-15, 18:58 #10 michaf     Jan 2005 479 Posts I was under the impression that Xyzzy was only a device used by the gerbils. Actually one gerbil and a spirit of one I believe.
 2007-12-19, 05:56 #11 gd_barnes     May 2007 Kansas; USA 53·199 Posts Come vote about this effort in the lounge... I've posted a poll in the Lounge. Come vote and let us know if you think this effort is worthwhile enough to have it's own sub forum. Thanks, Gary

 Similar Threads Thread Thread Starter Forum Replies Last Post gd_barnes No Prime Left Behind 36 2021-10-14 20:05 maxmax Information & Answers 5 2011-02-09 21:59 gian92 Software 0 2008-02-22 21:08 drakkar67 15k Search 2 2005-08-30 18:20 junky NFSNET Discussion 3 2004-07-05 04:05

All times are UTC. The time now is 06:29.

Sat Nov 27 06:29:41 UTC 2021 up 127 days, 58 mins, 0 users, load averages: 0.87, 1.10, 1.12