[論文レビュー] Bucklin Voting is Broadly Resistant to Control

Gábor Erdélyi, Lena Piras+1 more|arXiv (Cornell University)|May 22, 2010

Game Theory and Voting Systems参考文献 19被引用数 12

ひとこと要約

この論文は、Bucklin投票が広範な制御に対して耐性を示すことを示しており、標準的な制御タイプのほとんどを除き、操作がNP困難であることを証明している。Bucklin投票は22種類の制御タイプのうち18種類に対して耐性を示しており、多項式時間で勝者を決定できる自然な投票制度の中で最も高い耐性を達成しており、フォールバック投票に関する先行研究を強化し、Bucklinの本質的な耐性が直接的に適用可能であることを示している。

ABSTRACT

Electoral control models ways of changing the outcome of an election via such actions as adding/deleting/partitioning either candidates or voters. These actions modify an election's participation structure and aim at either making a favorite candidate win ("constructive control") or prevent a despised candidate from winning ("destructive control"), which yields a total of 22 standard control scenarios. To protect elections from such control attempts, computational complexity has been used to show that electoral control, though not impossible, is computationally prohibitive. Among natural voting systems with a polynomial-time winner problem, the two systems with the highest number of proven resistances to control types (namely 19 out of 22) are "sincere-strategy preference-based approval voting" (SP-AV, a modification of a system proposed by Brams and Sanver) and fallback voting. Both are hybrid systems; e.g., fallback voting combines approval with Bucklin voting. In this paper, we study the control complexity of Bucklin voting itself and show that it behaves equally well in terms of control resistance for the 20 cases investigated so far. As Bucklin voting is a special case of fallback voting, all resistances shown for Bucklin voting in this paper strengthen the corresponding resistance for fallback voting.

研究の動機と目的

• Bucklin投票の制御に対する耐性の程度を特定し、操作に対する選挙制度の強固さを測る重要な指標とする。
• Bucklin投票の制御耐性を、既に高い耐性が知られているフォールバック投票およびSP-AVと比較する。
• 制御の複雑さに関するギャップを埋め、特に選挙者による分割による建設的制御について、以前に未解決であったケースを証明する。
• Bucklin投票がフォールバック投票よりも単純で自然な制度であることを踏まえ、その耐性特性を継承・強化していることを確立する。

提案手法

• Exact Cover問題からの還元を用いて、TEおよびTPのタイブレーカー処理モデルにおける選挙者による分割による建設的制御のNP困難性を証明する。
• 正確なカバーが存在するかどうかが、好ましい候補が選挙者分割によって勝利できるかどうかに直結するような選挙インスタンスを構築する。
• レベルベースのBucklinカウントの使用：候補は、最初に過半数を得たレベルで勝利し、各レベルごとに得票数を追跡する。
• 背理法による証明：正確なカバーが存在しない場合、いかなる分割に対しても好ましい候補が勝利できないため、還元の正しさが保証される。
• Bucklinがフォールバック投票の特殊ケースであるという事実を活用し、フォールバック投票への耐性結果をBucklinから移転する。
• 分割モデルにおける部分選挙の形式的分析により、両モデル（TEおよびTP）における一意な勝者および正しいタイブレーカー処理動作を保証する。

実験結果

リサーチクエスチョン

• RQ1 Bucklin投票は、TEおよびTPの両方のタイブレーカー処理モデルにおいて、選挙者による分割による建設的制御に対して耐性を示すか？
• RQ2 Bucklin投票の制御耐性は、フォールバック投票およびSP-AVと比べてどの程度か？
• RQ3 フォールバック投票の制御耐性は、その構成要素であるBucklin投票の耐性を証明することで強化できるか？
• RQ4 Bucklin投票に対して脆弱な制御タイプは存在するか？もしあるならば、その数はいくつか？
• RQ5 Bucklin投票の過半数一貫性という性質は、非過半数一貫性を持つシステムと比較して、その耐性プロファイルに寄与しているか？

主な発見

• Bucklin投票は22種類の標準的制御タイプのうち18種類に対して耐性を示しており、多項式時間で勝者を決定できる自然な投票制度の中で、最も高い耐性を達成している。
• 本論文では、選挙者による分割による建設的制御が、TEおよびTP両モデルでNP困難であることを証明し、重要な未解決事項を解決した。
• Bucklin投票は、すべての候補者制御およびすべての建設的制御タイプに対して完全に耐性を示す。
• フォールバック投票の制御耐性は、[EPR10]で既に示されていたが、本研究により、Bucklin投票の耐性がフォールバック投票の耐性を継承可能であることが示されたことで、耐性が強化された。
• Bucklin投票に対して未解決の制御タイプは2つに限られる：TEおよびTP両モデルにおける選挙者による分割による破壊的制御。
• Bucklin投票は過半数一貫性を有しており、これはその規範的価値を高め、フォールバック投票やSP-AVとは明確に区別する特徴である。