mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   mersenne.ca (https://www.mersenneforum.org/forumdisplay.php?f=173)
-   -   mersenne.ca (https://www.mersenneforum.org/showthread.php?t=23051)

James Heinrich 2020-10-09 12:46

[QUOTE=Ensigm;559294]Minimal TF effort aka "min. TF" as shown in the factor entry seems to be quite different from the efforts shown in the TF history entry. For example, for [URL="https://www.mersenne.ca/exponent/113317913"]M113317913[/URL] the "min. TF" shows 8.4409 GHz.d, whereas the total effort up to 2[SUP]73[/SUP] is already roughly 8.4409*2, and the TF effort in 73-74 bits is greater than 8.4409GHz-days too, considering the fact that the factor is close to 2^74. This couldn't be correct, unless the GHz-days in the factor entry and in the TF history are calibrated differently (which is also confusing).[/QUOTE]Thanks for bringing this to my attention. The "Min. TF Effort" under the Known Factors section was being calculated incorrectly. In this particular example it was previously displaying 8.44 when it should be 30.22

Viliam Furik 2020-10-10 13:14

Poor P-1 tool not working properly, I think
 
I have tried to use the tool with these search parameters:

4,000,000 - 4,999,999; Probability 0 - 10 %; Order by probability

It returns an empty table, but it shouldn't. [URL="https://www.mersenne.ca/exponent/4087873"]M4087873[/URL] is listed with 2.799 % probability, meaning it should appear in the table.

If I understand the working of the tool correctly, it should return lots of exponents. If I don't, please correct me.

James Heinrich 2020-10-10 16:18

[QUOTE=Viliam Furik;559425]I have tried to use [url=https://www.mersenne.ca/pm1_worst.php]the tool[/url] with these search parameters:
4,000,000 - 4,999,999; Probability 0 - 10 %; Order by probability
It returns an empty table, but it shouldn't. [URL="https://www.mersenne.ca/exponent/4087873"]M4087873[/URL] is listed with 2.799 % probability, meaning it should appear in the table.[/QUOTE]Thanks, there was a bug that prevented some exponents from appearing when they should.

Ensigm 2020-10-10 17:29

[QUOTE=James Heinrich;559452]Thanks, there was a bug that prevented some exponents from appearing when they should.[/QUOTE]

There might also be a bug with LL status. If you search with parameters 4e7-5e7, 0%-10%, 1 test, more than 500 results will show up, however all exponents under 5e7 are already double-checked.

James Heinrich 2020-10-10 18:47

[QUOTE=Ensigm;559465]There might also be a bug with LL status.[/QUOTE]No bug, I just don't have reliable access to that data.

masser 2020-10-14 15:41

I broke the calculator again...
 
1 Attachment(s)
Please see the screen shot: [I]almost [/I]every [STRIKE]other[/STRIKE] row has strange output.

Before anyone asks, I was considering the estimate of successful trial factoring (1/bit-level) vs. the anecdotal estimate (1/100). If someone were to do tiny amounts of P-1, only reporting the factors found, could that be enough to reduce the odds of successful trial-factoring to the supposedly observed result?

James Heinrich 2020-10-14 16:27

[QUOTE=masser;559882]Please see the screen shot: [I]almost [/I]every [STRIKE]other[/STRIKE] row has strange output.[/QUOTE]"You're not using it right" :wink:
The calculation iterates through many combinations of bounds, at each step aiming to get a bit closer at the next iteration. This works well when the process starts reasonably near the optimal bounds, it (as you can see) works very poorly (in the current implementation) when you start with bounds for ~5% and try to aim for 0.33%. I'll have to play with it and see what I can figure out. Thanks for reporting.

Ensigm 2020-10-14 18:24

[QUOTE=masser;559882]Before anyone asks, I was considering the estimate of successful trial factoring (1/bit-level) vs. the anecdotal estimate (1/100). If someone were to do tiny amounts of P-1, only reporting the factors found, could that be enough to reduce the odds of successful trial-factoring to the supposedly observed result?[/QUOTE]

"You're not doing it right" :wink:

A tiny P-1 of (B1, B2)=(9500, 143000) has a 0.33% prior possibility of finding a factor of 105000001 that is [B]larger than 2[SUP]76[/SUP] [/B], according to the same tool you were using. However, to reduce the trial factoring success rate of the next bit level by 0.33% (or 0.3%), you need a P-1 run that has a prior probability of 0.33% (or 0.3%) to find a factor [B]from 2[SUP]76[/SUP] to 2[SUP]77[/SUP][/B]. A P-1 run of (B1, B2)=(450368, 11259212) has a 3.22%-2.91%=0.31% probability of finding a factor in that bit range. It costs 6 GHz-days, which is quite close to a "normal" P-1, not a "tiny" one.

Conclusion: Based on calculations provided by mersenne.ca P-1 probability tool, unreported tiny P-1 runs may play a factor (no pun intended) in the phenomenon of observed TF success rate being short of prediction, but they are very unlikely to be the main reason.

gLauss 2020-10-15 18:55

PRP for exponent not shown
 
[URL="https://www.mersenne.ca/exponent/20825573"]M20825573[/URL] does not show my (unnecessary) PRP run, which I reported a few days ago. There seems to be a bug. Please compare the output of mersenne.ca with [URL="https://www.mersenne.org/report_exponent/?exp_lo=20825573&exp_hi=&full=1&ecmhist=1"]mersenne.org[/URL].

Uncwilly 2020-10-15 19:30

[QUOTE=gLauss;559973][URL="https://www.mersenne.ca/exponent/20825573"]M20825573[/URL] does not show my (unnecessary) PRP run, which I reported a few days ago. There seems to be a bug. Please compare the output of mersenne.ca with [URL="https://www.mersenne.org/report_exponent/?exp_lo=20825573&exp_hi=&full=1&ecmhist=1"]mersenne.org[/URL].[/QUOTE]
I can see it. It is in the table below the LL details.

gLauss 2020-10-15 20:26

[QUOTE=Uncwilly;559976]I can see it. It is in the table below the LL details.[/QUOTE]
Yes, but it doesn't show up on the top right in "Latest Primenet details". It isn't important, but to me it looks like a bug. And I assume there are not many numbers which have both LL/DC and PRP, so it could be an interesting edge case.


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

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