[论文解读] Scarf is Ppad-Complete

Shiva Kintali|ArXiv.org|Dec 9, 2008

Game Theory and Voting Systems参考文献 18被引用 7

一句话总结

本文证明了斯卡尔夫引理的计算版本是PPAD-完全的，确立了其计算难度与布劳威尔不动点定理及斯珀纳引理相当。该结果表明，除非PPAD ⊆ P，否则不存在求解斯卡尔夫引理的多项式时间算法，并进一步表明分数稳定路径问题与强分数核计算也同样是PPAD-难的。

ABSTRACT

Scarf's lemma is one of the fundamental results in combinatorics, originally introduced to study the core of an N-person game. Over the last four decades, the usefulness of Scarf's lemma has been demonstrated in several important combinatorial problems seeking "stable" solutions. However, the complexity of the computational version of Scarf's lemma (SCARF) remained open. In this paper, we prove that SCARF is complete for the complexity class PPAD. This proves that SCARF is as hard as the computational versions of Brouwer's fixed point theorem and Sperner's lemma. Hence, there is no polynomial-time algorithm for SCARF unless PPAD \subseteq P. We also show that fractional stable paths problem and finding strong fractional kernels in digraphs are PPAD-hard.

研究动机与目标

• 确定与斯卡尔夫引理相关的决策问题的计算复杂性。
• 确立斯卡尔夫引理是否与PPAD复杂性类中其他著名问题具有同等难度。
• 研究相关组合问题（如分数稳定路径问题与强分数核计算）的复杂性。
• 阐明斯卡尔夫引理与其他博弈论与组合学中的不动点与稳定性问题之间的关系。

提出的方法

• 将一个典型的PPAD-完全问题——线路终点问题，归约到斯卡尔夫引理的计算版本。
• 构建从斯卡尔夫引理到分数稳定路径问题与强分数核问题的多项式时间归约。
• 利用斯卡尔夫引理作为证明技术，以确立在各种组合设定下分数稳定解的存在性。
• 对计算问题Scarf进行形式化定义，要求向量α在矩阵约束下满足有界性、可行性与最优性条件。
• 借助已知的布劳威尔不动点与斯珀纳引理的PPAD-完全性结果，推导出斯卡尔夫引理的复杂性下界。
• 证明现有存在性证明（例如通过紧致性或ε-近似）并不意味着存在多项式时间算法，因为其本质具有PPAD-完全性。

实验结果

研究问题

• RQ1 斯卡尔夫引理的计算版本是否为PPAD-完全？
• RQ2 分数稳定路径问题与强分数核计算是否为PPAD-难？
• RQ3 基于斯卡尔夫引理的存在性证明能否高效转化为多项式时间算法？
• RQ4 在超图偏好系统中寻找分数稳定匹配的问题是否为PPAD-完全？
• RQ5 在分数稳定路径问题中寻找ε-稳定解的精确复杂度是什么？

主要发现

• 斯卡尔夫引理是PPAD-完全的，意味着其计算难度与布劳威尔不动点定理和斯珀纳引理的计算版本相当。
• 除非PPAD ⊆ P，否则不存在求解斯卡尔夫引理的多项式时间算法。
• 分数稳定路径问题是PPAD-难的，表明寻找精确的分数稳定解在计算上是困难的。
• 在有向图中寻找强分数核也是PPAD-难的，将复杂性结果扩展到了有向图问题。
• 超图分数稳定匹配问题属于PPAD，但其PPAD-完全性仍待确认。
• 在分数稳定路径问题中寻找ε-解或ε-稳定解的复杂度仍未解决，尽管通过紧致性与斯卡尔夫引理已知其存在。