[论文解读] Towards the k-Server Conjecture: A Unifying Potential, Pushing the Frontier to the Circle

Christian Coester, Ηλίας Κουτσουπιάς|arXiv (Cornell University)|Jan 1, 2021

Optimization and Search Problems参考文献 24被引用 1

一句话总结

本文提出一个统一的势函数，证明工作函数算法（WFA）在所有已知的k-服务器问题情形下均为k-竞争的，包括直线、加权星形图、多射线空间以及k=3时的树结构。研究发现最坏情况下的对手是‘懒惰’的——即倾向于请求离线服务器所在位置的请求——但该性质在圆环上不成立，暴露出一个关键局限性，并提示了证明k-服务器猜想的新方向。

ABSTRACT

The $k$-server conjecture, first posed by Manasse, McGeoch and Sleator in 1988, states that a $k$-competitive deterministic algorithm for the $k$-server problem exists. It is conjectured that the work function algorithm (WFA) achieves this guarantee, a multi-purpose algorithm with applications to various online problems. This has been shown for several special cases: $k=2$, $(k+1)$-point metrics, $(k+2)$-point metrics, the line metric, weighted star metrics, and $k=3$ in the Manhattan plane. The known proofs of these results are based on potential functions tied to each particular special case, thus requiring six different potential functions for the six cases. We present a single potential function proving $k$-competitiveness of WFA for all these cases. We also use this potential to show $k$-competitiveness of WFA on multiray spaces and for $k=3$ on trees. While the DoubleCoverage algorithm was known to be $k$-competitive for these latter cases, it has been open for WFA. Our potential captures a type of lazy adversary and thus shows that in all settled cases, the worst-case adversary is lazy. Chrobak and Larmore conjectured in 1992 that a potential capturing the lazy adversary would resolve the $k$-server conjecture. To our major surprise, this is not the case, as we show (using connections to the $k$-taxi problem) that our potential fails for three servers on the circle. Thus, our potential highlights laziness of the adversary as a fundamental property that is shared by all settled cases but violated in general. On the one hand, this weakens our confidence in the validity of the $k$-server conjecture. On the other hand, if the $k$-server conjecture holds, then we believe it can be proved by a variant of our potential.

研究动机与目标

• 使用单一势函数统一现有对WFA在各类k-服务器问题特例中k-竞争性的证明。
• 探究是否存在‘懒惰对手’——即倾向于请求离线服务器位置的对手——是否能捕捉最坏情况下的请求序列，正如Chrobak与Larmore所猜想的那样。
• 测试所提势函数在新度量空间（尤其是k-服务器猜想仍悬而未决的圆环）中的鲁棒性。
• 提供对WFA在已知情形下为何成功以及在何处可能失败的洞见，从而为一般k-服务器猜想的未来证明策略提供指导。

提出的方法

• 提出一个单一势函数Φ，其可推广并统一此前用于证明WFA k-竞争性的各类特例势函数。
• 将势函数定义为所有k元组服务器配置的总和，结合工作函数值与点间距离，以捕捉未来移动的成本。
• 利用工作函数的拟凸性特性分析WFA在请求序列下的行为，特别是在多射线和树状度量空间中。
• 将该势函数应用于证明WFA在多射线空间中的k-竞争性，以及在一般树结构上k=3时的k-竞争性，扩展了此前已知结果的范围。
• 在三服务器圆环上构造反例，使用k-出租车请求来模拟k-服务器序列，表明当对手不懒惰时，该势函数会失效。
• 借助与k-出租车问题的联系，表明即使存在扰动，圆环度量仍会违反懒惰对手假设，从而削弱该势函数的普遍适用性。

实验结果

研究问题

• RQ1 能否使用单一势函数统一证明WFA在k-服务器问题所有已知特例中的k-竞争性？
• RQ2 最坏情况对手是否为‘懒惰’（即反复请求离线服务器位置）的假设是否普遍成立，或是否存在反例？
• RQ3 为何所提势函数在圆环度量上失效，这对其在非懒惰设定下k-服务器问题的结构有何启示？
• RQ4 工作函数的拟凸性在多射线和树状度量中对WFA成功起多大作用？
• RQ5 能否利用该势函数在圆环上的失效，来否定k-服务器猜想，或指导设计一种能成功的改进势函数？

主要发现

• 所提势函数证明了WFA在所有此前已知特例中均为k-竞争的，包括k=2、(k+1)-点度量、(k+2)-点度量、直线、加权星形图，以及曼哈顿平面上的k=3情形。
• 该势函数在多射线空间中建立了WFA的k-竞争性，并在一般树结构上对k=3情形成立，扩展了此前对WFA已知结果的范围。
• 该势函数捕捉了‘懒惰对手’的特性——即最坏情况请求序列倾向于离线服务器位置——解释了为何WFA在所有已解决情形中表现良好。
• 在三服务器圆环度量上构造的反例表明，该势函数失效，因为在此设定下对手并非懒惰，表明懒惰性并非最坏情况序列的普遍属性。
• 在8点圆环上超过28万个可达的工作函数中，仅有1对(wt, wt+1)违反懒惰对手条件，表明此类反例虽稀少但确实存在。
• 该势函数在圆环上的失效意味着，若k-服务器猜想为真，则必须使用不同或修改后的势函数才能证明它。