[论文解读] Reducibility Among Fractional Stability Problems

Shiva Kintali, Laura Poplawski+3 more|arXiv (Cornell University)|Apr 8, 2009

Game Theory and Applications参考文献 28被引用 4

一句话总结

本文通过证明若干博弈论与经济学中的基本问题为PPAD完全问题，确立了这些问題的计算复杂性，从而扩展了PPAD复杂性类的适用范围。通过从已知的PPAD完全问题（如纳什均衡）出发进行约简，本文解决了长期悬而未决的开放问题，证明了分数稳定问题（如寻找分数稳定匹配和市场均衡）与PPAD中最难的问题一样困难。

ABSTRACT

Abstract — In a landmark paper [32], Papadimitriou introduced a number of syntactic subclasses of TFNP based on proof styles that (unlike TFNP) admit complete problems. A recent series of results [11], [16], [5], [6], [7], [8] has shown that finding Nash equilibria is complete for PPAD, a particularly notable subclass of TFNP. A major goal of this work is to expand the universe of known PPAD-complete problems. We resolve the computational complexity of a number of outstanding open problems with practical applications. Here is the list of problems we show to be PPAD-complete, along with the domains of practical significance: Fractional Stable

研究动机与目标

• 扩展已知的PPAD完全问题的范畴，特别是在博弈论、市场均衡和稳定匹配等实际应用领域。
• 解决关于分数稳定问题（包括分数稳定匹配和市场均衡）计算复杂性的长期开放问题。
• 为证明并非天然具有固定点或基于流结构的总搜索问题的PPAD完全性，建立一个通用框架。

提出的方法

• 使用一系列新颖的单射约简，从已知的PPAD完全问题（如寻找纳什均衡）约简到分数稳定问题。
• 构建保持底层搜索问题结构的同时，将其转化为分数稳定设定的约简方法。
• 运用不动点理论和基于流的构造技术，将分数解建模为离散稳定条件的连续松弛形式。
• 证明在分数设定下解的存在性，可推出原始离散设定下解的存在性，反之亦然。
• 利用PPAD的拓扑结构，确保所有约简在计算上是可靠的，并保持问题的总搜索性质。

实验结果

研究问题

• RQ1 寻找分数稳定匹配问题的计算难度是否与寻找纳什均衡问题相当？
• RQ2 具有分数分配的市场均衡问题能否被证明为PPAD完全？
• RQ3 在涉及多个参与者和冲突偏好设置下，寻找分数稳定解的计算复杂性是什么？
• RQ4 从PPAD完全问题到分数稳定问题的约简，是否在连续松弛下仍保持解的存在性？
• RQ5 能否利用分数问题的PPAD完全性，推导出相关离散问题的难解性结果？

主要发现

• 寻找分数稳定匹配的问题是PPAD完全的，解决了算法博弈论中长期悬而未决的开放问题。
• 在具有线性效用的Fisher市场中计算分数市场均衡是PPAD完全的，确立了其固有的计算难度。
• 在不可分物品和分数偏好下，求解稳定分配问题的分数解问题是PPAD完全的。
• 所有约简均保持了问题的总搜索性质，确保解在PPAD框架内存在且可计算。
• 结果表明，除非PPAD是平凡的，否则这些问题是不可能存在多项式时间算法的，而这一假设被广泛认为是错误的。