OpenAI reports exact-budget recovery for metric k-median

On positive integral metrics of polynomially bounded diameter, a supplied anchor with distinct accurate proxies for all but logarithmically many comparison clusters and sufficiently small total proxy error supports a polynomial-time k-median recovery algorithm opening at most k facilities and attaining a (1+2/e+ε) factor against those comparison centers with any requested confidence.

Curated contributions 1

Understand the problem ↓

OpenAI reports exact-budget recovery for metric k-median

  • Mathematics
  • Theoretical Computer Science

On positive integral metrics of polynomially bounded diameter, a supplied anchor with distinct accurate proxies for all but logarithmically many comparison clusters and sufficiently small total proxy error supports a polynomial-time k-median recovery algorithm opening at most k facilities and attaining a (1+2/e+ε) factor against those comparison centers with any requested confidence.

AI involvementAI-led
ImportanceNotable
Technical verificationFormal (Lean 4)
Human understandingFew

Understanding the problem

Read the background

On positive integral metrics of polynomially bounded diameter, a supplied anchor with distinct accurate proxies for all but logarithmically many comparison clusters and sufficiently small total proxy error supports a polynomial-time k-median recovery algorithm opening at most k facilities and attaining a (1+2/e+ε) factor against those comparison centers with any requested confidence.

Why it matters

If correct, gives a polynomial-time recovery step that maintains the exact facility budget under stated anchor-quality conditions.

What counts as progress

Can metric k-median recover a near-optimal solution from an almost accurate anchor while opening at most k facilities?

Website timeline

Publication dates and editorial changes.