mersenneforum.org > Math probability of finding a Mersenne prime
 User Name Remember Me? Password
 Register FAQ Search Today's Posts Mark Forums Read

 2003-12-04, 02:02 #1 optim     Nov 2003 European Union 6816 Posts probability of finding a Mersenne prime The Status command of the Prime95 client outputs: "The chance that the exponent you are testing will yield a Mersenne prime is about 1 in 278494". How is this probability (1 in 278494) calculated?
 2003-12-04, 04:04 #2 GP2     Sep 2003 29×89 Posts Some of the math is discussed here: http://www.utm.edu/research/primes/m...heuristic.html I'm not sure if this is the actual calculation that Prime95 uses.
2003-12-06, 19:03   #3
nfortino

Nov 2003

3·5·11 Posts

Quote:
 Originally posted by GP2 Some of the math is discussed here: http://www.utm.edu/research/primes/m...heuristic.html I'm not sure if this is the actual calculation that Prime95 uses.
I don't believe it is. From http://www.mersenne.org/math.htm

"What are the chances that the Lucas-Lehmer test will find a new Mersenne prime number? A simple approach is to repeatedly apply the observation that the chance of finding a factor between 2X and 2X+1 is about 1/x. For example, you are testing 210000139-1 for which trial factoring has proved there are no factors less than 264. The chance that it is prime is the chance of no 65-bit factor * chance of no 66 bit factor * ... * chance of no 5000070 bit factor. That is:

64 65 5000069
-- * -- * ... * -------
65 66 5000070

This simplifies to 64 / 5000070 or 1 in 78126. This simple approach isn't quite right. It would give a formula of how_far_factored divided by (exponent divided by 2). However, more rigorous work has shown the formula to be (how_far_factored-1) / (exponent times Euler's constant (0.577...)). In this case, 1 in 91623."

Doing the calculation on both my computers, I come up with a rather close number using the formula with Euler's constant.

 Similar Threads Thread Thread Starter Forum Replies Last Post dennisonprime Information & Answers 7 2016-11-10 07:52 wildrabbitt Information & Answers 3 2014-12-19 20:50 NBtarheel_33 Data 42 2013-07-17 19:21 vimil Information & Answers 13 2007-12-12 11:21 Deamiter Software 4 2002-10-11 16:36

All times are UTC. The time now is 17:33.

Fri Nov 27 17:33:11 UTC 2020 up 78 days, 14:44, 4 users, load averages: 1.74, 1.61, 1.44