A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Sampling and counting contingency tables with arbitrary margins
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Hamilton's Revenge <<<

LOADING...
0%
thinking... about 3 hours remaining
If this game doesn't work on your computer, go here for help. (Lean version available!)
expertly designed by an internal OpenAI model

Difficulty:🧠🧠🧠🧠🧠 Ages:13 - ∞
Skills:algorithms, speed Levels:2
Category:Theoretical computer science Lean version:YES! ✔
Rate this game! 4.4 out of 5 (3,364 votes)

>>> How to Play <<<
Sampling and counting contingency tables with arbitrary margins. For nonnegative integer matrices with prescribed row and column sums, gives exact uniform sampling in expected polynomial bit time and almost-uniform sampling in worst-case polynomial bit time. The dimensions and binary-encoded margins are unrestricted. Also gives a fully polynomial randomized approximation scheme for counting such tables with arbitrary individual cell bounds, including structural zeros, with polynomial cost on every execution.

>>> Level Select <<<
released 2026-09-24  |  5 theorems · 8 lemmas · 18 proofs · 13,480 words  |  PLAY LEVEL 1 »  (pdf)
We give an exact uniform sampler for nonnegative integer contingency tables with arbitrary prescribed margins. It terminates almost surely and has expected bit complexity polynomial in both dimensions and the binary length of the margins. No positivity, balance, sparsity, or fixed-dimension assumption is required.
released 2026-09-24  |  1 theorem · 15 lemmas · 22 proofs · 21,285 words  |  PLAY LEVEL 2 »  (pdf)
We give a fully polynomial randomized approximation scheme for counting nonnegative integer matrices with prescribed row sums, column sums, and individual entry bounds. Both dimensions vary, all numerical data are encoded in binary, and zero bounds are allowed. The algorithm uses only unbiased random bits and has a polynomial bound on its bit operations on every execution.

More Theoretical computer science Games!
Uniform identity testing for noncommutative formulasUniform sparsest cut: hardness and semidefinite gapsUnbounded bin-packing gaps and the modified integer round-up conjectureThe Courtade–Kumar and Hellinger conjectures
Almost-linear-time exact matching in general graphsAlmost-linear expected-time approximation of edit distanceSuperpolynomial lower bounds and quasipolynomial reconstruction from deletion tracesPolynomial-time scheduling on three identical machines

Cool Links: openai/math   Lean   Mathlib   arXiv   the real Coolmath Games