[論文レビュー] X THEN X: Manipulation of Same-System Runoff Elections

Zack Fitzsimmons, Edith Hemaspaandra+1 more|arXiv (Cornell University)|Jan 25, 2013

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

ひとこと要約

この論文は、同じ投票ルールを2回のラウンドで使用するリコール選挙の計算複雑性を調査し、標準的なリコールとリボートを伴うリコールを比較する。自然な選挙制度において、リコールが操作の複雑性を高めることが示された——ベースの制度が操作しやすい場合でも同様である。これは、同じ制度のリコールが操作の難易度を高めることを示す最初の証明であり、重み付きおよび重みなしの設定において例を提示する。

ABSTRACT

Do runoff elections, using the same voting rule as the initial election but just on the winning candidates, increase or decrease the complexity of manipulation? Does allowing revoting in the runoff increase or decrease the complexity relative to just having a runoff without revoting? For both weighted and unweighted voting, we show that even for election systems with simple winner problems the complexity of manipulation, manipulation with runoffs, and manipulation with revoting runoffs are independent, in the abstract. On the other hand, for some important, well-known election systems we determine what holds for each of these cases. For no such systems do we find runoffs lowering complexity, and for some we find that runoffs raise complexity. Ours is the first paper to show that for natural, unweighted election systems, runoffs can increase the manipulation complexity.

研究の動機と目的

• 同じ投票ルールを2回のラウンドに使用する場合、リコール選挙の操作の複雑性が元の選挙制度とどのように異なるかを分析すること。
• リコールでリボートを許可することで、標準的なリコールと比較して操作の複雑性が増加するか減少するかを特定すること。
• 操作の勝者問題が多項式時間で解ける自然で現実世界の選挙制度において、リコールが操作の複雑性を高めるかどうかを調査すること。
• ベースの制度がPに属する場合でも、リコールまたはリボート付きリコールで操作がNP完全になる条件を特定すること。
• 代表的な投票制度について、3つの状況（ベース制度、リコール、リボート付きリコール）における操作の複雑性を包括的に分類すること。

提案手法

• 分割問題（NP完全）からの還元を用いて、リコールによって操作の複雑性が変化するような選挙を構築する。
• McGarveyの構成を用いて、望ましい対比較マージンを持つ重み付き多数派グラフを生成し、リコールの結果を制御可能にする。
• 重み付きおよび重みなしの選挙制度を設計し、3つの状況（ベース、リコール、リボート付きリコール）で操作の複雑性がPとNP完全の間で変化するようにする。
• プライラリティ、ヴィート、ハーフアプローブ、Llullなどの特定の制度を分析し、リコール下での複雑性の変化を示す。
• 分割可能性に依存するサイクル構造を強制する多数派グラフを構築することで、Llull選挙におけるリコールおよびリボート付きリコールの操作がNP完全であることを証明する。
• リボートにより複雑性が低下する場合（例：NP完全からPに）と比較することで、3つの複雑性クラスの独立性を示す。

実験結果

リサーチクエスチョン

• RQ1 ベースの制度が操作しやすい場合でも、同じ制度のリコールが選挙の操作の計算複雑性を高めることができるか？
• RQ2 リコールでリボートを許可することで、操作の複雑性は常に増加するか減少するか？また、標準的なリコールと比較するとどうなるか？
• RQ3 操作の勝者問題がPに属する自然で現実世界の選挙制度において、リコールを用いた操作がNP完全になる例はあるか？
• RQ4 リコールの操作複雑性とリボート付きリコールの操作複雑性の間に普遍的な関係があるか？それともそれらは独立していることがあるか？
• RQ5 リコールでは操作がNP完全になるが、リボートを許可することでPに低下するような選挙制度を構築できるか？

主な発見

• 重みなしのハーフアプローブでは、リコールおよびリボート付きリコールの両方において、操作は1人の操作者であってもNP完全のままである。
• 重み付きヴィート選挙では、操作はPに属するが、リコールまたはリボート付きリコールが導入されるとNP完全に変わる。
• 4候補の重み付きLlull選挙では、リコールおよびリボート付きリコールの両方で操作がNP完全であるが、ベース制度はPに属する。
• 操作のベース制度がNP完全であるが、リコールではPに属するような制度が存在し、リコールが複雑性を低下させることを示している。
• リコールでは操作がNP完全だが、リボート付きリコールではPに属するような制度を構築した。これにより、リボートが複雑性を低下させることを証明した。
• ベース制度、リコール、リボート付きリコールの操作複雑性の間には普遍的な関係がない——それぞれが独立してPまたはNP完全になり得る。