mersenneforum.org  

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

Reply
 
Thread Tools
Old 2008-05-25, 12:18   #56
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

75316 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
I've found by my program this new record Sierpinski value for base=3:
1694420352676*3^n+1 is composite for all n values. The covering set is
5,7,13,19,37,41,73,757,6481

new record Sierpinski value for base=7:
1112646039348*7^n+1 is composite for all n values. The covering set is
5,13,19,37,43,73,181,193,1201
Totally great! Such a breathtaking reduction in base 3.
robert44444uk is offline   Reply With Quote
Old 2008-05-25, 13:13   #57
michaf
 
michaf's Avatar
 
Jan 2005

1110111112 Posts
Default

Quote:
Originally Posted by michaf View Post
Congrats and thanks :)
base 7 is a magnitude harder still, due to the larger base, but also, doable within a few thousand cpu-years (I'll give it a go to test how much will be left for base 7)
Hmm.. I can't seem to get the modular restricions in as easy as I thought...
Quote:
div=powmod(k,1,3);
if(div=1) {
k+=2;
goto start;
}
doesn't work :(
michaf is offline   Reply With Quote
Old 2008-05-25, 16:03   #58
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

57516 Posts
Default

Again, new record for Sierpinski, base=3:
1125458784774*3^n+1 is composite for all n values.
Covering set=5,7,13,17,19,37,41,73,193,757
R. Gerbicz is offline   Reply With Quote
Old 2008-05-25, 18:59   #59
KEP
Quasi Admin Thing
 
KEP's Avatar
 
May 2005

13×71 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
Again, new record for Sierpinski, base=3:
1125458784774*3^n+1 is composite for all n values.
Covering set=5,7,13,17,19,37,41,73,193,757
Wow another reduction by half a trillion k's , really awesome what you accomplish here, this is really helpfull, wonder if you actually overtakes my effort on riesel base 3, if you magically comes up with another reduction ...

Now I'm just wondering, is there someway to make this a distributed effort, in order to find more covering sets or can the tast of finding covering sets only be at one machine at a time? Also how do you start this search, from lowest k and up or from conjectured k and then goes down?

Regards

Kenneth!
KEP is offline   Reply With Quote
Old 2008-05-25, 21:17   #60
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

11×127 Posts
Default

Quote:
Originally Posted by KEP View Post
Now I'm just wondering, is there someway to make this a distributed effort, in order to find more covering sets or can the tast of finding covering sets only be at one machine at a time? Also how do you start this search, from lowest k and up or from conjectured k and then goes down?
New record for Sierpinski base=3 !
125050976086*3^n+1 is composite for all n.
covering set=5,7,13,17,19,37,41,193,757

Small correction:
For the above posted Sierpinski base=7 record k=1112646039348
this is a smaller covering set: 5,13,19,43,73,181,193,1201

Now you can also enjoy the search! (I've stopped it.)

I've uploaded my code, you can download it: http://robert.gerbicz.googlepages.com/covering.c
And an exe optimized by flags for P4: http://robert.gerbicz.googlepages.com/covering.exe

The program requires 5 integers to start:
exponent base C primebound best

where we are testing exponent, it means that the period of the covering set's length will be this number (or it's divisor),
known good examples are those where this number has got lots of small divisors, say exponent=24,72,144,...

base is the base of the sequence

C is 1 for Sierpinski, -1 for Riesel, it means we are testing k*b^n+C sequence (it isn't interesting, but
you can use other values also)

primebound: up to this number we consider all primes which divides b^exponent-1, I've used 10000,
you can use larger/smaller values for it, but very large, say 1000000 is obviously inefficient and slow down the program

best: upper bound for the k value, we are searching k values for that k<best.
It's good to set it to the best knwon k+1.

Note that the product of the last two parameters should be < 2^62, otherwise it'll be an integer overflow.
(For our search it isn't very interesting.)
I think up to base<2^15 the program is good.


Here are some examples to (re)discover currently known record solutions:
24 15 1 10000 100000000000000
find in 1 second k=91218919470156 for exponent=24,
base=15, 1 so Sierpinski, prime bound=10000, best k=100000000000000

24 7 1 10000 2000000000000
find in 1 second k=1112646039348 for exponent=24,
base=7, 1 so Sierpinski, prime bound=10000, best k=2000000000000

144 3 1 10000 126000000000
find (this took about half an hour or so) k=125050976086 for exponent=144,
base=3, 1 so Sierpinski, prime bound=10000, best k=126000000000

24 7 -1 10000 410000000000
find in 1 second k=408034255082 for exponent=24,
base=7, -1 so Riesel, prime bound=10000, best k=410000000000
R. Gerbicz is offline   Reply With Quote
Old 2008-05-26, 12:07   #61
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

3×54 Posts
Default

Robert

I am so happy you have posted a windows executable! I am planning to research base 3 some more.

Do you have any timings for your programme when you get into larger "exponents" such as 330 or 2310, as 3^11-1 brings in two smallish primes, 23 and 3851?
robert44444uk is offline   Reply With Quote
Old 2008-05-26, 12:30   #62
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

11×127 Posts
Default

Quote:
Originally Posted by robert44444uk View Post
Robert

I am so happy you have posted a windows executable! I am planning to research base 3 some more.

Do you have any timings for your programme when you get into larger "exponents" such as 330 or 2310, as 3^11-1 brings in two smallish primes, 23 and 3851?
It's hard to predict the timing. I would try only those exponents, which are divisible by 24, all recently found record solutions have period length divisible by 24! So 330,2310 aren't a very good run. Yes, they bring in 23, but lots of small primes are excluded from the covering set, see the listed primes if you run the program.

Last fiddled with by R. Gerbicz on 2008-05-26 at 12:35
R. Gerbicz is offline   Reply With Quote
Old 2008-05-26, 13:07   #63
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

2×2,861 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
It's hard to predict the timing. I would try only those exponents, which are divisible by 24, all recently found record solutions have period length divisible by 24! So 330,2310 aren't a very good run. Yes, they bring in 23, but lots of small primes are excluded from the covering set, see the listed primes if you run the program.
is there any sort of counter u can put on
henryzz is offline   Reply With Quote
Old 2008-05-26, 13:58   #64
robert44444uk
 
robert44444uk's Avatar
 
Jun 2003
Oxford, UK

3×54 Posts
Default

Quote:
Originally Posted by R. Gerbicz View Post
It's hard to predict the timing. I would try only those exponents, which are divisible by 24, all recently found record solutions have period length divisible by 24! So 330,2310 aren't a very good run. Yes, they bring in 23, but lots of small primes are excluded from the covering set, see the listed primes if you run the program.
But I won't feel comfortable unless all k up to n=330 or 2310 (or any other value for that matter) are tested and all remaining k are shown not to have a simple covering set.

I am nervous because CRM does provide unpredictable results, and it is possible that, with the mods all lining up, a quite low value might pop out as a solution, despite the superficially unattractive modulo order of the candidate cover set primes and mod requirements for each prime.
robert44444uk is offline   Reply With Quote
Old 2008-05-26, 14:40   #65
R. Gerbicz
 
R. Gerbicz's Avatar
 
"Robert Gerbicz"
Oct 2005
Hungary

11×127 Posts
Default

Quote:
Originally Posted by robert44444uk View Post
But I won't feel comfortable unless all k up to n=330 or 2310 (or any other value for that matter) are tested and all remaining k are shown not to have a simple covering set.

I am nervous because CRM does provide unpredictable results, and it is possible that, with the mods all lining up, a quite low value might pop out as a solution, despite the superficially unattractive modulo order of the candidate cover set primes and mod requirements for each prime.
As I read on this topic Simelink tried all exponents up to 144 for Riesel type, for base=3,7,15 by his program. You can do it on the Sierpinski type, that wouldn't take so much time, I haven't done that, in fact I've checked only about 10 different exponents for these hard bases on the Sierpinski side. So there can be low exponents which give better k values.

Last fiddled with by R. Gerbicz on 2008-05-26 at 14:42
R. Gerbicz is offline   Reply With Quote
Old 2008-05-26, 17:09   #66
tnerual
 
tnerual's Avatar
 
Oct 2006

25910 Posts
Default

i'm testing sierp base 3 ... first results:

Quote:
covering
144
3
1
100000
1694420352677
Checking k*3^n+1 sequence for exponent=144, bound for primes in the covering set=100000, bound for k is 1694420352677
Examining primes in the covering set: 13,5,7,41,757,73,17,193,19,37,6481,97,577,769
And their orders: 3,4,6,8,9,12,16,16,18,18,24,48,48,48
**************** Solution found ****************
1125458784774
**************** Solution found ****************
405697492212
**************** Solution found ****************
135232497404
**************** Solution found ****************
125050976086
i continue up to exponent = ? and i will edit the above quote ...

Last fiddled with by tnerual on 2008-05-26 at 17:45 Reason: better solution again
tnerual is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Riesel/Sierp base 2 even-k/even-n/odd-n testing gd_barnes Conjectures 'R Us 422 2020-08-05 05:56
Prime finding rate, Sierp vs. Riesel? CGKIII Conjectures 'R Us 27 2012-09-12 23:16
Riesel and Sierp numbers bases <= 1024 R. Gerbicz Conjectures 'R Us 22 2009-12-29 20:21
Sieving Riesel & Sierp base 16 gd_barnes Conjectures 'R Us 13 2009-12-14 09:23
Sierpinski/ Riesel bases 6 to 18 robert44444uk Conjectures 'R Us 139 2007-12-17 05:17

All times are UTC. The time now is 23:46.

Wed Sep 23 23:46:49 UTC 2020 up 13 days, 20:57, 0 users, load averages: 1.65, 1.77, 1.76

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.