[論文レビュー] An Empirical Study of the Manipulability of Single Transferable Voting

Toby Walsh|arXiv (Cornell University)|May 28, 2010

Game Theory and Voting Systems参考文献 28被引用数 35

ひとこと要約

この論文は、単一移動投票（STV）における操作の計算的複雑性が、操作を妨げる障壁として機能するか、経験的に調査している。STVは操作がNP困難であることが証明されているが、均一、相関、実世界のデータを含む多様な票分布を用いた調査では、単一のエージェントによる操作は、ほとんど常に計算的に容易に計算可能、または不可能であることを証明できることが判明した。これは、NP困難性が実際の操作を効果的に防げないことを示唆している。

ABSTRACT

Voting is a simple mechanism to combine together the preferences of multiple agents. Agents may try to manipulate the result of voting by mis-reporting their preferences. One barrier that might exist to such manipulation is computational complexity. In particular, it has been shown that it is NP-hard to compute how to manipulate a number of different voting rules. However, NP-hardness only bounds the worst-case complexity. Recent theoretical results suggest that manipulation may often be easy in practice. In this paper, we study empirically the manipulability of single transferable voting (STV) to determine if computational complexity is really a barrier to manipulation. STV was one of the first voting rules shown to be NP-hard. It also appears one of the harder voting rules to manipulate. We sample a number of distributions of votes including uniform and real world elections. In almost every election in our experiments, it was easy to compute how a single agent could manipulate the election or to prove that manipulation by a single agent was impossible.

研究の動機と目的

• STVの操作がNP困難であるという複雑性が、実際の操作を実際に妨げる障壁として機能するかを評価すること。
• 均一、相関、実世界の選挙を含むさまざまな票分布における操作の計算的難易度を調査すること。
• 現実の選挙状況において、単一のエージェントや小規模なコалиションが操作を困難に保てるかを評価すること。
• 理論的予測（最悪ケースのNP困難性とは対照的に、平均的には操作が容易である可能性）と、経験的結果を比較すること。

提案手法

• 単一のエージェントがSTV選挙を操作して望みの候補者を当選させられるかどうかを計算するために、再帰的バックトラッキングアルゴリズムを用いる。
• 均一なランダム、アーンモデルによる相関、およびナサやUC Irvineの教員採用委員会から得た実世界のデータを含む複数の分布から票をサンプリングする。
• 各選挙について、単一の操作者によるすべての可能な投票戦略をテストし、成功する操作が存在するかを確認する。
• 候補者の数（最大128まで）とエージェント数を変化させ、操作の発見にかかる計算コストと成功確率を測定する。
• 観察されたスケーリング行動を理論的最悪ケースの境界（例：1.62^m の指数的増加）と比較する。
• コアリションによる操作についても評価し、貪欲ヒューリスティクスを用い、操作確率の遷移点を分析する。

実験結果

リサーチクエスチョン

• RQ1 STVの操作は、最悪ケースではNP困難であるが、実際には計算的に困難であるか？
• RQ2 均一、実世界、相関データを含むさまざまな票分布において、STVの操作の難易度はどのように変化するか？
• RQ3 単一のエージェントはSTV選挙を信頼性高く操作できるか？また、候補者の数が増えるにつれて必要な計算量はどのようにスケーリングされるか？
• RQ4 たとえわずか1人の無相関の投票者であっても、もともと困難だったケースで計算的 tractability を回復させるか？
• RQ5 理論的予測（平均的には操作が容易である可能性）と、実際の結果はどのように比較されるか？

主な発見

• ほぼすべてのシミュレートされた選挙において、単一のエージェントが結果を操作できるかどうかを計算的に容易に決定するか、操作が不可能であることを証明できた。
• 観察された計算コストは、理論的最悪ケースの境界（1.62^m）よりも著しく良好にスケーリングされ、最大128候補者でも効率的な計算が可能だった。
• 均一なランダム票とナサ、UC Irvineの実世界データの両方において、操作は計算的に容易であり、データセット間で類似したスケーリング特性を示した。
• 高い相関性を持つ「混迷状態」の選挙でも、1人の無相関エージェントが存在することで、計算的 tractability が回復され、操作が困難だった少数のケースが逆転した。
• 結果から、STVにおける計算的複雑性は、実際の操作を意味的に妨げる障壁にはならず、NP困難性が抵抗性を保証すると仮定する考えとは矛盾する。
• 理論的予測（平均的には操作が容易）が、特に現実的な票分布においてSTVに当てはまることを確認した。