[論文レビュー] The Complexity of Manipulating $k$-Approval Elections

Andrew Lin|arXiv (Cornell University)|May 23, 2010

Game Theory and Voting Systems参考文献 4被引用数 24

ひとこと要約

本稿は、$k$-approvalおよび$k$-veto選挙の操作の計算複雑性を調査し、いくつかのケースでは操作が多項式時間で解けること、他のケースではNP困難であること、特定の設定ではグラフ理論的問題（たとえば、$b$-Edge Cover）と同等であることを示している。主な貢献は、無限に多くのスコアリングプロトコルと無限に多くの候補を含む設定において、操作の複雑性を分類し、グラフ理論と関連づけ、特に3-approvalおよび3-vetoシステムにおける未解決問題を特定することにある。

ABSTRACT

An important problem in computational social choice theory is the complexity of undesirable behavior among agents, such as control, manipulation, and bribery in election systems. These kinds of voting strategies are often tempting at the individual level but disastrous for the agents as a whole. Creating election systems where the determination of such strategies is difficult is thus an important goal. An interesting set of elections is that of scoring protocols. Previous work in this area has demonstrated the complexity of misuse in cases involving a fixed number of candidates, and of specific election systems on unbounded number of candidates such as Borda. In contrast, we take the first step in generalizing the results of computational complexity of election misuse to cases of infinitely many scoring protocols on an unbounded number of candidates. Interesting families of systems include $k$-approval and $k$-veto elections, in which voters distinguish $k$ candidates from the candidate set. Our main result is to partition the problems of these families based on their complexity. We do so by showing they are polynomial-time computable, NP-hard, or polynomial-time equivalent to another problem of interest. We also demonstrate a surprising connection between manipulation in election systems and some graph theory problems.

研究の動機と目的

• 無限に多くの候補を含む設定において、$k$-approvalおよび$k$-veto選挙の操作の計算複雑性を分析すること。
• 計算の困難さに基づいて操作問題を分類すること：多項式時間で解ける、NP困難、または既知の困難問題と同等であること。
• 選挙操作とグラフ理論的問題（特に$b$-Edge Coverの変種）との間の関係を確立すること。
• $k$-approvalおよび$k$-vetoシステムにおける操作複雑性の未解決問題を特定すること、特に$k=3$の場合に焦点を当てる。
• スコアリングプロトコルにおける制御および操作の既存結果を、無限に多くのシステムを含むより広いクラスに拡張すること。

提案手法

• Set CoverやHitting Setといった既知のNP困難問題への還元を用いて、$k$-approvalおよび$k$-veto選挙における操作のNP困難性を証明する。
• 特に、重い票を追加または削除することで望ましい候 mechan が勝利する場合に、貪欲法を適用して操作問題を解く。
• 著者らは、操作問題と$b$-Edge Coverの変種との間で多項式時間同等性を確立した。特に、重みなしおよび価格なしの設定で顕著である。
• 重み付きケースでは、多様なグラフにおける$b$-Edge Coverの変種の複雑性が未解決のままであることが判明し、線形計画法による多項式時間解法の可能性が示唆された。
• 重み付き票と候補の優位性を扱うための具体的なアルゴリズムを含む、選挙者を追加または削除する構成的制御の分析も行われた。
• 理論的関連性として、操作とグラフ問題との間のリンクを描き、$b$-Edge Coverフレームワークを用いて票の追加・削除戦略をモデル化した。

実験結果

リサーチクエスチョン

• RQ1 $k \geq 3$ における $k$-approval選挙の操作の計算複雑性は何か？
• RQ2 $k$-veto選挙における操作の複雑性は $k$ に依存してどのように変化するか？
• RQ3 $k$-approvalおよび$k$-vetoシステムにおける操作は、$b$-Edge Coverのような既知のグラフ理論的問題に還元可能か？
• RQ4 なぜ $3$-approvalおよび$3$-vetoシステムは操作複雑性分析において特に困難なのか？
• RQ5 $3$-veto選挙における買収（bribery）の複雑性は何か？ なぜ標準的な還元手法に耐えられないのか？

主な発見

• 重み付き $k$-approval選挙（$k \geq 4$）および重み付き $k$-veto選挙（$k \geq 3$）は、選挙者を追加する制御に対して計算的に抵抗性であり、問題はNP困難である。
• 重み付き $k$-approval選挙（$k \geq 3$）および重み付き $k$-veto選挙（$k \geq 4$）は、選挙者を削除する制御に対して計算的に抵抗性であり、NP困難であることが示された。
• $k$-approvalおよび$k$-vetoシステムにおける操作は、重い票を追加または削除する貪欲戦略が十分である場合には多項式時間で解ける。
• $k$-approvalおよび$k$-veto選挙における操作問題は、特に重みなしおよび価格なしのケースにおいて、$b$-Edge Coverの特定の変種と多項式時間同等である。
• Hitting Setへの還元により、候補集合を含む操作は本質的に困難であることが示され、このような構成のNP困難性が確立された。
• 未解決の3つの問題が残っている：$3$-approvalにおける選挙者追加による制御、$3$-vetoにおける選挙者削除による制御、$3$-veto選挙における買収。これらは標準的な$b$-Edge Coverモデルと不適合であるためである。