[论文解读] Election Attacks with Few Candidates

Yongjie Yang|arXiv (Cornell University)|May 26, 2014

Game Theory and Voting Systems参考文献 23被引用 8

一句话总结

本文证明，在大多数广义记票规则（如 plurality、Borda、Copeland、Maximin、Bucklin 和 STV）中，操纵、控制（全部 22 种标准类型）和贿赂问题在候选人数量上是固定参数可追踪的（FPT），这是通过利用这些规则的结构特性，实现在 FPT 时间界限内高效枚举关键得分向量而实现的。

ABSTRACT

We investigate the parameterized complexity of strategic behaviors in generalized scoring rules. In particular, we prove that the manipulation, control (all the 22 standard types), and bribery problems are fixed-parameter tractable for most of the generalized scoring rules, with respect to the number of candidates. Our results imply that all these strategic voting problems are fixed-parameter tractable for most of the common voting rules, such as Plurality, r-Approval, Borda, Copeland, Maximin, Bucklin, etc., with respect to the number of candidates.

研究动机与目标

• 研究广义记票规则中战略投票行为的参数化复杂度，以候选人数量为参数。
• 确定当以候选人数量为参数时，操纵、控制和贿赂问题是否仍保持计算上的可追踪性。
• 将 FPT 结果扩展到包括位置记票规则和多轮淘汰制在内的广泛常见投票规则类别。
• 通过利用广义记票规则的结构特性，为多样化投票系统提供一个通用框架。

提出的方法

• 采用 Xia 和 Conitzer 定义的广义记票规则（GSR）框架，该框架概括了多种常见投票系统。
• 证明对于具有 FPT 可计算得分函数和决策函数的 GSR，战略问题可在 f(k)·n^O(1) 时间内求解，其中 k 为候选人数量。
• 利用 GSR 中决策函数 g 的兼容性，在 FPT 时间内枚举所有有效总得分向量。
• 通过证明每轮淘汰均保持 FPT 性质，将结果应用于多轮淘汰规则（如 Nanson 和 Baldwin 规则），利用有界序的广义记票规则。
• 借助线性规划和基于不等式的投票系统已知结果，支持相关问题的 FPT 可追踪性。
• 通过构造性证明表明，若多轮规则的每一阶段均为具有 FPT 可计算 f 和 g 的 GSR，则整个规则也具有 FPT 算法。

实验结果

研究问题

• RQ1 在广义记票规则中，操纵、控制和贿赂问题在候选人数量上是否为固定参数可追踪的？
• RQ2 战略投票问题的 FPT 可追踪性是否可扩展至 Nanson 和 Baldwin 等多轮淘汰制系统？
• RQ3 广义记票规则的哪些结构特性使得能够高效枚举理想结果配置？
• RQ4 广义记票规则中 f（得分）和 g（决策）函数如何影响战略行为的参数化复杂度？
• RQ5 广义记票规则框架在多大程度上能够统一多样投票系统中的 FPT 结果？

主要发现

• 对于大多数广义记票规则，操纵、控制（全部 22 种标准类型）和贿赂问题在候选人数量上是固定参数可追踪的。
• 所有常见投票规则，如 plurality、r-Approval、Borda、Copeland α、Maximin、Bucklin、Ranked Pairs、Schulze 和 STV，均包含在此 FPT 结果中。
• 多轮淘汰规则如 Nanson 和 Baldwin 被证明为 FPT，因为每轮淘汰均为具有 FPT 可计算函数的广义记票规则。
• 关键技术洞见是：广义记票规则中的决策函数 g 允许在 FPT 时间内高效枚举所有可行的总得分向量。
• 该框架推广了先前关于 Schulze 和 Ranked Pairs 投票系统的 FPT 结果，将其扩展至全部 22 种控制类型，并包含贿赂和操纵问题。
• 由于广义记票规则与超平面规则之间的等价性，该结果在不同投票规则类别（包括位置记票规则和基于超平面的规则）中均具有鲁棒性。