[论文解读] 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

一句话总结

本文分析了 Schulze 投票（一种在 Wikimedia 和海盗党等组织中广泛使用的基于 Condorcet 的投票系统）在操纵和控制方面的计算复杂性。研究发现，Schulze 投票容易受到多种控制类型的攻击，因为许多控制问题属于 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.

研究动机与目标

• 评估 Schulze 投票对各种形式的选举控制的抵抗能力，这是衡量投票系统公平性与安全性的重要指标。
• 确定构造性与破坏性控制情景的计算复杂性，包括增加、删除以及划分选民或候选人。
• 评估 Schulze 投票尽管广受欢迎且能多项式时间确定胜者，是否仍易受选举组织者战略性操纵的影响。
• 将 Schulze 投票中的复杂控制问题约化为一个核心问题——路径保持的顶点删减问题，以更好地理解其内在难度。
• 提供控制类型的全面复杂性分类，突出 Schulze 投票在哪些方面未能达到理想的抗控能力。

提出的方法

• 使用图论表示选举，其中候选人作为顶点，有向边表示成对偏好下的净优势得分。
• 应用修改后的 Floyd-Warshall 算法，计算所有候选人对之间的最强（瓶颈）路径，以路径上最小边权作为路径强度。
• 将胜者确定为最强路径图中无入边的候选人，其中从 a 到 b 的边表示 a 到 b 的路径强于反之。
• 将控制问题（如增加或删除候选人）约化为路径保持的顶点删减问题，该问题用于检查是否可在消除所有从 s 到 t 的路径的同时，保留从 t 到 s 的路径。
• 采用多项式时间图灵约化，证明破坏性控制（通过增加/删除候选人）的难度不超过路径保持的顶点删减问题。
• 通过从 3-SAT 问题的约化，证明大多数构造性控制情形为 NP-难问题，从而确立其易受战略性操纵的特性。

实验结果

研究问题

• RQ1 Schulze 投票是否对通过增加或删除选民或候选人的构造性控制具有抵抗能力？
• RQ2 在破坏性控制中，特别是目标是阻止特定候选人获胜时，Schulze 投票的计算复杂性如何？
• RQ3 Schulze 投票中的控制问题能否约化为已知的计算问题，如路径保持的顶点删减问题？
• RQ4 与其它知名投票系统相比，Schulze 投票在操纵与控制方面的复杂性有何异同？
• RQ5 是否存在某些控制情景下，尽管 Schulze 投票能多项式时间确定胜者，仍表现出脆弱性？

主要发现

• 在 Schulze 投票中，通过增加或删除选民和候选人进行的构造性控制是 NP-难问题，表明选举组织者可能通过战略性操纵实现目标。
• 通过增加或删除候选人的破坏性控制可多项式时间图灵约化为路径保持的顶点删减问题，表明其复杂性受该未知问题的边界限制。
• 本文确立了 Schulze 投票不具备抗控能力，因为多种控制类型属于 NP-难问题，这与‘其受欢迎程度意味着稳健性’的假设相矛盾。
• 该系统易受通过战略性控制行为进行的操纵，因为复杂性结果表明攻击者可高效判断目标结果是否可达。
• 尽管能多项式时间求解，Schulze 投票仍未达到某些其他投票系统所具备的最高水平的控制抵抗能力。
• 约化为路径保持的顶点删减问题为未来进一步分析 Schulze 投票中控制复杂性的本质提供了路径，一旦该问题的复杂性被明确，将有助于深入理解。