[論文レビュー] 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に属するかどうかを決定することですら計算的に非効率的であることが示されている。これは、TEQがバンクス集合および最小被覆集合の両方の修正版として理論的に魅力的であるにもかかわらず、そのような性質である。

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.

研究の動機と目的

• スコールズのトーナメント均衡集合（TEQ）におけるメンバーの決定の計算複雑性を解明すること。これは顕著ではあるが、あまり理解されていないトーナメント解概念である。
• TEQが単調性を満たすかどうかという長年の未解決問題を閉じるために、その背後にある意思決定問題がNP困難であることを示すこと。
• バンクス集合や最小被覆集合とは異なり、TEQのメンバー識別はP時間内に計算できないことを示すこと。P = NPでない限り、そのようなアルゴリズムは存在しない。
• 3-SATからTEQメンバー識別問題への形式的還元を提供することにより、その計算の困難性を確立すること。

提案手法

• 与えられた3-DNF論理式ϕから、変数の割り当てと節の充足を支配関係によって符号化するトーナメントT_TEQ_ϕを構築する。
• 自己言及を用いた再帰的定義によりTEQ関係を定義する：x →_X y であるとは、x ∈ TEQ(D_X(y)) であることを意味する。ここでD_X(y)は、部分集合Xにおけるyの支配者（dominator）の集合である。
• B ⊇ {d} である部分集合Bについての構造的帰納法を用い、すべての関連するkに対してd ∈ TEQ(D_k)であることを示し、核心的な帰納ステップを確立する。
• コンドルセ勝者および推移的サブトーナメントの性質を活用して、特定の代替案がTEQ関係において他のものより支配することを示す。
• ϕが充足可能であればd ∈ TEQ(T_TEQ_ϕ)であり、そうでなければd ∉ TEQ(T_TEQ_ϕ)であることを、3-SATへの還元によって証明する。
• 特定のサブトーナメントにおいて、ある代替案ciがTEQ関係を通じて他のすべての代替案を支配することを示す補助的補題を用い、帰納的議論を可能にする。

実験結果

リサーチクエスチョン

• RQ1 与えられた代替案がトーナメントのトーナメント均衡集合（TEQ）に属するかどうかを決定する問題は、計算的に容易可能か？
• RQ2 TEQ解概念は、社会選択理論において望ましい性質である単調性を満たすか？
• RQ3 TEQメンバー識別問題は多項式時間で解けるのか、それとも本質的に困難なのか？
• RQ4 既知のNP完全問題からTEQメンバー識別問題への還元は存在するか？
• RQ5 TEQの計算の計算複雑性は、バンクス集合や最小被覆集合といった他のトーナメント解概念と比べてどうなるか？

主な発見

• 与えられた代替案がトーナメントのトーナメント均衡集合（TEQ）に属するかどうかを決定する問題はNP困難である。
• NP困難性の結果は3-SATへの還元によって確立されており、TEQメンバー識別を解くことは3-SATを解くのと同等以上に困難であることを示している。
• 証明により、3-DNF論理式ϕが充足可能であれば、指定された代替案dはTEQ(T_TEQ_ϕ)に属し、そうでなければ属しないことが示された。
• 自己言及（TEQが自分自身を定義するために使用される）に依存するTEQの再帰的定義が、計算の非効率性を引き起こすことが明らかになった。
• この結果は、P = NPでない限り、TEQを計算する多項式時間アルゴリズムは存在しないことを示唆している。
• バンクス集合（TEQの修正版）は多項式時間で計算可能であるのにもかかわらず、この困難性の結果は依然として成立しており、両概念間の重要な計算的差異を浮き彫りにしている。