mersenneforum.org  

Go Back   mersenneforum.org > New To GIMPS? Start Here! > Information & Answers

Reply
 
Thread Tools
Old 2016-03-08, 13:10   #23
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

2×32×11×19 Posts
Default

Fixing n is fine, but keeping k small with give you more speed. Then you are into the territory of PrimeGrid's searches or Riesel Prime Search.
paulunderwood is offline   Reply With Quote
Old 2016-03-08, 13:13   #24
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

203008 Posts
Default

Quote:
Originally Posted by PawnProver44 View Post
Ok, I'll do some of the work to fix the variable n. The k value I am trying to find. That shouldn't be too hard, right
k*149^n+1 = 6x+1 = (remainder multiplication( k* 5+1) for k*149^n to be usable we can split n into even and odd odd powers of 5 are remainder 5 on division by 6 and, even powers are remainder 1 on division by 6 neither time is b^n going to divide by 6 the factor of 6 must come from k ( aka k must be divisible by 6 for k*149^n+1 to be remainder 1 on division by 6) the other case is k*149^n+1 = 6y+5 = (6y+4) +1 so k*149^n = remainder 4 on division by 6 k*5^n has to have remainder of 4 when divided by 6 we have 5^n splitting into 1 and 5 remainders on division by 6 so k= 6z+4 or 6a+2 respectively ( in respect to order) make sense so so given a particular n you can narrow k down to 2 in every 6 numbers.
science_man_88 is offline   Reply With Quote
Old 2016-03-08, 13:16   #25
PawnProver44
 
PawnProver44's Avatar
 
"NOT A TROLL"
Mar 2016
California

19710 Posts
Default

Quote:
Originally Posted by science_man_88 View Post
k*149^n+1 = 6x+1 = (remainder multiplication( k* 5+1) for k*149^n to be usable we can split n into even and odd odd powers of 5 are remainder 5 on division by 6 and, even powers are remainder 1 on division by 6 neither time is b^n going to divide by 6 the factor of 6 must come from k ( aka k must be divisible by 6 for k*149^n+1 to be remainder 1 on division by 6) the other case is k*149^n+1 = 6y+5 = (6y+4) +1 so k*149^n = remainder 4 on division by 6 k*5^n has to have remainder of 4 when divided by 6 we have 5^n splitting into 1 and 5 remainders on division by 6 so k= 6z+4 or 6a+2 respectively ( in respect to order) make sense so so given a particular n you can narrow k down to 2 in every 6 numbers.
Thanks for your help. I picked n=275523, so there should be more to eliminate now, right?
PawnProver44 is offline   Reply With Quote
Old 2016-03-08, 13:25   #26
paulunderwood
 
paulunderwood's Avatar
 
Sep 2002
Database er0rr

EB216 Posts
Default

Quote:
Originally Posted by PawnProver44 View Post
Thanks for your help. I picked n=275523, so there should be more to eliminate now, right?
If you are going to search fixed n=275523 and b=2, you will not get into the top5000, however you might consider running a 4-chances sieve of a twin prime or Sophie Germain.
paulunderwood is offline   Reply With Quote
Old 2016-03-08, 13:33   #27
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

100000110000002 Posts
Default

Quote:
Originally Posted by PawnProver44 View Post
Thanks for your help. I picked n=275523, so there should be more to eliminate now, right?
so based on what I said k must be 0 or 2 when dividing by 6 for k*149^275523+1 to have potential to be prime. remainder math is also known as modular arithmetic or x\equiv g \pmod n where the symbol is a special type of equals and the variables can change. technically using remainder math , you can show that unless k(b^n)+c\equiv m \pmod l where m doesn't share a factor with l, that k*b^n+c can't be prime because otherwise the number in question can be represented as a expression using that common factor which it then also shares. example with simpler numbers: 15\equiv 5 \pmod {10} since 5 and 10 have a common factor 5, one factor of 15 must be 5 so we already know it's not prime.

Last fiddled with by science_man_88 on 2016-03-08 at 13:53
science_man_88 is offline   Reply With Quote
Old 2016-03-08, 14:30   #28
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26·131 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
No
I think if I remember correct you can always turn a form the doesn't have this restriction into one that does for example 60*152^n+7 can be turned into form k*b^n+7 with b prime with k =60*8^n and b =19 so any factorable number as b can be turned into a prime base by altering k with all the other factors of b raised to the power of n being factored in. I think it's this possibility they may be confusing with necessity. doh http://mathworld.wolfram.com/ProthsTheorem.html shows that b=2 is proth numbers

Last fiddled with by science_man_88 on 2016-03-08 at 14:41
science_man_88 is offline   Reply With Quote
Old 2016-03-08, 16:03   #29
ET_
Banned
 
ET_'s Avatar
 
"Luigi"
Aug 2002
Team Italia

2·3·11·73 Posts
Default

If you want to enter the Top-5000 arena, consider checking prime factors of double Mersenne numbers (http://www.doublemersennes.org ).
ET_ is offline   Reply With Quote
Old 2016-03-08, 17:03   #30
PawnProver44
 
PawnProver44's Avatar
 
"NOT A TROLL"
Mar 2016
California

197 Posts
Post

Quote:
Originally Posted by science_man_88 View Post
so based on what I said k must be 0 or 2 when dividing by 6 for k*149^275523+1 to have potential to be prime. remainder math is also known as modular arithmetic or x\equiv g \pmod n where the symbol is a special type of equals and the variables can change. technically using remainder math , you can show that unless k(b^n)+c\equiv m \pmod l where m doesn't share a factor with l, that k*b^n+c can't be prime because otherwise the number in question can be represented as a expression using that common factor which it then also shares. example with simpler numbers: 15\equiv 5 \pmod {10} since 5 and 10 have a common factor 5, one factor of 15 must be 5 so we already know it's not prime.
I noticed that the sequence k*b^n+-c generates infinitely many primes if k + c = b and k and c are coprime.

Example: 96*23^n+73

Last fiddled with by PawnProver44 on 2016-03-08 at 17:05
PawnProver44 is offline   Reply With Quote
Old 2016-03-08, 17:51   #31
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

26×131 Posts
Default

Quote:
Originally Posted by PawnProver44 View Post
I noticed that the sequence k*b^n+-c generates infinitely many primes if k + c = b and k and c are coprime.

Example: 96*23^n+73
and yet I bet using another mod or a program that takes advantage of factoring algorithms is so far ahead of this that it's not funny I was originally just saying there are conditions on k,b, and c that we can prove allow us to say k*b^n+c can't be prime in certain scenarios.
science_man_88 is offline   Reply With Quote
Old 2016-03-08, 18:18   #32
PawnProver44
 
PawnProver44's Avatar
 
"NOT A TROLL"
Mar 2016
California

197 Posts
Post

Quote:
Originally Posted by science_man_88 View Post
and yet I bet using another mod or a program that takes advantage of factoring algorithms is so far ahead of this that it's not funny I was originally just saying there are conditions on k,b, and c that we can prove allow us to say k*b^n+c can't be prime in certain scenarios.
We can use modular congruence to fix variables k, b, and c so there are no primes of the form k*b^n+c, for example 3 always divides the sequence 50*13^n+7, and 5: 57*31^n+28
PawnProver44 is offline   Reply With Quote
Old 2016-03-09, 03:29   #33
Batalov
 
Batalov's Avatar
 
"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

949410 Posts
Default

Quote:
Originally Posted by paulunderwood View Post
Only c=+-1 will get you into the top5000, because the proof is rapid.
There are some exceptions... but they are rare:
Code:
-----  -------------------------------- ------- ----- ---- --------------
 rank           description              digits  who year comment
-----  -------------------------------- ------- ----- ---- --------------
  206  46821*2^3021380-374567            909531  p363 2013
  217  18976*2^2976221-18975             895937  p373 2014 
 1816  37674760044125*2^1513679-67931    455677  p339 2012 (**)
 2241  31723*2^1398273-507567            420927  p363 2013 (**)
Batalov is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
The Fastest Path a1call Puzzles 23 2016-03-23 17:46
Fastest you've driven a car? Oddball Lounge 43 2011-03-14 00:26
Fastest Primality Tests flouran Miscellaneous Math 174 2010-07-15 00:02
Looking for a sieving program jasong Math 17 2007-03-21 18:50
The fastest way to a top-5000 prime? lsoule 15k Search 13 2005-09-19 20:24

All times are UTC. The time now is 11:01.


Mon Aug 2 11:01:33 UTC 2021 up 10 days, 5:30, 0 users, load averages: 2.45, 1.90, 1.69

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, 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.