Supporting Evidence Index

No-Three-in-Line Colourings of Square Grids

The download packages contain scripts meant to be run on a computer. The proof PDF reads fine on a phone; for the other files a computer is recommended.

Lower_Bound_Verification.zip

Lower bounds for G14, G16, G18 and G20 · Sections 5.9, 6 · verification downloads public enumeration data (internet needed)

Download

GEK_Evidence.zip

GEK solver source, 29 verified colourings, independent verifier and benchmark tracker · Sections 5.8–5.9, 6

Download

G14_Nonequivalent_Colourings.zip

4,999 non-equivalent 8-colourings of G14 · Sections 5.9, 6

Download

0.99n_Proof.pdf

Proof of the asymptotic 0.99n upper bound · Section 5.7 · proof manuscript, awaiting independent mathematical review

Download

SHA256SUMS.txt

SHA-256 checksums for all files above

Download