[論文レビュー] Dominating Manipulations in Voting with Partial Information

Vincent Conitzer, Toby Walsh+1 more|arXiv (Cornell University)|Jun 27, 2011

Game Theory and Voting Systems参考文献 18被引用数 39

ひとこと要約

この論文は、他の投票者の好みについて部分的な情報しか持たない場合の戦略的投票を調査し、'支配的操作'という概念を導入している。支配的操作とは、部分的な情報と整合するすべての可能なプロファイルにおいて、真実を告げる投票よりも常に少なくともそれ以上良い、あるいは真に優れている非真実投票である。主な貢献は、多くの一般的な投票ルールにおいて、部分順序として表現される部分的な情報（未知のペアワイズ比較が少ない場合）において、このような操作を計算することがNP困難であることを示したことである。これは、情報が限られている状況でも、計算の複雑さが操作を妨げる障壁となり得ることを示唆している。

ABSTRACT

We consider manipulation problems when the manipulator only has partial information about the votes of the nonmanipulators. Such partial information is described by an information set, which is the set of profiles of the nonmanipulators that are indistinguishable to the manipulator. Given such an information set, a dominating manipulation is a non-truthful vote that the manipulator can cast which makes the winner at least as preferable (and sometimes more preferable) as the winner when the manipulator votes truthfully. When the manipulator has full information, computing whether or not there exists a dominating manipulation is in P for many common voting rules (by known results). We show that when the manipulator has no information, there is no dominating manipulation for many common voting rules. When the manipulator's information is represented by partial orders and only a small portion of the preferences are unknown, computing a dominating manipulation is NP-hard for many common voting rules. Our results thus throw light on whether we can prevent strategic behavior by limiting information about the votes of other voters.

研究の動機と目的

• 他の投票者の好みに関する情報を制限することで、戦略的投票を防げるかどうかを分析すること。
• 支配的操作という概念を定義・形式化すること——部分情報下で真実を告げる投票よりも常に優れている投票。
• 支配的操作の計算が計算的に容易（脆弱）か困難（抵抗）かに基づいて、投票ルールを分類すること。
• 部分情報の形式（例：部分順序、現在の優勝候補のみ）が、支配的操作の可能性にどのように影響するかを検討すること。

提案手法

• 操作者の部分的知識は、操作者が区別できない非操作者たちのすべての可能なプロファイルの集合 E としてモデル化される。
• E に属するすべてのプロファイルにおいて、U が V と同じかそれ以上に良く、かつ少なくとも1つのプロファイルで真に優れている場合、投票 U は投票 V を支配する。
• 与えられた投票 U が真実投票よりも勝者を改善できるかどうかを確認するために、支配的操作問題を最大フロー問題に還元する。
• プラリティおよび vetoes に対しては、最大フローを用いて、投票が真実投票を支配するかどうかをテストする多項式時間アルゴリズムを設計した。
• Borda や Copeland、ランク付きペア、STV などのルールに対しては、既知の NP 困難問題への還元を用いて NP 困難性を証明した。
• 分析は、部分順序を部分情報の表現として焦点とし、未知のペアワイズ比較が定数個しか存在しない場合でも、困難性の結果が成り立つことを示した。

実験結果

リサーチクエスチョン

• RQ1 他の投票者の好みについて部分的にしか情報が得られない状況で、操作者が戦略的に投票する動機が生じる条件は何か？
• RQ2 部分順序として部分的な情報が与えられた場合、代表的な投票ルールのうち、支配的操作を計算することが計算的に容易（Pに属する）か困難（NP困難）かは何か？
• RQ3 部分情報の構造（例：現在の優勝候補 vs. 部分順序）は、支配的操作に対する投票ルールの脆弱性にどのように影響するか？
• RQ4 可能な優勝候補問題と必須優勝候補問題は、部分情報下での支配的操作の分析に活用できるか？
• RQ5 部分情報が利用可能であっても、支配的操作に対して免疫である投票ルールは存在するか？

主な発見

• 操作者が情報を持たない場合、プラリティ、ヴィート、ボーダ、コペランド、マキシミン、投票ツリーといった多くの一般的な投票ルールは、支配的操作に対して免疫である。
• プラリティおよびヴィートでは、支配的操作の計算がPに属するため、部分情報下では操作が容易である（脆弱である）。
• ボーダ、コペランド、マキシミン、STV、ランク付きペア、投票ツリーでは、支配的操作の計算がNP困難であるため、部分情報下では操作が困難である（抵抗する）。
• NP 困難性の結果は、部分順序において未知のペアワイズ比較が定数個しか存在しない場合でも成り立つ。
• 支配的操作と最大フロー問題との間の関係を確立し、プラリティおよびヴィートに対して効率的なアルゴリズムを可能にした。
• フレームワークは、より多くの情報を公開（例：現在の得点）することで、もともとは免疫であったルールが操作に対して脆弱になる可能性があることを明らかにした。