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

一句话总结

本文证明了 Schulze 和排序对投票系统在贿赂、控制和操纵问题上，相对于候选人数量是固定参数可追踪的（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.

研究动机与目标

• 研究 Schulze 和排序对投票系统中贿赂、控制和操纵问题的参数化复杂度。
• 确定这些系统虽然在一般情况下为 NP-难，但当以候选人数量为参数时是否变得可 tractable。
• 为三种类型的选举攻击（贿赂、控制和操纵）开发统一的、多项式时间的算法，且仅依赖于候选人数量。

提出的方法

• 作者分析 Schulze 和排序对选举的结构特性，以识别固定参数可追踪（FPT）算法。
• 应用参数化复杂度理论，聚焦于候选人数量作为参数，推导出高效算法。
• 该方法利用了两种系统均依赖于传递性成对比较和可高效计算的支配结构，尤其适用于小规模候选人集合。
• 算法设计在三种攻击类型（贿赂、控制和操纵）之间保持统一，使用相同的底层计算框架。
• 算法的运行时间在选民数量上为多项式时间，但其度数仅依赖于候选人数量，不依赖于选民数量，从而确保小规模候选人集合下的可扩展性。

实验结果

研究问题

• RQ1 当以候选人数量为参数时，Schulze 和排序对选举中的贿赂问题是否可在固定参数可追踪时间内求解？
• RQ2 Schulze 和排序对选举中的控制问题是否相对于候选人数量为固定参数可追踪？
• RQ3 当候选人数量较小时，这些系统的操纵问题是否也能高效求解？
• RQ4 这些系统中，相同的算法技术是否可统一应用于贿赂、控制和操纵三种问题？

主要发现

• 当以候选人数量为参数时，Schulze 和排序对选举在贿赂、控制和操纵问题上均为固定参数可追踪。
• 所提出的算法在选民数量上为多项式时间，但其度数与选民数量无关，仅依赖于候选人数量。
• 所有三种攻击类型（贿赂、控制和操纵）的运行时间均保持一致，使用相同的底层计算框架。
• 尽管这些问题在一般情况下为 NP-难，但当候选人数量较小时，仍存在高效解法，使这些系统在许多实际场景中具有实际可 tractability。