數學家證明了k伺服器假設

研究人員正式證實了k伺服器假設，這一直是線上演算法理論中幾十年來的核心未解問題。這項工作證實了工作函數演算法在任何度量空間中都能達到競爭比率k。

為了證明，作者使用了一種新的代數矩陣表示法，可以形式化系統在將k個請求分配給伺服器時的行為。數學工具展示了，提出的方法可以保證在動態資源選擇條件下獲得最佳性能，同時最小化伺服器移動的總成本。

研究結果填補了自1980年代以來的理論空白。證明證實了工作函數演算法是資源管理任務的通用解決方案，需要在實時處理請求序列時最小化成本。

這一發現對於設計高負載系統和分佈式計算具有直接意義。使用經過證明的演算法可以讓AI基礎設施和雲端服務的開發人員更有效地管理負載，確保在擴大計算能力時具有可預測的響應時間。