[論文レビュー] Manipulation and Control Complexity of Schulze Voting

Curtis Menton, Preetjot Singh|arXiv (Cornell University)|Jun 11, 2012

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

ひとこと要約

この論文は、ウィキメディア やピライト党などで使用されている、人気のあるコンドルセベースの投票システムであるシュルツ投票における操作および制御の計算複雑性を分析している。シュルツ投票は、多数の制御タイプに対して脆弱であることが示され、多くの制御問題がNP困難であるため、選挙管理者による戦略的操作に対して強い抵抗性を欠いていることが判明した。

ABSTRACT

Schulze voting is a recently introduced voting system enjoying unusual popularity and a high degree of real-world use, with users including the Wikimedia foundation, several branches of the Pirate Party, and MTV. It is a Condorcet voting system that determines the winners of an election using information about paths in a graph representation of the election. We resolve the complexity of many electoral control cases for Schulze voting. We find that it falls short of the best known voting systems in terms of control resistance, demonstrating vulnerabilities of concern to some prospective users of the system.

研究の動機と目的

• シュルツ投票が、投票システムにおける公平性およびセキュリティの重要な指標である各種の選挙制御に対してどれほど耐性を持つのかを評価すること。
• 候補者や有権者の追加・削除、分割といった、建設的および破壊的制御のシナリオの計算複雑性を特定すること。
• シュルツ投票が、その人気と多項式時間での勝者決定の可能性にもかかわらず、選挙管理者による戦略的操作に対して脆弱であるかどうかを評価すること。
• 複雑な制御問題を、根幹の問題「パス保存型頂点カット」に還元することで、それらの本質的な難易度をよりよく理解すること。
• 制御タイプの包括的な複雑性分類を提供し、シュルツ投票が理想の耐性特性をどの程度満たしていないかを明らかにすること。

提案手法

• 候補者を頂点とし、ペアワイズの好みからのネット優位スコアを有向辺とする、選挙のグラフベース表現を用いる。
• 最小辺重みをパスの強さとして使用するように変更したフォワード・ワーシャル法を適用し、すべての候補者ペア間の最強（ボトルネック）パスを計算する。
• 最強パスグラフにおいて、入次数が0の候補者を勝者と定義する。aからbへの辺があるとは、aがbに対してより強いパスを持つことを意味する。
• 候補者の追加・削除などの制御問題を、tからsへのパスを保存しつつ、すべてのsからtへのパスを消去できるかどうかを確認する「パス保存型頂点カット」問題に還元する。
• 破壊的制御（候補者の追加・削除）がパス保存型頂点カット問題に多項式時間チューリング還元可能であることを用いて、その難易度がこの未知の問題に制限されることを示す。
• 3-SATへの還元を用いて、大多数の建設的制御ケースがNP困難であることを証明し、戦略的操作に対する脆弱性を確立する。

実験結果

リサーチクエスチョン

• RQ1 シュルツ投票は、有権者や候補者の追加・削除による建設的制御に対して耐性を示すか？
• RQ2 特に特定の候補者が当選しないようにすることを目的とした破壊的制御の計算複雑性は何か？
• RQ3 シュルツ投票の制御問題は、パス保存型頂点カットといった既知の計算問題に還元可能か？
• RQ4 シュルツ投票における操作および制御の複雑性は、他の有名な投票システムと比べてどう異なるか？
• RQ5 シュルツ投票は、多項式時間での勝者決定が可能であるが、特定の制御シナリオでは脆弱である場合があるか？

主な発見

• シュルツ投票における有権者や候補者の追加・削除による建設的制御は、すべてNP困難であることが示され、選挙管理者による戦略的操作に対して脆弱であることが判明した。
• 候補者の追加・削除による破壊的制御は、パス保存型頂点カット問題に多項式時間チューリング還元可能であり、その複雑性がこの未知の問題によって制限されていると考えられる。
• 本研究では、シュルツ投票が制御に対して耐性がないことが立証された。多くの制御タイプがNP困難であるため、人気があるからといって堅牢であると仮定する考えは誤りである。
• 攻撃者が望ましい結果が達成可能かどうかを効率的に特定できるため、戦略的制御行動による操作がシュルツ投票で可能である。
• 多項式時間で解けるにもかかわらず、シュルツ投票は他の投票システムに比べて最高の制御耐性を達成できていない。
• パス保存型頂点カット問題への還元は、将来的にその問題の複雑性が解明された場合、シュルツ投票における制御の複雑性をさらに分析する道筋を提供する。