[论文解读] Recognizing Members of the Tournament Equilibrium Set is NP-hard

Felix Brandt, Felix Fischer+1 more|arXiv (Cornell University)|Nov 19, 2007

Game Theory and Voting SystemsEconomics, Econometrics and Finance参考文献 8被引用 19

一句话总结

本文证明了判断给定备选方案是否属于锦标赛均衡集（TEQ）是NP难的，确立了这一重要社会选择解概念的根本计算障碍。该结果通过从3-SAT问题约化得出，表明除非P = NP，否则判断成员资格在计算上是不可行的，尽管TEQ作为Banks集和最小覆盖集的精炼版本在理论上具有吸引力。

ABSTRACT

A recurring theme in the mathematical social sciences is how to select the "most desirable" elements given a binary dominance relation on a set of alternatives. Schwartz's tournament equilibrium set (TEQ) ranks among the most intriguing, but also among the most enigmatic, tournament solutions that have been proposed so far in this context. Due to its unwieldy recursive definition, little is known about TEQ. In particular, its monotonicity remains an open problem up to date. Yet, if TEQ were to satisfy monotonicity, it would be a very attractive tournament solution concept refining both the Banks set and Dutta's minimal covering set. We show that the problem of deciding whether a given alternative is contained in TEQ is NP-hard.

研究动机与目标

• 解决确定Schwartz锦标赛均衡集（TEQ）成员资格的计算复杂性问题，这是一个重要但理解不足的锦标赛解概念。
• 通过证明其底层决策问题是NP难的，解决长期存在的关于TEQ是否满足单调性的问题。
• 证明与Banks集和最小覆盖集不同，除非P = NP，否则TEQ成员资格无法在多项式时间内计算。
• 提供从3-SAT到TEQ成员资格问题的正式约化，确立其计算难度。

提出的方法

• 从给定的3-DNF公式ϕ构造一个锦标赛T_TEQ_ϕ，通过支配关系编码变量赋值和子句满足情况。
• 通过自指定义TEQ关系：x →_X y 当且仅当 x ∈ TEQ(D_X(y))，其中D_X(y)是子集X中y的支配者集合。
• 对满足B ⊇ {d}的子集使用结构归纳法，证明对所有相关k都有d ∈ TEQ(D_k)，从而建立核心归纳步骤。
• 利用Condorcet胜者和传递子锦标赛的性质，证明某些备选方案在TEQ关系中支配其他方案。
• 通过从3-SAT的约化证明：若ϕ可满足，则d ∈ TEQ(T_TEQ_ϕ)；若不可满足，则d ∉ TEQ(T_TEQ_ϕ)。
• 利用辅助引理证明，在某些子锦标赛中，特定备选方案ci通过TEQ关系支配所有其他方案，从而支持归纳论证。

实验结果

研究问题

• RQ1 判断给定备选方案是否属于锦标赛的锦标赛均衡集（TEQ）的计算问题是否是可计算的？
• RQ2 TEQ解概念是否满足社会选择理论中理想的单调性属性？
• RQ3 TEQ成员资格问题是否可在多项式时间内求解，还是本质上困难？
• RQ4 是否存在从已知的NP完全问题到TEQ成员资格问题的约化？
• RQ5 与Banks集或最小覆盖集等其他锦标赛解相比，计算TEQ的计算复杂性如何？

主要发现

• 判断给定备选方案是否属于锦标赛的锦标赛均衡集（TEQ）的问题是NP难的。
• NP难性结果通过从3-SAT的约化建立，表明求解TEQ成员资格问题至少与求解3-SAT一样困难。
• 证明表明：若3-DNF公式ϕ可满足，则指定备选方案d属于TEQ(T_TEQ_ϕ)；若不可满足，则d不属于TEQ(T_TEQ_ϕ)。
• TEQ的递归定义（依赖于自指，即TEQ用于定义自身）被证明会导致计算不可行性。
• 该结果意味着除非P = NP，否则不存在计算TEQ的多项式时间算法。
• 即使Banks集（TEQ的精炼版本）可多项式时间计算，该困难结果依然成立，凸显了两者在计算特性上的关键差异。