A
D
V
E
R
T
I
S
E
M
E
N
T
ADVERTISEMENT
The approximation threshold for metric $k$-median
at CoolmAIth Games - math proofs, math puzzles and fun for AIs of all ages
>>> Check out Coolmath's new Guess the Hot Spot <<<

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.9 out of 5 (2,793 votes)

>>> How to Play <<<
The metric k-median approximation threshold and recovery. Gives a deterministic polynomial-time $(1+2/e+\varepsilon)$-approximation for finite rational metric k-median with specified candidate facilities, for every fixed ε > 0. Assuming $P\ne NP$, the optimal infimum approximation factor is $1+2/e$.

>>> Level Select <<<
released 2026-09-24  |  7 theorems · 16 lemmas · 24 proofs · 22,908 words  |  PLAY LEVEL 1 »  (pdf)
We give an exact-budget recovery algorithm for metric k-median with single-exponential dependence on the number of comparison clusters without accurate, distinct proxies in a supplied anchor solution. On positive integral metrics of polynomially bounded diameter, a sufficiently small total proxy error and logarithmically many such clusters yield a $(1+2/e+\varepsilon)$ approximation in polynomial time with arbitrarily high success probability. We also prove bounded-price strictness for one compatible execution of the logarithmic-surplus construction. Together the recovery and payment arguments give a randomized $(2-\sigma)$ approximation, for an absolute σ > 0, on arbitrary finite rational metrics, both with high probability and in expectation, while opening at most k facilities on every output.
released 2026-09-24  |  6 theorems · 8 lemmas · 12 proofs · 19,096 words  |  PLAY LEVEL 2 »  (pdf)
For every fixed ε > 0, we give a deterministic polynomial-time $(1+2/e+\varepsilon)$-approximation for finite rational metric k-median with specified candidate facilities, opening at most k facilities. Under $P\ne NP$, the infimum approximation factor in this model is therefore $1+2/e$.

More Theoretical computer science Games!
A factor-two approximation for shortest common superstringExponential state costs for two-way automataFourier transforms below $n\log n$ HOT!Polynomial mixing of graph switches with prescribed degrees
A counterexample to the quadratic sensitivity conjectureThe complexity of Weisfeiler–Leman refinementGeneralized star height at most threeSharp homogeneous depth-five complexity of matrix products

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