A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
Polynomial mixing of graph switches with prescribed degrees
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Snaky <<<

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:1
Category:Theoretical computer science Lean version:YES! ✔
Rate this game! 4.8 out of 5 (1,307 votes)

>>> How to Play <<<
Rapid mixing of graph switches for every degree sequence. Resolves the simple-undirected Kannan–Tetali–Vempala conjecture: the lazy edge-switch chain mixes in $O(n^8)$ time for every graphical labeled degree sequence. The same degree-constrained graphs can also be sampled exactly uniformly by an almost-surely terminating algorithm with expected polynomial bit running time.

>>> Level Select <<<
released 2026-09-25  |  1 theorem · 6 lemmas · 14 proofs · 9,277 words  |  PLAY LEVEL 1 »  (pdf)
We prove the simple-undirected form of the Kannan–Tetali–Vempala conjecture: the switch chain on simple undirected graphs mixes in polynomial time for every graphical degree sequence. For a lazy chain that proposes switches uniformly on four vertices, the total-variation mixing time at distance 1/4 is at most $2n^8$. We also give an exactly uniform sampler for every graphical labeled degree vector. It uses unbiased random bits, terminates almost surely, and has expected polynomial bit running time.

More Theoretical computer science Games!
Superpolynomial lower bounds and quasipolynomial reconstruction from deletion tracesPolynomial-time scheduling on three identical machinesThe approximation threshold for metric $k$-medianExponential semidefinite complexity of perfect matching
The asymptotic Gotsman–Linial conjectureA factor-two approximation for shortest common superstringExponential state costs for two-way automataFourier transforms below $n\log n$ HOT!

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