[論文レビュー] Schulze and ranked-pairs voting are fixed-parameter tractable to bribe, manipulate, and control

Lane A. Hemaspaandra, Rahman Lavaee+1 more|arXiv (Cornell University)|May 6, 2013

Internet Traffic Analysis and Secure E-voting参考文献 34被引用数 18

ひとこと要約

この論文は、バイブリ、コントロール、操作の問題に関して、シュルツ方式およびランクペアス方式の投票システムが、候補者の数をパラメータとして固定パラメータ可 tractable (FPT) であることを示している。これらのシステムの構造的性質を活用することで、著者らは、候補者の数にのみ依存する一様な多項式時間アルゴリズムを提示した。このアルゴリズムは、選挙者の数に依存せず、小規模な候補者集合に対しては効率的な解決策を提供する。

ABSTRACT

Schulze and ranked-pairs elections have received attention recently, with the former having quickly become a widely used election system. For many cases these systems have been proven resistant to bribery, control, and manipulation, with ranked pairs being particularly praised for being NP-hard for all three of those. Nonetheless, this work shows that with respect to the number of candidates, both Schulze and ranked-pairs elections are fixed-parameter tractable to bribe, control, and manipulate: we can obtain uniform, polynomial-time algorithms whose degree does not depend on the number of candidates.

研究の動機と目的

• シュルツ方式およびランクペアス方式の投票システムにおけるバイブリ、コントロール、操作のパラメータ化された複雑さを調査すること。
• これらのシステムは一般にはNP困難であるが、候補者の数をパラメータとして用いた場合に、実際に tractable になるかどうかを特定すること。
• バイブリ、コントロール、操作の3つのタイプの選挙的攻撃に対して、すべてに共通する一様な多項式時間アルゴリズムを、候補者の数にのみ依存する形で開発すること。

提案手法

• 著者らは、シュルツ方式およびランクペアス方式の選挙の構造的性質を分析し、固定パラメータ可 tractable (FPT) なアルゴリズムを同定する。
• パラメータ化された複雑さ理論を適用し、候補者の数をパラメータとして焦点を当て、効率的なアルゴリズムを導出する。
• 両方のシステムが推移的で、ペアワイズ比較と支配構造に依存しており、小規模な候補者集合では効率的に計算可能であるという事実を活用する。
• アルゴリズムは、バイブリ、コントロール、操作の3つの攻撃タイプすべてに共通して適用可能であり、同じコア計算フレームワークを用いるように設計されている。
• アルゴリズムの実行時間は選挙者の数に関して多項式的であるが、その次数は選挙者の数に依存せず、候補者の数にのみ依存するため、小規模な候補者集合に対してスケーラブルである。

実験結果

リサーチクエスチョン

• RQ1 候補者の数をパラメータとして用いた場合、シュルツ方式およびランクペアス方式の選挙におけるバイブリは、固定パラメータ可 tractable 時間で解けるか？
• RQ2 候補者の数をパラメータとして用いた場合、シュルツ方式およびランクペアス方式の選挙におけるコントロールは、固定パラメータ可 tractable か？
• RQ3 候補者の数が少ない場合、これらのシステムの操作も効率的に解けるか？
• RQ4 これらのシステムにおいて、バイブリ、コントロール、操作の3つすべてに共通して適用可能な同一のアルゴリズム的手法が存在するか？

主な発見

• シュルツ方式およびランクペアス方式の選挙は、候補者の数をパラメータとして用いた場合、バイブリ、コントロール、操作に関して固定パラメータ可 tractable である。
• 提案されたアルゴリズムは、選挙者の数に関して多項式時間で実行されるが、その次数は選挙者の数に依存せず、候補者の数にのみ依存する。
• 実行時間は、バイブリ、コントロール、操作の3つの攻撃タイプすべてにわたって一様であり、同じ基本的な計算フレームワークを用いている。
• 一般にはNP困難であるが、候補者の数が少ない場合には効率的な解決策が存在するため、多くの現実世界のシナリオにおいて実用的に tractable である。