mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > Math

Reply
 
Thread Tools
Old 2006-07-22, 16:12   #1
amcfarlane
 
amcfarlane's Avatar
 
Nov 2004
UK

2·19 Posts
Default Proth Test Limits

I'm a little confused by Proth's Theorem (http://mathworld.wolfram.com/ProthsTheorem.html)...

If I were to write a function which performed a proth test given the pair of values n, and k; how would I know when to stop iterating through values for a.

As I understand it, there appears to a 50% chance that any given 'a' value will work.

However, say I write a function that iterates a from 1 to 1000, surely there is a chance, albeit a small chance) that none of those values will work, although a number > 1000 ~may~ work.

Is there a hard limit for a, or should I be looking at the percentages - after all 10 values for a would give me a very high percentage chance of at least one of the working?
amcfarlane is offline   Reply With Quote
Old 2006-07-23, 18:29   #2
R.D. Silverman
 
R.D. Silverman's Avatar
 
Nov 2003

22×5×373 Posts
Default

Quote:
Originally Posted by amcfarlane
I'm a little confused by Proth's Theorem (http://mathworld.wolfram.com/ProthsTheorem.html)...

If I were to write a function which performed a proth test given the pair of values n, and k; how would I know when to stop iterating through values for a.

As I understand it, there appears to a 50% chance that any given 'a' value will work.

However, say I write a function that iterates a from 1 to 1000, surely there is a chance, albeit a small chance) that none of those values will work, although a number > 1000 ~may~ work.

Is there a hard limit for a, or should I be looking at the percentages - after all 10 values for a would give me a very high percentage chance of at least one of the working?
Yes, there is a hard, fully proven limit. Unfortunately, it is exponential
in the size of the number bering tested. The result is due to Burgess.
If GRH is true, than a much smaller limit can be proved: 2 log^2 N.
The constant 2 is due to E. Bach.
R.D. Silverman is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
P-1 limits? nucleon Hardware 8 2015-04-25 23:01
Musing on TF limits davieddy Lounge 10 2012-12-04 18:43
TF Limits to Release At Dubslow GPU to 72 29 2011-12-30 18:43
GenefX64 limits siegert81 Miscellaneous Math 2 2011-02-17 13:37
Changing Prime95 ECM Limits? wblipp Software 0 2003-11-22 23:00

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

Sun Sep 20 11:57:43 UTC 2020 up 10 days, 9:08, 0 users, load averages: 1.94, 1.85, 1.59

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.