Vertices
7
Unit Edges (d ≈ 1.0)
11
Chromatic No. (χ)
4
3-Colorable?
NO (Monochromatic Edge Forced)
AI Search Prompt Heuristic
"Apply 60-degree rotational reflection across unit rhombus axis to force monochromatic edge under 3-coloring."
Search Step: 0
Certificate & Non-Colorability Proof
[INIT] Moser Spindle loaded. 7 vertices, 11 unit edges.
[BOUND] Tested 3-colorings (3^7 = 2187 states). No valid proper coloring found.
[CERTIFICATE] χ(G) = 4 proven. Exact unit-distance sub-graph certificate valid.
Unit Edge (d=1.0)
Non-unit (relaxed)
Export & Mathematical Cards