[論文レビュー] Election Attacks with Few Candidates

Yongjie Yang|arXiv (Cornell University)|May 26, 2014

Game Theory and Voting Systems参考文献 23被引用数 8

ひとこと要約

この論文は、XiaとConitzerが定義した一般化スコアリングルール（GSR）の構造的性質を活用することで、多数の一般化スコアリングルール（例えば、プラールリティ、ボーダ、コペルダン、マキシミン、バックリン、STVなど）において、候補者の数をパラメータとして、操作、制御（22種類の標準タイプすべて）、および賄賂問題が固定パrameter tractable（FPT）であることを確立している。このアプローチにより、FPT時間制約内で重要なスコアベクトルを効率的に列挙できる。

ABSTRACT

We investigate the parameterized complexity of strategic behaviors in generalized scoring rules. In particular, we prove that the manipulation, control (all the 22 standard types), and bribery problems are fixed-parameter tractable for most of the generalized scoring rules, with respect to the number of candidates. Our results imply that all these strategic voting problems are fixed-parameter tractable for most of the common voting rules, such as Plurality, r-Approval, Borda, Copeland, Maximin, Bucklin, etc., with respect to the number of candidates.

研究の動機と目的

• 候補者の数をパrameterとして、一般化スコアリングルールにおける戦略的投票行動のパrameterized複雑性を調査すること。
• 候補者の数をパrameterとしてパrameterizedした場合に、操作、制御、賄賂問題が計算的に tractable であるかどうかを特定すること。
• 位置スコアリングルールやマルチラウンドリコールシステムを含む、広範な一般的な投票ルールクラスへのFPT結果の拡張。
• 一般化スコアリングルールの構造的性質を活用することで、多様な投票システムに適用可能な一般化されたフレームワークを提供すること。

提案手法

• XiaとConitzerが定義した一般化スコアリングルール（GSR）の枠組みを用い、多くの一般的な投票システムを一般化する。
• GSRのスコア関数fと意思決定関数gがFPTで計算可能である場合、戦略的問題はf(k)·n^O(1)時間で解けることを示す。ここでkは候補者の数である。
• GSRにおける意思決定関数gの整合性を活用し、FPT時間内ですべての有効な総スコアベクトルを列挙する。
• NansonのルールやBaldwinのルールなどのマルチラウンドリコールルールに対しては、各ラウンドが有界順序の一般化スコアリングルールであることを示し、FPT性が保持されることを示す。
• 線形計画法や不等式に基づく投票システムに関する既知の結果を活用し、関連問題のFPT tractability を支援する。
• 各ラウンドがFPTで計算可能なfとgを持つGSRである場合、全ルールに対してもFPTアルゴリズムが適用可能であることを構成的証明により示す。

実験結果

リサーチクエスチョン

• RQ1 一般化スコアリングルールにおいて、操作、制御、賄賂問題は候補者の数をパrameterとしてFPTであるか？
• RQ2 NansonのルールやBaldwinのルールのようなマルチラウンドリコールシステムに対しても、戦略的投票問題のFPT tractability を拡張できるか？
• RQ3 一般化スコアリングルールが、望ましい結果構成の効率的列挙を可能にする構造的性質は何か？
• RQ4 一般化スコアリングルールにおける関数f（スコア関数）とg（意思決定関数）は、戦略的行動のパrameterized複雑性にどのように影響を与えるか？
• RQ5 一般化スコアリングルールフレームワークは、多様な投票システムにわたるFPT結果をどの程度統一的に可能にするか？

主な発見

• ほとんどの一般化スコアリングルールにおいて、操作、制御（22種類の標準タイプすべて）、および賄賂問題は、候補者の数をパrameterとしてFPTである。
• プラールリティ、r-アプローブル、ボーダ、コペルダンα、マキシミン、バックリン、ランクドペアーズ、シュルツ、STVといったすべての一般的な投票ルールが、このFPT結果に含まれる。
• NansonのルールやBaldwinのルールのようなマルチラウンドリコールルールも、各削除ラウンドがFPTで計算可能な関数を備えた一般化スコアリングルールであるため、FPTであることが示された。
• 主な技術的洞察は、一般化スコアリングルールにおける意思決定関数gが、FPT時間内ですべての可能な総スコアベクトルを効率的に列挙可能にすることにある。
• このフレームワークは、シュルツやランクドペアーズ投票システムに関する先行研究を一般化し、22種類のすべての制御タイプに加え、賄賂と操作を含む拡張を可能にした。
• 位置スコアリングルールやハイパープランルールなど、異なる投票ルールクラスにわたり、一般化スコアリングルールとハイパープランルールの同値性のおかげで、結果が強固に保たれている。