mersenneforum.org  

Go Back   mersenneforum.org > Factoring Projects > Lone Mersenne Hunters

Reply
 
Thread Tools
Old 2023-06-29, 22:13   #34
charybdis
 
charybdis's Avatar
 
Apr 2020

3×353 Posts
Default

Quote:
Originally Posted by chalsall View Post
Can anyone on the Primenet side of the house build a simple query and expose the data as a CSV et al for those who "Don't Get Out Much"TM?
To be clear, the data point of interest is "what proportion of exponents that have been fully TF'ed to xx bits had TF run at the xx-bit level have a factor with exactly xx bits, found by any method?"
As you mention, if some of the higher TF is done after P-1 has already been run then it's not surprising that there's an apparent drop in TF success rate at these bit levels.

Last fiddled with by charybdis on 2023-06-29 at 22:15
charybdis is offline   Reply With Quote
Old 2023-06-29, 22:43   #35
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×112×47 Posts
Default

Quote:
Originally Posted by charybdis View Post
To be clear, the data point of interest is "what proportion of exponents that have been fully TF'ed to xx bits had TF run at the xx-bit level have a factor with exactly xx bits, found by any method?"
I think the optimal dataset would be all knowledge that might aid in analysis.

CSV, TSV, et al. would be fine; it doesn't need to be JSON or XLS et al. This is just a simple 2D matrix.

The datasets will then be run through code doing analysis. Great fun.

Quote:
Originally Posted by charybdis View Post
As you mention, if some of the higher TF is done after P-1 has already been run, then it's not surprising that there's an apparent drop in TF success rate at these bit levels.
It might be interesting to see if there might be an optimization possible if one runs P-1 one level down from optimal TF, as /some/ have claimed. (A call out to LaurV...)
chalsall is offline   Reply With Quote
Old 2023-06-30, 22:16   #36
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2×112×47 Posts
Default

Quote:
Originally Posted by chalsall View Post
I think the optimal dataset would be all knowledge that might aid in analysis.
I note no one has responded to this. Not that I expected anyone to do so.

I am comfortable standing alone.
chalsall is offline   Reply With Quote
Old 2023-07-01, 02:34   #37
Andrew Usher
 
Dec 2022

3×132 Posts
Default

As the issue of 'unlucky' factoring (i.e. missed factors) is potentially quite important to the project, I felt it necessary to get some data. For an unbiased and large source, I counted all the exponents with factors in the 76-77 bit level in the range 120-130M. The result was that it falls within statistical expectation, both overall and within each million. The totals, in the current state of TF not quite completed, are 2615 exponents counted and 2584 expected. There is no shortfall. Chris's (very old) data do not seem to disagree.

Now if he has no better data, I'd have to say it was irresponsible for Uncwilly to spread such a claim. If there were such a shortfall, it would indeed be cause for investigation and not something to be simply accepted.

Although it is only obvious when actually worked out, the two 'corrections' I mentioned to the probability actually cancel, and the chance of at least one factor in the n-bit range is 1/n exactly, and more generally that of at least one between B1 and B2 bits (or digits in any other base) is 1 - B1/B2. Note that the GIMPS 'The Math' page gets it wrong, twice saying the probability between x and x+1 bits is 1/x when it should be 1/(x+1) - but the telescoping product is shown correct.
Andrew Usher is online now   Reply With Quote
Old 2023-07-01, 22:11   #38
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2·112·47 Posts
Default

Quote:
Originally Posted by Andrew Usher View Post
Chris's (very old) data do not seem to disagree.
I agree. The observations demonstrate that the empirical agrees with the Theorists.

And, just to be pedantic, it is Chris' very old data... James suffers the same thing. James' work is quite impressive.

Some do not get some humor. I enjoy working with those who do.
chalsall is offline   Reply With Quote
Old 2023-07-02, 22:06   #39
Andrew Usher
 
Dec 2022

3·132 Posts
Default

On that point of grammar, there is no such rule as you imply. Every source I've ever read (including those I just found with Google) says that the Chris's version as at least acceptable, if not preferred, and agree that it is more common in actual use (writing, but speaking surely even more - I've can't remember ever hearing the Chris' type from anyone, and it would certainly sound odd). Some list exceptions, but none relevant there. And I have always preferred it, in writing and speech - I would even say "Achilles's heel" in the literal sense, while the metaphor preserves the older "Achilles' heel" (and might, I say, be as well written without the apostrophe at all).

Anyway, the count I made is definitive and disproves Uncwilly's strange apparent claim that the TF success rate falls off above 75 in general.
Andrew Usher is online now   Reply With Quote
Old 2023-07-02, 23:24   #40
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

1106710 Posts
Default

Quote:
Originally Posted by Andrew Usher View Post
Anyway, the count I made is definitive and disproves Uncwilly's strange apparent claim that the TF success rate falls off above 75 in general.
It was not strange. It was based an assertion by someone that had their hands on more data than I did. It was not made just once by them. And it did fit with my much more limited person experience / data set in the 332M range and my factoring luck and that of another user. My found factors per bit level falls off a cliff at the higher levels. I had run over 550 TF assignments in that range with ZERO factors found. It was almost 11 months. That with what was previously stated by someone that makes their living with big data sets caused me to believe that their assertion was likely true.
Uncwilly is online now   Reply With Quote
Old 2023-07-02, 23:36   #41
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

1137410 Posts
Default

Quote:
Originally Posted by Uncwilly View Post
That with what was previously stated by someone that makes their living with big data sets caused me to believe that their assertion was likely true.
My sincere apologies for misguiding you. What I stated, at the time, I believed to be true.

Further, a drill-down on the empirical shows that the theorists were correct. I was incorrect; I was making a conclusion based on a small, and biased, dataset.

To put on the table, it is OK to be incorrect. So long as you're willing to admit it once it has been demonstrated to you.

This is how we learn.
chalsall is offline   Reply With Quote
Old 2023-07-04, 23:15   #42
Andrew Usher
 
Dec 2022

3·132 Posts
Default

OK, I accept your apologies - but now you know to trust the math first, I hope. My time counting those factors wasn't totally wasted as it really does deserve attention to see that we are not missing many factors. It should be of some concern that all GPU TF relies on one code base that is not actively being maintained, and probably has no ability to detect hardware errors.
Andrew Usher is online now   Reply With Quote
Old 2023-07-04, 23:20   #43
chalsall
If I May
 
chalsall's Avatar
 
"Chris Halsall"
Sep 2002
Barbados

2·112·47 Posts
Default

Quote:
Originally Posted by Andrew Usher View Post
OK, I accept your apologies - but now you know to trust the math first, I hope.
Oh... My... Word.

That is quite possibly the funniest thing I've read in quite some time.

Thank you for that.
chalsall is offline   Reply With Quote
Old 2023-07-04, 23:25   #44
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

3·7·17·31 Posts
Default

Quote:
Originally Posted by chalsall View Post
Thank you for that.
Just accept it. And move on.

Ideally we keep personalities (egos) out this as much as possible.
Uncwilly is online now   Reply With Quote
Reply

Thread Tools


Similar Threads
Thread Thread Starter Forum Replies Last Post
factoring 2ⁿ-2 equivalent to factoring 2ⁿ-1(I think) baih Miscellaneous Math 9 2020-09-21 07:11
OpenCL GPU P-1 Factoring and ECM Factoring xx005fs GPU Computing 3 2018-10-27 14:49
How unlucky have I been? ixfd64 Factoring 14 2013-03-31 20:40
How unlucky? Prime95 Operazione Doppi Mersennes 19 2013-01-30 21:57

All times are UTC. The time now is 13:22.


Fri Jul 7 13:22:32 UTC 2023 up 323 days, 10:51, 0 users, load averages: 1.01, 1.13, 1.13

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2023, 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.

≠ ± ∓ ÷ × · − √ ‰ ⊗ ⊕ ⊖ ⊘ ⊙ ≤ ≥ ≦ ≧ ≨ ≩ ≺ ≻ ≼ ≽ ⊏ ⊐ ⊑ ⊒ ² ³ °
∠ ∟ ° ≅ ~ ‖ ⟂ ⫛
≡ ≜ ≈ ∝ ∞ ≪ ≫ ⌊⌋ ⌈⌉ ∘ ∏ ∐ ∑ ∧ ∨ ∩ ∪ ⨀ ⊕ ⊗ 𝖕 𝖖 𝖗 ⊲ ⊳
∅ ∖ ∁ ↦ ↣ ∩ ∪ ⊆ ⊂ ⊄ ⊊ ⊇ ⊃ ⊅ ⊋ ⊖ ∈ ∉ ∋ ∌ ℕ ℤ ℚ ℝ ℂ ℵ ℶ ℷ ℸ 𝓟
¬ ∨ ∧ ⊕ → ← ⇒ ⇐ ⇔ ∀ ∃ ∄ ∴ ∵ ⊤ ⊥ ⊢ ⊨ ⫤ ⊣ … ⋯ ⋮ ⋰ ⋱
∫ ∬ ∭ ∮ ∯ ∰ ∇ ∆ δ ∂ ℱ ℒ ℓ
𝛢𝛼 𝛣𝛽 𝛤𝛾 𝛥𝛿 𝛦𝜀𝜖 𝛧𝜁 𝛨𝜂 𝛩𝜃𝜗 𝛪𝜄 𝛫𝜅 𝛬𝜆 𝛭𝜇 𝛮𝜈 𝛯𝜉 𝛰𝜊 𝛱𝜋 𝛲𝜌 𝛴𝜎𝜍 𝛵𝜏 𝛶𝜐 𝛷𝜙𝜑 𝛸𝜒 𝛹𝜓 𝛺𝜔