[論文レビュー] Universal Voting Protocol Tweaks to Make Manipulation Hard

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|Jul 7, 2003

Game Theory and Voting Systems参考文献 10被引用数 112

ひとこと要約

本稿では、投票プロトコルに一括削除の事前ラウンドを追加する普遍的なプロトコルの微調整を提案する。この微調整により、Plurality、Borda、Maximin、STVといった一般的な投票方式が、事前ラウンドのスケジュールを票収集と入れ替えながら実施する場合、操作がPSPACE困難になる。この微調整は、プロトコルの基本的性質を保ちつつ、操作の計算複雑性を著しく高め、合理的なエージェントが戦略的に利用するのを不可能にする。

ABSTRACT

Voting is a general method for preference aggregation in multiagent settings, but seminal results have shown that all (nondictatorial) voting protocols are<br>manipulable. One could try to avoid manipulation by using voting protocols where determining a beneficial manipulation is hard computationally. A number of recent papers study the complexity of manipulating existing protocols. This paper is the first work to take the next step of designing<br>new protocols that are especially hard to manipulate. Rather than designing these new protocols from scratch, we instead show how to tweak existing protocols to make manipulation hard, while leaving much of the original nature of the protocol intact. The tweak studied consists of adding one<br>elimination preround to the election. Surprisingly, this extremely simple and universal tweak makes typical protocols hard to manipulate! The protocols become NP-hard, #P-hard, or PSPACE-hard to manipulate, depending on whether the schedule of the preround is determined before the votes<br>are collected, after the votes are collected, or the scheduling and the vote collecting are interleaved, respectively. We prove general sufficient conditions on the protocols for this tweak to introduce the hardness, and show that the most common voting protocols satisfy those conditions. These are the first results in voting settings where manipulation is in a higher complexity class than NP (presuming PSPACE =6 NP).

研究の動機と目的

• 本稿の目的は、独裁的でない投票プロトコルの本質的取り扱い可能性を是正し、有益な操作が計算的に不可能であるようにすることである。
• 既存のプロトコルにおける操作の複雑性を分析する既存の研究の限界を乗り越え、操作に対する耐性が向上した新しいプロトコルを設計することである。
• 本稿の目的は、根本的に再設計することなく、広く使われている投票プロトコルを戦略的操作から守る実用的で後方互換性のある方法を創出することである。
• 本稿は、単一の普遍的な微調整（事前ラウンドの追加）が、特定のスケジューリング条件下で操作の複雑性をNPを超えてPSPACE困難にまで引き上げられることを示すことを目指している。

提案手法

• 本稿の中心的な手法は、候補者をペアで対戦させ、勝者だけが元のプロトコルに進む一括削除の事前ラウンドを追加することである。
• 事前ラウンドのスケジュールは3つのケースに分けられる：票収集の前（事前収集）、票収集の後（事後収集）、または票収集と入れ替えながら実施する（入れ替え）。
• 入れ替えケースでは、投票者の好みの収集とマッチアップのスケジューリングを交互に繰り返すことで、戦略的推論が不可能になるようにする。
• この手法はSTOCHASTIC-SAT問題からの還元に依存しており、操作の結果を操作することはPSPACE完全問題を解くことに相当することを示している。
• プロトコルは、操作者がSATインスタンスの変数に真偽値を割り当てるように設計されており、すべての節を満たすことで成功する。
• 事前ラウンドがPSPACE困難性を引き起こす一般条件を証明し、これらがPlurality、Borda、Maximin、STVにおいて成り立つことを示している。

実験結果

リサーチクエスチョン

• RQ1 既存の投票プロトコルに単純で普遍的な微調整を施すことで、操作が計算的に不可能になるが、元のプロトコルの動作を保ち続けることができるか？
• RQ2 候補者がペア戦で削除される単一の事前ラウンドを追加することで、一般的な投票方式における操作の複雑性がNPを超えるか？
• RQ3 スケジューリング条件（事前収集、事後収集、または入れ替え）のどの条件下で、事前ラウンドが操作の複雑性をNP困難、#P困難、またはPSPACE困難にするか？
• RQ4 提案された微調整は、Plurality、Borda、Maximin、STVといった標準的な投票プロトコルに一般に適用可能か？ ただし、根本的な構造を変更せずに。
• RQ5 既知の困難問題（例：STOCHASTIC-SAT）から、微調整されたプロトコルにおける構成的操作への正式な還元が可能か？ これによりPSPACE困難性が証明されるか？

主な発見

• 候補者がペア戦で対戦する一括削除の事前ラウンドを追加すると、スケジュールが票収集と入れ替えられる場合、操作はPSPACE困難になる。
• Plurality、Borda、Maximin、STVの4つの一般的な投票プロトコルすべてにおいて、入れ替え型事前ラウンドプロトコル下での構成的操作問題はPSPACE完全である。
• このプロトコル微調整は、元の投票システムの基本的動作を保ちつつ、戦略的操作に対する顕著な障壁を設ける。
• 困難さの原因は、操作者が確率的SATソルバーをエミュレートする必要がある点にあり、入れ替えプロセス中の選択がCNF論理式の変数に真偽値を割り当てるに相当する。
• 還元により、成功する操作戦略は、STOCHASTIC-SATインスタンスにおける充足割り当てを見つけることに正確に対応することが示され、これは既知のPSPACE完全問題である。
• 結果は頑健である：等しい重みの投票者や、コалиション操作ではなく個別操作の状況でも成り立つため、より強く一般化された結論が得られる。