[论文解读] The Complexity of Proper Equilibrium in Extensive-Form and Polytope Games

Brian Hu Zhang, Ioannis Anagnostides+3 more|arXiv (Cornell University)|Feb 10, 2026

Game Theory and Applications被引用 0

一句话总结

该论文证明在广泛-form博弈中计算正规形式的适当均衡属于PPAD-完全（双人）和FIXP_a-完全（多方），同时证明在多面体博弈中计算适当均衡是NP-hard；并为广泛-form博弈开发高效方法，识别出KM最佳反应屏障在一般情形下是#P-hard的。

ABSTRACT

The proper equilibrium, introduced by Myerson (1978), is a classic refinement of the Nash equilibrium that has been referred to as the "mother of all refinements." For normal-form games, computing a proper equilibrium is known to be PPAD-complete for two-player games and FIXP$_a$-complete for games with at least three players. However, the complexity beyond normal-form games -- in particular, for extensive-form games (EFGs) -- was a long-standing open problem first highlighted by Miltersen and Sørensen (SODA '08). In this paper, we resolve this problem by establishing PPAD- and FIXP$_a$-membership (and hence completeness) of normal-form proper equilibria in two-player and multi-player EFGs respectively. Our main ingredient is a technique for computing a perturbed (proper) best response that can be computed efficiently in EFGs. This is despite the fact that, as we show, computing a best response using the classic perturbation of Kohlberg and Mertens based on the permutahedron is #P-hard even in Bayesian games. In stark contrast, we show that computing a proper equilibrium in polytope games is NP-hard. This marks the first natural class in which the complexity of computing equilibrium refinements does not collapse to that of Nash equilibria, and the first problem in which equilibrium computation in polytope games is strictly harder -- unless there is a collapse in the complexity hierarchy -- relative to extensive-form games.

研究动机与目标

• 为Myerson的广义博弈与多面体博弈表示中的适当均衡提供动机与计算复杂性分析。
• 解决关于广义-form博弈中的适当均衡是否与纳什均衡具有相同复杂性的开放问题。
• 识别标准扰动方案（Kohlberg–Mertens）中的算法障碍，并为EFG建立可行方法。
• 对比广义-form博弈与多面体博弈在均衡细化方面的复杂性格局。
• 提供一个框架，将最佳反应计算与更广泛的复杂性类（PPAD、FIXP_a、NP）联系起来。

提出的方法

• 引入epsilon-适当最佳反应并分析它们在多面体与广义-form博弈中的计算特性。
• 证明在超立方体上甚至在贝叶斯博弈中，计算Kohlberg–Mertens风格的扰动（KM最佳反应）是#P-hard。
• 证明在多面体博弈中计算适当均衡是NP-hard。
• 开发一个高效的广义-form博弈最佳反应计算技术，使适当均衡在EFG中属于PPAD和FIXP_a。
• 利用Filos-Ratsikas等人的优化框架，将最佳反应Oracle结构化为与PPAD/FIXP_a分析兼容的线性可行性问题。
• 给出形式化的归约与定理，确立复杂性分类（定理1.1–1.3，非正式表述）。

实验结果

研究问题

• RQ1 在广义-form博弈中计算一个适当均衡是否与计算纳什均衡具有相同的复杂性？
• RQ2 在多面体博弈中找到适当均衡的计算复杂性是什么？
• RQ3 标准的Kohlberg–Mertens扰动方法能否在广义-form与多面体设定中高效实现？
• RQ4 是否存在在广义-form博弈中避免指数级排序的扰动最佳反应的高效算法？
• RQ5 PPAD与FIXP_a这两个类别如何与在不同博弈表示（广义-form vs 多面体）下的适当均衡计算相关？

主要发现

• 在广义-form博弈中计算适当均衡的复杂性与纳什均衡相同（双人PPAD-完全， 多人FIXP_a-完全）。
• Kohlberg–Mertens扰动的最佳反应在贝叶斯博弈中也是#P-hard（KM屏障）。
• 在多面体博弈中计算适当均衡是NP-hard，标志着存在一个不能简化为纳什均衡的均衡细化类。
• 存在一个高效的广义-form博弈最佳反应计算方法，使EFG中的适当均衡属于PPAD与FIXP_a。
• 论文展示了一个分离：广义-form博弈的适当均衡具有可处理的复杂性表徵，而多面体博弈的适当均衡则是NP-hard，揭示了基本的复杂性差异。