[論文レビュー] How Hard Is Bribery in Elections?

Piotr Faliszewski, Edith Hemaspaandra+1 more|ArXiv.org|Aug 19, 2006

Game Theory and Voting Systems参考文献 33被引用数 5

ひとこと要約

この論文は、外部の参加者が選挙の投票者順位を変更することで好ましい候補者を勝たせようとする、選挙におけるバイアージの計算複雑性を調査する。重み付き投票者バイアージのスコアリングプロトコルにおける、多項式時間で解けるかNP完全かを単純で効率的に計算可能な条件に基づいて分類する、二分法の定理を確立する。

ABSTRACT

We study the complexity of influencing elections through bribery: How computationally complex is it for an external actor to determine whether by a certain amount of bribing voters a specified candidate can be made the election's winner? We study this problem for election systems as varied as scoring protocols and Dodgson voting, and in a variety of settings regarding homogeneous-vs.-nonhomogeneous electorate bribability, bounded-size-vs.-arbitrary-sized candidate sets, weighted-vs.-unweighted voters, and succinct-vs.-nonsuccinct input specification. We obtain both polynomial-time bribery algorithms and proofs of the intractability of bribery, and indeed our results show that the complexity of bribery is extremely sensitive to the setting. For example, we find settings in which bribery is NP-complete but manipulation (by voters) is in P, and we find settings in which bribing weighted voters is NP-complete but bribing voters with individual bribe thresholds is in P. For the broad class of elections (including plurality, Borda, k-approval, and veto) known as scoring protocols, we prove a dichotomy result for bribery of weighted voters: We find a simple-to-evaluate condition that classifies every case as either NP-complete or in P.

研究の動機と目的

• 選挙制御や操作とは異なる形の選挙操作である、投票者バイアージを通じた選挙結果の影響の計算複雑性を分析すること。
• バイアージが計算的に tractable（Pに属する）か intractable（NP完全）かである条件を、さまざまな投票制度において特定すること。
• スコアリングプロトコルにおける重み付き投票者バイアージに対して、tractable と intractable なケースを分ける明確な条件を同定する二分法の結果を確立すること。
• バイアージの複雑性と操作や制御の複雑性を比較し、バイアージがNP完全だが操作はPに属する、あるいは逆にバイアージがPに属するが操作はNP完全であるようなケースを明らかにすること。
• 投票者の重み、バイアージ料金、候補者集合のサイズといった構造的パラメータが、バイアージ問題の複雑性に与える影響を調査すること。

提案手法

• バイアージ問題を決定問題として形式化する：与えられた選挙インスタンス、好ましい候補者、バイアージの予算、バイアージ対象となる投票者の数の上限が与えられたとき、好ましい候補者が勝者にできるかどうかを判定する。
• 特にKemeny選挙において、バイアージのシナリオを整数線形計画法（ILP）でモデル化する。変数は、ある順位順序から別の順位順序にバイアージされた投票者の数を表す。
• 候補者集合のサイズが一定（つまり固定）である場合、Lenstraのアルゴリズムを用いて各ILPインスタンスを多項式時間で解けることを応用する。
• 好ましい候補者が1位に来る可能性のあるすべての最終順位について、別個のILPを構築し、その順位がバイアージされた投票者の好みと整合性を最大化するように保証する。
• 最終的な結果がKemeny整合性のある順位であることを保証するために、すべての可能な最終順位の論理和（ブール変数を用いて）を符号化する。
• Kemeny選挙において、候補者の数が固定されている場合、順位の探索空間が有界であるため、バイアージが多項式時間で解けることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの投票制度においてバイアージ問題が計算的に tractable（Pに属する）であり、どの投票制度においてNP完全であるか。
• RQ2 バイアージの複雑性は、投票者の重み、バイアージ料金、候補者集合のサイズにどのように依存するか。
• RQ3 スコアリングプロトコルにおける重み付き投票者バイアージに対して、二分法の定理を確立できるか。各ケースがPかNP完全かを分類できるか。
• RQ4 バイアージがNP完全だが操作はPに属する、あるいは逆にバイアージがPに属するが操作はNP完全であるような状況は存在するか。
• RQ5 選挙制度のどの構造的特徴（例えば、指数的に大きな空間の上での量化）が、バイアージの計算的困難さを生じさせるか。

主な発見

• 候補者の数が固定されたKemeny選挙では、定数個の整数線形計画法（ILP）を用いてバイアージが多項式時間で解ける。各ILPインスタンスはLenstraのアルゴリズムにより効率的に解ける。
• 本論文は、スコアリングプロトコルにおける重み付き投票者バイアージに対して二分法を確立した。問題がPに属するかNP完全かを決定する単純で効率的に計算可能な条件が存在する。
• バイアージがNP完全だが操作はPに属するような状況が存在し、バイアージと操作の複雑性が常に一致するわけではないことを示している。
• 一方で、重み付き投票者をバイアージする場合NP完全だが、個々のバイアージ閾値を持つ投票者をバイアージする場合Pに属するような状況もあり、複雑性が入力構造に極めて敏感であることを示している。
• バイアージの複雑性は、投票者の重み、バイアージ料金、候補者集合のサイズといったパラメータに強く依存しており、小さな重みや料金があれば、多項式時間で解けるようになる。
• NP完全性が常に実用的な困難さを意味するわけではない。小さな重みや料金があれば、そうでなければNP完全である問題でも tractable になることを示している。