k-server 猜想被证明为真,论文已挂 arXiv
iamsyr · hn · 2026-09-15
一篇新论文宣布证明理论计算机与在线算法领域的经典难题 k-server 猜想为真。k-server 问题研究在线服务器调度:服务器需响应网络节点上的请求,如何设计策略使总代价最优是 1990 年代由 Koutsoupias 与 Papadimitriou 提出的核心猜想。该证明是理论 CS 领域的重大进展,论文全文见 arXiv。
「研究」频道最新
- 双模型分工:MatBrain 用 48 小时筛选 3 万个晶体候选材料 — bravo_abad · 2026-09-23
- Scale AI 发布 SWE-Bench Pro V2 基准 — bigblueboo · 2026-09-23
- AI 主导知识生产后，同行评审与验证仍是人类的核心角色 — sudoraohacker · 2026-09-23
- Yarin Gal 谈论文署名：非一作/末位作者论文审阅时直接忽略 — yaringal · 2026-09-23
- 新论文:把 VLM 的智能迁移到机器人控制 — _akhaliq · 2026-09-23
- 南洋理工 UMM 研究:原生多模态中理解与生成互相增益但共享有冲突 — jiqizhixin · 2026-09-23