mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Information & Answers (https://www.mersenneforum.org/forumdisplay.php?f=38)
-   -   How many bits does/did the server trial factor to? (https://www.mersenneforum.org/showthread.php?t=20009)

Jayder 2015-01-24 11:27

How many bits does/did the server trial factor to?
 
I've long noticed that some numbers have added details and [URL="http://www.mersenne.org/report_exponent/?exp_lo=5000927&full=1"]some show only the factor[/URL]. I have been assuming that this is a factor that the server found. I have been unable to determine an upper bit limit to these factors, and I could not easily find an answer posted somewhere. Am I correct that the server is doing some trial factoring? If so, to how many bits, and does the bit limit depend on the size of the exponent?

tha 2015-01-24 18:34

First of all, the server does not factor any exponent, the clients do and report to the server. The server hands out assignments to clients to factor exponents up from a certain bitlevel to a new higher bitlevel. Depending on the size of the exponent a standard bitlevel is the maximum, higher exponents have higher upper limits. However, clients can be manually overridden to factor to a higher or lower bitlevel before a LL test is performed. Other clients may then be manually instructed to increase the bitlevel (even) further.

Some factors have been found using non standard methods and have been added to the database manually. These factors can be extremely high.

Jayder 2015-01-24 21:45

Alright. Thank you. I thought I had read differently a long time ago, but perhaps not. I've also noticed that most numbers lack a, "No factor from 2^1 to 2^x," line and only have record of TF started at a higher bit level. [URL="http://www.mersenne.org/report_exponent/?exp_lo=109200001&full=1"]Here[/URL] it [I]appears[/I] that TF was started at 63 bits. This is also what prompted my question. If the server didn't do that lower range, how do we know that it was done at all? Was there an earlier effort to do this work? What was the extent of it?

VBCurtis 2015-01-24 22:33

Mersenne factors have the form 2kp+1, where p is the exponent. Consider a candidate in the 60M range. What is the bit level of the smallest possible factor (k = 1)? Note this is also why the same bit depth on a higher exponent goes slightly faster- less k to check per bit.

I believe the levels below what you notice were done manually, and thus not recorded by the server. However, the TJAOI thread indicates there were severe problems with the completeness of that effort, so refactoring is underway.

TheMawn 2015-01-24 22:46

[QUOTE=Jayder;393451]Alright. Thank you. I thought I had read differently a long time ago, but perhaps not. I've also noticed that most numbers lack a, "No factor from 2^1 to 2^x," line and only have record of TF started at a higher bit level. [URL="http://www.mersenne.org/report_exponent/?exp_lo=109200001&full=1"]Here[/URL] it [I]appears[/I] that TF was started at 63 bits. This is also what prompted my question. If the server didn't do that lower range, how do we know that it was done at all? Was there an earlier effort to do this work? What was the extent of it?[/QUOTE]

Technically speaking, there are no factors at 2[SUP]1[/SUP] or 2[SUP]2[/SUP] or even into the 2[SUP]20[/SUP]'s. The lowest possible factor is 1 plus two times the exponent which puts even the low million's into 2[SUP]22[/SUP] ~ 2[SUP]23[/SUP] range for smallest possible factor.

Still, I know exactly what you mean with the no records of older TF work. It would have all been taken care of a while ago, but the volume of results would have been so massive for its time that, as far as I can tell, all "no factors" results were simply never submitted and it was assumed that the organized effort hit everything up to whatever point, where the ranges became non-trivial to do and results slowed down.

Jayder 2015-01-25 00:21

Thank you for your responses. I know that factors take the form of 2kp+1, and that you don't [I]really[/I] start at 2^1. What I meant to imply was that the recorded starting bit levels are lower than they should be, which they are. But thank you for your explanations nonetheless.

Yep, the TJAOI thread inspired these questions. In any case, I've learned a [I]bit[/I]. If there are no details, the factor was put into the database another way and/or is incredibly ancient. I guess TJAOI will be up to 2^64 in a few hundred years or so.

LaurV 2015-01-25 03:29

[QUOTE=tha;393439]First of all, the server does not factor any exponent, the clients do and report to the server.[/QUOTE]
That's partially true. The list of exponents started with all the primes, but before they were "handled [U]to the[/U] server, many exponents were "eliminated" from the list, due to different results/theorems concerning mersenne factors (like for example, if p is prime and 3 (mod 4), and q=2p+1 is prime, then q | Mp, etc). Then a pre-scan of 2*k*p+1 was done with k going to about 40000 (a little more than 15 bits). What survived from the list of primes was handled to the server to be handled out for TF. We can say that the server pre-factored, even if technically the pre-factoring was done "before". If for example you find a NEW factor of 42 bits for one exponent of (say) 27 bits, with no smaller factor known, then you could say it was a "server mistake" (practically of who did the list) because a 27 bit exponent (somewhere around 135M range) should have all factors 2kp+1 under 43 bits (1+15+27, the 15 is from k) already pre-factored. This did NOT happen until now. All the "new" factors are in 53+ bits, clearly "client mistakes" (either the tools, P95, etc, the user is cheating, hardware errors, database lost, etc).


All times are UTC. The time now is 20:12.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.