[論文レビュー] Detecting Possible Manipulators in Elections

Palash Dey, Neeldhara Misra+1 more|arXiv (Cornell University)|May 4, 2015

Game Theory and Voting Systems参考文献 38被引用数 11

ひとこと要約

本稿は、Coalitional Possible Manipulators (CPM) やその変種のような問題を定式化・解法することで、選挙における潜在的な操作者を検出するための計算フレームワークを導入する。代表的な投票ルールにおいて多項式時間アルゴリズムを提示し、操作が計算的に困難な場合でも検出が容易であることが示されている。Bordaルールの事例により、その可能性が裏付けられている。

ABSTRACT

Manipulation is a problem of fundamental importance in the context of voting in which the voters exercise their votes strategically instead of voting honestly to prevent selection of an alternative that is less preferred. The Gibbard-Satterthwaite theorem shows that there is no strategy-proof voting rule that simultaneously satisfies certain combinations of desirable properties. Researchers have attempted to get around the impossibility results in several ways such as domain restriction and computational hardness of manipulation. However these approaches have been shown to have limitations. Since prevention of manipulation seems to be elusive, an interesting research direction therefore is detection of manipulation. Motivated by this, we initiate the study of detection of possible manipulators in an election.We formulate two pertinent computational problems - Coalitional Possible Manipulators (CPM) and Coalitional Possible Manipulators given Winner (CPMW), where a suspect group of voters is provided as input to compute whether they can be a potential coalition of possible manipulators. In the absence of any suspect group, we formulate two more computational problems namely Coalitional Possible Manipulators Search (CPMS), and Coalitional Possible Manipulators Search given Winner (CPMSW). We provide polynomial time algorithms for these problems, for several popular voting rules. For a few other voting rules, we show that these problems are in NP-complete. We observe that detecting manipulation maybe easy even when manipulation is hard, as seen for example, in the case of the Borda voting rule.

研究の動機と目的

• 戦略的操作が投票システムに与える影響を検討し、投票者が誠実でない行動を取って結果を操作するのを防ぐ。
• 事前に特定されたグループが存在しない場合でも、疑わしい投票者グループを潜在的な操作者として同定するための計算問題を形式化する。
• さまざまな投票ルール下での操作検出の計算複雑性を特定する。特に、操作が困難である一方で検出は容易であるようなケースを対比的に分析する。
• 広く使われている投票ルールにおいて、検出を効率的に行うためのアルゴリズムを提供し、選挙の整合性監視に実用的なツールを提供する。

提案手法

• Coalitional Possible Manipulators (CPM) 問題を定式化：与えられた投票者集合が、選挙結果を操作するための連携を形成できるかを判定する。
• CPMW を導入し、操作が特定の勝者をもたらす必要があるという制約を追加することで、実用的意義を高める。
• CPMS および CPMSW を定義し、事前にグループが与えられていない状況で疑わしいグループを探索する問題として扱う。
• 承認投票、多数決投票、ボイコット投票ルールの下で、CPM 及び関連問題に対する多項式時間アルゴリズムを開発する。
• STV や maximin ルールのような一部のルールでは、CPM 問題が NP完全であることを証明し、一部の設定では計算的に困難であることを示す。
• 操作（通常は困難）と検出（ときには容易）の間の複雑性ギャップを分析し、Borda ルールを例に挙げる。

実験結果

リサーチクエスチョン

• RQ1 与えられた投票者グループが、一般的な投票ルールのもとで選挙結果を操作できた可能性を、効率的に検出できるか？
• RQ2 事前にグループが特定されていない状況で、選挙を操作した可能性のある疑わしい投票者連携を探索することは、計算的に可能か？
• RQ3 操作の計算的困難さが、検出の困難さに対応して生じるのか？
• RQ4 どの投票ルールにおいて、潜在的操作者の検出が多項式時間で解けるか？

主な発見

• 承認投票、多数決投票、ボイコット投票ルールの下では、潜在的操作者の検出に多項式時間アルゴリズムが存在する。
• Borda 投票ルールは、操作が計算的に困難である一方で、潜在的操作者の検出が依然として容易であるという事例を示している。
• STV や maximin ルールのような一部の投票ルールでは、検出問題が NP完全であることが判明し、本質的な計算的困難性が存在することが示された。
• CPMW の定式化により、操作が特定の勝者をもたらす必要があるという制約のもとでの検出が可能となり、現実世界への応用性が向上した。
• 本研究は、操作自体が計算的に困難であっても、検出が計算的に容易である可能性があるという重要な洞察を明らかにした。これは、両者の問題の関係についての従来の仮定に疑問を呈するものである。