k-server 猜想被证明,在线算法理论迎来突破

arXiv 新论文《The k-server conjecture is true》宣布证明 k-server 猜想,证明确定性在线算法在每个度量空间上都能达到竞争比 k,核心是工具性构造。Aaroth 指出当天理论计算机科学界多个经典开放问题接连告破,Christian Coes 等人的成果构成一波「开放问题被攻克」的集中爆发,在线算法理论再下一城。

2026-09-15 ~ 2026-09-15 · 2 条相关

另有 1 条近重复转述:naval