[論文レビュー] Hybrid Elections Broaden Complexity-Theoretic Resistance to Control

Edith Hemaspaandra, Lane A. Hemaspaandra+1 more|ArXiv.org|Aug 14, 2006

Game Theory and Voting Systems参考文献 21被引用数 20

ひとこと要約

本稿では、複数の候補者匿名投票ルールを組み合わせることで、20種類の標準的な建設的・破壊的コントロール全般に対する耐性を統合的に継承する、ハイブリッド選挙制度を導入する。主な貢献は、複雑性理論的困難性を根拠として、すべての20種類のコントロールタイプに対して耐性を持つ選挙制度の存在を示したことである。

ABSTRACT

Electoral control refers to attempts by an election's organizer ("the chair") to influence the outcome by adding/deleting/partitioning voters or candidates. The groundbreaking work of Bartholdi, Tovey, and Trick [BTT92] on (constructive) control proposes computational complexity as a means of resisting control attempts: Look for election systems where the chair's task in seeking control is itself computationally infeasible. We introduce and study a method of combining two or more candidate-anonymous election schemes in such a way that the combined scheme possesses all the resistances to control (i.e., all the NP-hardnesses of control) possessed by any of its constituents: It combines their strengths. From this and new resistance constructions, we prove for the first time that there exists an election scheme that is resistant to all twenty standard types of electoral control.

研究の動機と目的

• 既存の投票制度が戦略的操作（例：有権者または候補者の追加・削除）に対して脆弱であるという問題に対処すること。
• 複数の選挙制度を組み合わせることで、それらのコンポーネントが有する最も強固な耐性特性を継承する方法を開発すること。
• 建設的・破壊的コントロールの20種類の標準的タイプすべてに対して耐性を持つ単一の選挙制度の存在を証明すること。
• さまざまなコントロールモデル（例：分割、削除、リコール）におけるハイブリッド選挙の挙動を形式化し分析すること。

提案手法

• 候補者匿名選挙制度 $\mathcal{E}_0$ と $\mathcal{E}_1$ を組み合わせるハイブリッド選挙制度 $\text{hybrid}(\mathcal{E}_0, \mathcal{E}_1)$ を提案し、ランダム選択メカニズムを用いる。
• 確率的投票ルールを採用し、入力に対して構成要素のうち1つを一様にランダムに選んで適用することで、結果を決定する。
• 複雑性理論的還元を用いて、構成要素のいずれかが特定のタイプのコントロールに対して耐性を持つならば、ハイブリッド制度もその耐性を継承することを証明する。
• NP困難性の還元を適用し、建設的・破壊的コントロール（有権者または候補者の追加・削除、および有権者または候補者の分割（TEおよびTPモデル））における耐性を示す。
• P ≠ NP ならば、コントロールに対する耐性は脆弱性の非存在を意味することを活用し、強力な継承結果を得る。
• 問題の互いに素な和集合に基づく証明技法を用い、新しい組み合わせ的構成を介して選挙制度へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 構成要素の選挙制度が耐性を持つコントロールタイプを継承できるようなハイブリッド選挙制度を構築できるか？
• RQ2 建設的・破壊的コントロールの20種類の標準的タイプすべてに対して耐性を持つ選挙制度が存在するか？
• RQ3 ハイブリッド制度が耐性を継承するが脆弱性を継承しない条件は何か？
• RQ4 分割やリコール分割を含むさまざまなコントロールモデル下でのハイブリッド制度の挙動はいかなるものか？
• RQ5 ハイブリッド制度が脆弱性を継承しない条件は何か？これはP対NP問題に何を示唆するか？

主な発見

• ハイブリッド選挙制度 $\text{hybrid}(\mathcal{E}_0, \mathcal{E}_1)$ は、構成要素の少なくとも一方が耐性を持つすべてのコントロールタイプに対して耐性を継承する。
• 建設的・破壊的コントロールの20種類の標準的タイプすべてに対して耐性を持つ選挙制度が存在する。これは計算的社会選択分野における未解決問題を解決する。
• ハイブリッド制度は、候補者の削除による破壊的コントロール、候補者の分割（TEおよびTPモデル）、およびリコール分割（TEおよびTPモデル）における破壊的コントロールに対して、強く耐性を継承する。
• P ≠ NP ならば、ハイブリッド制度は候補者の分割またはリコール分割による破壊的コントロールに対して脆弱性を継承せず、耐性が保持されることを示す。
• すべての分割およびリコール分割を含むコントロールタイプに関して、ハイブリッド制度が脆弱性を継承することと P = NP が同値であることが確立された。
• 具体的な例として、脆弱なシステムと免疫を持つシステムを組み合わせたハイブリッドシステムが耐性を持つことが示され、本手法の有効性が実証された。