mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Factoring

Reply
 
Thread Tools
Old 2020-07-04, 20:09   #771
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

34×71 Posts
Default

Quote:
Originally Posted by Pascal Ochem View Post
Yes, it is good to see this one down. Thank you very much, Ryan!
No auto-update, I removed the line from the MWRB file.
The weight of the remaining composites will be updated in a month or so.
732541 is (29^5-1)/28, so (732541^47-1)/732540 was also a composite of interest for lower bounds on the total number of prime factors.
It is presumably worth waiting for the obvious continuations to be attacked a bit before rerunning the tree. Any before and after statistics on tree size etc would be appreciated.
henryzz is offline   Reply With Quote
Old 2020-07-05, 02:13   #772
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

D416 Posts
Default

In case anyone is interested, here's the full msieve log for 732541^47-1.

ryanp is offline   Reply With Quote
Old 2020-08-02, 20:05   #773
Pascal Ochem
 
Pascal Ochem's Avatar
 
Apr 2006

5·19 Posts
Default

The new list of roadblock composites is here
http://www.lirmm.fr/~ochem/opn/mwrb2100.txt
and the old one is here
http://www.lirmm.fr/~ochem/opn/old_mwrb2100.txt
Most of the changes are due to the recent factorizations of sigma(3^660) and sigma(732541^46).
Notably, the weight of sigma(6115909044841454629^16) drops from 79580833 to 67959517 and
the weight of sigma(127^192) drops from 29196565 to 14190689.
Pascal Ochem is offline   Reply With Quote
Old 2020-08-03, 16:05   #774
henryzz
Just call me Henry
 
henryzz's Avatar
 
"David"
Sep 2007
Cambridge (GMT/BST)

34·71 Posts
Default

Are the files available that contain all the factors used in the proof?
How do you check that all the composites hit have been trial factored to at least the assumed level given that pfn doesn't output a file containing the composites hit(I suppose you could extract them from the log)?
Does it even matter if there are unfound small factors in non-roadblock composites apart from them causing gcd errors?
henryzz is offline   Reply With Quote
Old 2020-08-09, 21:03   #775
Pascal Ochem
 
Pascal Ochem's Avatar
 
Apr 2006

5×19 Posts
Default

My policy is to increase the lower bound by a factor 10^100 when the run takes less than one week.
A couple of years ago, it took 3 weeks to prove 10^2100.
The goal of the run of july 2020 was to get the timing (it took 12 days) and to update the list of roadblocks.
Some composites would have been needed in order to circumvent sigma(3^660) or sigma(732541^46) but are not needed elsewhere.
They are not needed anymore and do not appear in the updated mwrb2100.txt

Since the program was not aiming at a new lower bound, it was run with trial factoring up to 300 only,
in order to catch the tiny factors that may cause the abundancy to exceed 2 (a higher trial limit or some ECM would slow things down).
This produces a load of uninteresting factors.
Trial factoring up to 10^10 is indeed required for roadblock composites. This is checked a posteriori.

The list of useful factors has been updated:
http://www.lirmm.fr/~ochem/opn/checkfacts.txt.gz
Quote:
Does it even matter if there are unfound small factors in non-roadblock composites apart from them causing gcd errors?
No. The program encountered over 18 million composites, attacking them all with ECM would be a big effort for low benefit.
Most probably, the cofactor will be composite.
In this case, a given factor \(P\) with \(d\) digits counts for \(d\) digits if \(P\) is in the unfactored part
and counts for \(2d\) digits if \(P\) is in the factored part, because we can usually assume that \(P^2 \) divides the OPN.
So finding \(P\) contributes only \(d\) digits to the 2100 digits, in only one or few branches of the proof tree.

The composites worth considering are in mwrb2100.txt and t2100.txt
Pascal Ochem is offline   Reply With Quote
Old 2020-08-10, 17:55   #776
Brownfox
 
Brownfox's Avatar
 
Dec 2017

22·3·5 Posts
Default

All of the remaining entries in the MWRB file have SNFS difficulty above 210.


That is about the upper limit of my resources and NFSNET has reserved the next one, so this is a good point to stop working on this file.
Brownfox is offline   Reply With Quote
Old 2020-10-22, 17:35   #777
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

11×172 Posts
Default

Update on the OPN road blocks. The following are the number of composites remaining in the respective file along with the number queued for the grid.

Code:
File  Entries  Queued
====  =======  ======
t550      18      4
t600     137      6
t800    2475     10
The MWRB file has been taken down. I’m guessing Pascal is currently running a new update with more accurate weights for each number. I have a copy locally which I am working from.

I have a few numbers (mostly from t550 & t600) that are ready for SNFS but they will go to the larger sieve queues. I will wait for those queues to work through some of their numbers.
RichD is offline   Reply With Quote
Old 2020-10-23, 14:24   #778
lavalamp
 
lavalamp's Avatar
 
Oct 2007
London, UK

22×7×47 Posts
Default

Quote:
Originally Posted by RichD View Post
The MWRB file has been taken down. I’m guessing Pascal is currently running a new update with more accurate weights for each number.
Can anyone refresh my memory about the amount of effort put into the MWRB numbers? When it gets put back up I thought I might have a go at running some ECM, but I wouldn't know what size factors to search for.
lavalamp is online now   Reply With Quote
Old 2020-10-23, 16:47   #779
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

11×172 Posts
Default

Quote:
Originally Posted by lavalamp View Post
Can anyone refresh my memory about the amount of effort put into the MWRB numbers? When it gets put back up I thought I might have a go at running some ECM, but I wouldn't know what size factors to search for.
Pascal doesn't keep track of ECM work and I have been starting at t50. Some of the newer numbers (added in the latest update) have shown a few factors in the p40s. Other numbers have much more work done. By contrast, the smallest job is an SNFS-213. It is a p^19-1 with a large coefficient so the equivalent difficulty would be closer to SNFS-230 because of poor sieving.

I usually follow a couple dozen numbers at a time while I feed yoyo and NFS@Home. I don't touch any numbers beyond what NFS@Home can do on the 15e queue, say < SNFS-280.
RichD is offline   Reply With Quote
Old 2020-10-26, 22:41   #780
ryanp
 
ryanp's Avatar
 
Jun 2012
Boulder, CO

21210 Posts
Default

Quote:
Originally Posted by lavalamp View Post
Can anyone refresh my memory about the amount of effort put into the MWRB numbers? When it gets put back up I thought I might have a go at running some ECM, but I wouldn't know what size factors to search for.
I'm doing some ECM now on the top 500 of the current mwrb2100. Have already found 2 factors, of (4889^101-1)/4888 and (10627^71-1)/10626.

I've reported these to FactorDB; does Pascal's script/process periodically query the latest state from FactorDB?
ryanp is offline   Reply With Quote
Old 2020-10-26, 23:47   #781
RichD
 
RichD's Avatar
 
Sep 2008
Kansas

11×172 Posts
Default

Quote:
Originally Posted by ryanp View Post
I've reported these to FactorDB; does Pascal's script/process periodically query the latest state from FactorDB?
He has some ability to scrape the data base. Here is a comment he made from a different thread.
https://www.mersenneforum.org/showpo...&postcount=464
RichD is offline   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
Passive Pascal Xyzzy GPU Computing 1 2017-05-17 20:22
Tesla P100 — 5.4 DP TeraFLOPS — Pascal Mark Rose GPU Computing 52 2016-07-02 12:11
Nvidia Pascal, a third of DP firejuggler GPU Computing 12 2016-02-23 06:55
Calculating perfect numbers in Pascal Elhueno Homework Help 5 2008-06-12 16:37
Factorization attempt to a c163 - a new Odd Perfect Number roadblock jchein1 Factoring 30 2005-05-30 14:43

All times are UTC. The time now is 05:48.

Tue Dec 1 05:48:24 UTC 2020 up 82 days, 2:59, 1 user, load averages: 1.85, 1.77, 1.70

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

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.