mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Math (https://www.mersenneforum.org/forumdisplay.php?f=8)
-   -   Does ECM benefit from the trial factoring limits? (https://www.mersenneforum.org/showthread.php?t=25813)

Ensigm 2020-08-08 16:33

Does ECM benefit from the trial factoring limits?
 
I know nearly null about the math, but I've read that like P-1 method, the ECM method needs higher bounds in to find larger factors but takes longer time to run. Does knowing the trial factoring limits provide benefit to the ECM bounds and/or the number of curves to try, like the case in P-1 method?

Uncwilly 2020-08-08 18:37

If you know that no factor has been found and that there has been TF work done up to a certain size, yes. ECM can then be done looking for factors larger than the largest factor searched for via TF.

Ensigm 2020-08-08 19:52

[QUOTE=Uncwilly;552938]If you know that no factor has been found and that there has been TF work done up to a certain size, yes. ECM can then be done looking for factors larger than the largest factor searched for via TF.[/QUOTE]

Yeah, my thought is that we can use this to optimize assignment rules. Take M35731 as an example: the server is still actively giving out assignments with 3e6 as B1 (I just did one, haha), despite TF has shown it has no factor under 2^65; while if [URL]http://www.wraithx.net/math/ecmprobs/ecmprobs.html[/URL] is correct, even if 4700 curves are performed under that B1 value, the chance of finding a factor larger than 2^65 is 9.75e-6 (You can drag to select a range on that graph).

At this point I'm starting to think it as simply a waste of GHz-hours. If we can start giving assignments with B1=8e8 instead (this is the largest B1 listed at [URL]https://www.mersenne.org/report_ecm/[/URL], although in this case we should obviously use even higher bounds), and assume the time needed for a curve is proportional to B1, then the same CPU power can be used to test 17 curves, giving a success rate of roughly 2e-4. Still very small, but that is already a 20x improvement.

Uncwilly 2020-08-08 20:09

Maybe James H can look at the server code that does the ECM assignments. It might be time to tweak it.

lycorn 2020-08-08 20:14

I think you are confusing digits and bits. The TF was performed to 65 bits, and the probability you quoted is for finding a 65 digits factor using B1 = 3e6.

Uncwilly 2020-08-08 20:26

2^65 for that number is in the range of 2,324,976,294,838,206,465 (19 digits)
A B1 of 2000 and 500 curves is around 19 digits

Ensigm 2020-08-08 21:18

[QUOTE=lycorn;552948]I think you are confusing digits and bits. The TF was performed to 65 bits, and the probability you quoted is for finding a 65 digits factor using B1 = 3e6.[/QUOTE]


Oh you're right. I also misinterpreted the graph at [url]http://www.wraithx.net/math/ecmprobs/ecmprobs.html[/url]. The "Success Chance" should mean the probability of finding (i.e. not missing) a factor in an interval if there is a factor there, not the overall probability of finding a factor.

lycorn 2020-08-08 22:19

If you run 4700 ECM curves with B1=3e6, the chance of missing a 40-digit factor is ~ 1/e (if there is one...) . Same holds for the various Size/B1 value / number of curves combinations in the table.

Ensigm 2020-08-08 22:50

Conclusion: Not of much use
 
:picard: So the conclusion is that TF limits are too small to help anything in tweaking ECM parameters. Even if we have limits to 2^80 (25 digits), it is not obvious how much this will change the optimal crossing point of 5e4 and 2.5e5.

VBCurtis 2020-08-09 03:51

[QUOTE=Ensigm;552970]:picard: So the conclusion is that TF limits are too small to help anything in tweaking ECM parameters. Even if we have limits to 2^80 (25 digits), it is not obvious how much this will change the optimal crossing point of 5e4 and 2.5e5.[/QUOTE]

False- if you know TF was done to 82 bits, you know to not bother with ECM at the 20-digit level, nor at the 25-digit level. Skip right to T30 (B1=25e4).

Similar conclusions can be made about TF to, say, 79 bits- that rules out factors under 24 digits, so I would run less of a T25 and jump to T30-sized curves sooner. In B1 terms, less than a full set of curves at 5e4 and jump to B1=25e4 sooner.

However, it's rather unlikely to have a candidate number that one would TF to 78+ bits *and* consider ECM on. For the size of number for which we ECM, trial-factoring limits are usually 74 bits or lower and starting at B1=5e4 makes sense. So, in practice for GIMPS-factoring, TF doesn't influence our ECM choices.

Prime95 2020-08-09 04:04

[QUOTE=Ensigm;552944]Take M35731 as an example:.[/QUOTE]

This small exponent should be done by a prime95/GMP-ECM combination


All times are UTC. The time now is 18:21.

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