[論文レビュー] Llull and Copeland Voting Computationally Resist Bribery and Control

Piotr Faliszewski, Edith Hemaspaandra+2 more|ArXiv.org|Sep 25, 2008

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

ひとこと要約

この論文は、パrameter α を持つコペランド投票（コペランドα）— すなわち、標準的なコペランド0.5システムおよび13世紀のルルのシステム（コペランド1）を含む — が、すべての標準的な形態の建設的コントロールおよびバイアラー攻撃に対して計算的に耐性を持つことを確立している。すべての有理数 α ∈ [0,1] に対して完全な耐性を示し、コペランドαは、勝者問題が多項式時間で解ける自然な投票システムにおいて、このレベルの計算的頑健性を達成した最初のシステムである。

ABSTRACT

The only systems previously known to be resistant to all the standard control types were highly artificial election systems created by hybridization. We study a parameterized version of Copeland voting, denoted by Copeland^α, where the parameter αis a rational number between 0 and 1 that specifies how ties are valued in the pairwise comparisons of candidates. We prove that Copeland^{0.5}, the system commonly referred to as "Copeland voting," provides full resistance to constructive control, and we prove the same for Copeland^α, for all rational α, 0 < α< 1. Copeland voting is the first natural election system proven to have full resistance to constructive control. We also prove that both Copeland^1 (Llull elections) and Copeland^0 are resistant to all standard types of constructive control other than one variant of addition of candidates. Moreover, we show that for each rational α, 0 \leq α\leq 1, Copeland^αvoting is fully resistant to bribery attacks, and we establish fixed-parameter tractability of bounded-case control for Copeland^α. We also study Copeland^αelections under more flexible models such as microbribery and extended control and we integrate the potential irrationality of voter preferences into many of our results.

研究の動機と目的

• コペランドα投票がさまざまな形態の選挙コントロールおよびバイアラー攻撃に対して計算的に耐性を持つかどうかを特定すること。
• 人工的システムに関する先行研究を、勝者決定が効率的な自然で現実世界の投票システムへと拡張すること。
• 有権者の非合理性および柔軟なモデル（例：マイクロバイアラー、拡張コントロール）が耐性特性に与える影響を分析すること。
• すべての標準的コントロールタイプおよびバイアラーの変種について、耐性／脆弱性を包括的に分類すること。
• コペランドαにおけるボトムアップコントロールの固定パラメータで扱える性質を確立すること。

提案手法

• NP困難問題（例：X3C、3SAT）への還元を用いて、コペランドαにおけるコントロールおよびバイアラー問題のNP困難性を証明する。
• 非合理的な有権者好みの下でマイクロバイアラーに対する脆弱性を証明するため、最小コストネットワークフロー技術を用いる。
• 候補者および有権者の集合を意図的に調整した選挙インスタンスの構築により、コントロールシナリオ（例：候補者または有権者の追加・削除）を模倣する。
• バートホルト、トーヴェイ、トランクのコントロールモデルを、引き分けを促進／排除するルールに適応させ、モデルの一貫性を保証する。
• 元のNP困難問題を解くのと同程度に、コントロール／バイアラーを解くのが難しいことを示す還元により、耐性を証明する。
• 一意の勝者と非一意の勝者モデルの両方を分析し、選挙結果の定義にかかわらず、結果の頑健性を保証する。

実験結果

リサーチクエスチョン

• RQ1 α ∈ [0,1] のどの値に対して、コペランドαは候補者または有権者の追加・削除による建設的コントロールに対して耐性を持つのか？
• RQ2 コペランドαはバイアラー攻撃に対して耐性を持つのか？ また、この耐性は α に応じてどのように変化するのか？
• RQ3 マイクロバイアラーは、有権者の好みが非合理的な場合でも、コペランドαで効率的に解けるのか？
• RQ4 コペランドαにおけるボトムアップコントロールの固定パラメータで扱える性質は、どのように位置づけられるのか？
• RQ5 ルルのシステム（コペランド1）は、コペランドαと比較して、コントロールおよびバイアラーに対する耐性の観点でどのように異なるのか？

主な発見

• すべての有理数 α ∈ [0,1] に対して、コペランドαは、すべての標準的な建設的コントロールタイプに対して完全に耐性を持つ。コペランド0.5およびコペランド1を含む。
• コペランド0.5（標準的なコペランド投票）は、建設的コントロールに対して完全に耐性を持つ最初の自然な投票システムであり、勝者問題が多項式時間で解けるものである。
• コペランド1（ルルのシステム）は、候補者の追加の1つの変種を除き、すべての標準的な建設的コントロールタイプに対して耐性を持つ。
• すべての有理数 α ∈ [0,1] に対して、コペランドαはバイアラー攻撃に対して完全に耐性を持つ。これは、強い計算的頑健性を示している。
• マイクロバイアラーはコペランドαにおいて脆弱であるが、これは新規の最小コストネットワークフロー技術を用いて証明されており、複雑さの境界を明確にしている。
• コペランドαにおけるボトムアップコントロールは固定パラメータで扱える性質を持つ。これは、パラメータ値が小さい場合にのみコントロールが可能であることを示している。