mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Data (https://www.mersenneforum.org/forumdisplay.php?f=21)
-   -   (Preying for) World Record P-1! (https://www.mersenneforum.org/showthread.php?t=27406)

 lisanderke 2021-12-17 00:50

1 Attachment(s)
I'll post the save files of those exponents that experienced the 100% reporting in this zip archive. If anyone wishes to take a crack at these be my guest :smile:. I'm off to bed now.

 SethTro 2021-12-17 01:05

Something I've wanted for a long time and now more than ever I think we need is a repository of P-1 save files.

I have a bit of free time to work on this and I think it has several parts

1. Tool to extract current bounds from a save file [90% done [URL="https://mersenneforum.org/showthread.php?t=25378"]MF post[/URL], [URL="https://github.com/sethtroisi/misc-scripts/tree/main/mersenne/status_report"]Code[/URL]]
2. Some extra code to compare two save files [50% done [URL="https://github.com/sethtroisi/misc-scripts/blob/main/mersenne/status_report/filter.py"]Code[/URL]]
- I'm happy to write and maintain this for a year or so but ultimately it would be nice if James was willing to add it to their page.
- Something simple like [url]https://primegaps.cloudygo.com/[/url] that can take a new save file and replace the existing file if better
- Automate George's trick to verify factors are found (increase B1 by 1000 and test that stage 1 factors are found)

If people were interested in helping out I'd like to start collecting all known save files for exponents less than say 1M.
If you have a large number of save files and want to help I'd love to hear from you.

 James Heinrich 2021-12-17 01:12

[QUOTE=SethTro;595438]could you make the Factor Probability column on the exponent page a link to the prob calculator with the values of that row filled in?[/QUOTE][URL="https://memegenerator.net/instance/81318243"]SLIBRSLIB[/URL]-Done.

 nordi 2021-12-17 01:37

[QUOTE=charybdis;595411][URL="https://www.mersenne.ca/exponent/5231"]M5231[/URL] is a good example of a potential huge P-1 factor having already been found by Ryan using ECM.[/QUOTE]
I would see the positive side here: The fact that this factor was found by ECM shows that no in-depth P-1 was run on this number, and likely other numbers in that range. At least not prior to October 2020, when that factor was discovered.

 Batalov 2021-12-17 06:01

[QUOTE=lisanderke;595429]Oh, that did finish the P-1, but it didn't report a factor. Could it be that the save file already knows the 8 factors?[/QUOTE]
Just in case (because reading this thread is full of surprises, like "oh, he also doesn't know that", "oh, and that too", but surely the attitude is "what is that qualifying for regional/divisional college competition? ...No, I will go straight for the world record" "...Send me to Beijing, right now!")
-->
this is what you are competing against - [url]https://members.loria.fr/PZimmermann/records/Pminus1.html[/url]
Stop thinking in bits, like you will find in [URL="https://mersenneforum.org/showthread.php?t=13977"]many vanity threads[/URL]: "Ah! Look at that factor, it is exceptionally large at 134.47 bits!"
No, [B]66 [/B]digits (or [B]218[/B] bits) is what you want to beat. Good luck!

 SethTro 2021-12-17 06:09

1 Attachment(s)
[QUOTE=kruoli;595383]Take the estimated T-Level that is already on your site, then calculate [$](\text{T-level})/\log_{10}{2}[/$]. This is your value.
Example: M1277 has an estimated T-Level of 62.878. The analog TF bit level would be 208 or 209 (yes, very high!).[/QUOTE]

For TF 100% of factors less than 2^67 have been found, and 0% of factors greater than 2^67.
For ECM T-level (say 200 bits) is the point where 50% of factors near that should have been found, at 195 bits maybe 80% should have been found and at 205 maybe 25% have been found.

Spitballing it looks like subtracting one from the log10 T-level converted to a log2 bit level is about the right correction to account for the asymmetry.

 kruoli 2021-12-17 07:06

[QUOTE=SethTro;595446]If you have a large number of save files and want to help I'd love to hear from you.[/QUOTE]

petrw1 and masser gave me tons of files some time ago, but mostly from the <2K project. For these, I was planning something similar to your ideas. But I have not put much work into it yet.

 bur 2021-12-17 07:15

[quote]Instead, further increasing B1 with every round seems like the best option for now.[/quote]
I'm not sure I got that right, but is the plan to run consecutive P-1 with increasing bounds on the same exponent? Isn't that a waste of the previous runs? Or does round apply to ranges of larger exponents?

 ATH 2021-12-17 07:16

[QUOTE=SethTro;595446]If people were interested in helping out I'd like to start collecting all known save files for exponents less than say 1M.
If you have a large number of save files and want to help I'd love to hear from you.[/QUOTE]

I have quite a few P+1 save files, are those of interest as well?

 Prime95 2021-12-17 07:22

[QUOTE=Batalov;595456]Just in case (because reading this thread is full of surprises, like "oh, he also doesn't know that", "oh, and that too", but surely the attitude is "what is that qualifying for regional/divisional college competition? ...No, I will go straight for the world record" ...

[B]66 [/B]digits (or [B]218[/B] bits) is what you want to beat. Good luck![/QUOTE]

I think top 3 is quite likely (no I didn't do any calculations to back that up!). If we take all Mersennes below 100K to B1=10^9, B2=10^13 (or better) and consider that we get 5 free digits, that's a lot of chances to get lucky.

Even if a record is not found, any new factors are most welcome. One could even lead to a newly fully factored Mersenne.

IMO, that makes the effort worthwhile.

 bur 2021-12-17 07:41

[QUOTE=Batalov;595456]this is what you are competing against - [url]https://members.loria.fr/PZimmermann/records/Pminus1.html[/url]
Stop thinking in bits, like you will find in [URL="https://mersenneforum.org/showthread.php?t=13977"]many vanity threads[/URL]: "Ah! Look at that factor, it is exceptionally large at 134.47 bits!"
No, [B]66 [/B]digits (or [B]218[/B] bits) is what you want to beat. Good luck![/QUOTE]What's the difference between thinking in log_10 vs log_2? And one might argue that the former website is but a vanity list as well. Just for the big boys with lots of university/company ressources.

All times are UTC. The time now is 02:37.