On 2 Dec 2001, at 19:57, Gordon Spence wrote:

> >From: "Steve Harris" <[EMAIL PROTECTED]>
> >
> >George did say that, and I was aware of his statement, but that still has no
> >effect on the point I was making.
> >George's GIMPS stats also give no credit at all for finding factors,
> 
> Tell me about it, over 150,000 and no mention anywhere....

Ah, but George's GIMPS stats encourage factoring by removing LL 
testing credit when a factor is subsequently found. (Either you 
should have done more factoring before you started LL testing, or 
the factoring you did was expensive!)

> >From: [EMAIL PROTECTED]
> >
> >The other problem here is that the "known factors" database does
> >not include the discoverer.
> 
> A particularly sore point. If we maintained a top "savers" list whereby for 
> every factor found you were credited with the time an LL test would have 
> taken, then I and the other "Lone Mersenne Hunters" would pulverise these 
> big university teams.

Umm... let's put it this way. Who gets the credit for finding the 
factor 2p+1 when p+1 is divisible by 4 and both p & 2p+1 are 
prime? That's a _big_ bunch of numbers ... I'm not sure that there 
are an infinite number of 3 mod 4 Sophie Germain primes, but there 
certainly are a _lot_ of them... and I think you have to credit them 
all to the person who proved the theorem. 
> 
> 150,000 factors in the 60-69m range, at an average of 27.2 P-90 years each 
> - hmmmm  just over 4,000,000 years saved....

With due respect, I don't think it's entirely reasonable to award 
credit for more effort than was actually expended, or for more effort 
than it would have taken to run two LL tests.

I think some realistic formula for finding the factor 2kp+1 would look 
like:

            k>=2^64   2 x LL test CPU time
2^63 <= k < 2^64   1 x LL test CPU time
2^62 <= k < 2^63   0.5 x LL test CPU time
2^61 <= k < 2^62   0.25 x LL test CPU time
etc etc

_provided_ that no credit was given for factoring work which failed 
to find a factor.

However there are clearly philosophical differences here as well as 
practical ones - what Gordon says is clearly absolutely true in the 
literal sense.

Possibly the best idea is the simplest - leave the current 
procedures alone!


Regards
Brian Beesley
_________________________________________________________________________
Unsubscribe & list info -- http://www.ndatech.com/mersenne/signup.htm
Mersenne Prime FAQ      -- http://www.tasam.com/~lrwiman/FAQ-mers

Reply via email to