unit-distance-graph

Here are 4 public repositories matching this topic...

AEjonanonymous / Hadwiger-Nelson

Formal Verification of the 7-Color Chromatic Number of the Plane via Toroidal Projection and the Irrationality of 2π.

graph-theory formal-verification interactive-theorem-proving irrationality mathlib zulip-bot chromatic-number de-bruijn lean4 2pi formal-proof k-colorability toroidal-topology hadwiger-nelson-problem moser-spindle unit-distance-graph pigeonhole-principle proof-by-exclusion

Updated Jul 20, 2026
Lean

zach7036 / small-5-chromatic-unit-distance-graphs

Star

Verified T650 forcing gadget and 1,299-vertex Moser-spindle-free 5-chromatic unit-distance graph

computational-mathematics graph-coloring sat-solving unit-distance-graph hadwiger-nelson

Updated Aug 10, 2026
SMT

keithadler / zeta42

Star

Exact-arithmetic SAT lab for the chromatic number of the plane — reproductions, a documented negative search, and two open frontier instances in the ζ42 deep end

python research computational-mathematics combinatorics sat-solver graph-coloring chromatic-number exact-arithmetic number-fields unit-distance-graph hadwiger-nelson

Updated Aug 16, 2026
Python

Ghost---Shadow / erodos-unit-distance-balls-and-springs

Star

Numerical attack on the Erdos unit-distance problem: a complete graph of unit-rest-length springs, annealed then projected onto exact unit distances. Matches every proven optimum for n <= 14, with audited counts and a live 2D view.

python optimization numpy levenberg-marquardt computational-geometry matplotlib combinatorics simulated-annealing physics-simulation lattice discrete-geometry mass-spring-system erdos-problem unit-distance-graph

Updated Sep 8, 2026
Python

Add this topic to your repo

To associate your repository with the unit-distance-graph topic, visit your repo's landing page and select "manage topics."

Learn more