[论文解读] How Many Vote Operations Are Needed to Manipulate A Voting System?

Lirong Xia|arXiv (Cornell University)|Apr 5, 2012

Game Theory and Voting Systems参考文献 52被引用 6

一句话总结

本文提出一个统一框架，通过'投票操作'（如操纵、贿赂、控制）分析策略性投票行为，证明在独立同分布（i.i.d.）票源生成下，任何具有固定候选人的投票系统，其最小操作数在概率上收敛于四种类别之一：0、Θ(√n)、Θ(n) 或 ∞。该结果适用于所有整数广义记分规则，包括 Borda、 plurality、Copeland、STV 和排名对。

ABSTRACT

In this paper, we propose a framework to study a general class of strategic behavior in voting, which we call vote operations. We prove the following theorem: if we fix the number of alternatives, generate $n$ votes i.i.d. according to a distribution $π$, and let $n$ go to infinity, then for any $ε>0$, with probability at least $1-ε$, the minimum number of operations that are needed for the strategic individual to achieve her goal falls into one of the following four categories: (1) 0, (2) $Θ(\sqrt n)$, (3) $Θ(n)$, and (4) $\infty$. This theorem holds for any set of vote operations, any individual vote distribution $π$, and any integer generalized scoring rule, which includes (but is not limited to) almost all commonly studied voting rules, e.g., approval voting, all positional scoring rules (including Borda, plurality, and veto), plurality with runoff, Bucklin, Copeland, maximin, STV, and ranked pairs. We also show that many well-studied types of strategic behavior fall under our framework, including (but not limited to) constructive/destructive manipulation, bribery, and control by adding/deleting votes, margin of victory, and minimum manipulation coalition size. Therefore, our main theorem naturally applies to these problems.

研究动机与目标

• 开发一个通用框架，通过'投票操作'（如操纵、贿赂、控制）分析投票中的策略行为。
• 刻画在大选民群体中，策略性选民为实现其目标所需最小票操作数的渐近性质。
• 建立所有整数广义记分规则下操纵复杂性的普遍二分法，无论具体规则或票分布如何。
• 统一并拓展先前关于操纵计算障碍的研究，表明复杂性随选民规模 n 可预测地增长。

提出的方法

• 将'投票操作'定义为通过修改选票以改变选举结果的行为，包括操纵、贿赂和控制。
• 使用广义记分规则（GSRs）作为统一的投票系统建模工具，其中每张选票映射到一个广义记分向量，胜者由这些向量之和上的函数 g 选出。
• 利用线性规划松弛和整数规划可行性分析，计算策略性选民使某候选人获胜所需的最小操作数（CVO）。
• 应用概率集中性论证和尾部概率界限，证明当 n → ∞ 时，CVO 以高概率落入四种类别之一。
• 利用广义记分向量空间的结构及记分空间的维度，对所需操作数进行上界估计。
• 证明对于任意分布 π 和任意操作集合，当 n 增大时，CVO 以概率趋近于 1 落入 0、Θ(√n)、Θ(n) 或 ∞。

实验结果

研究问题

• RQ1 当票源为独立同分布且选民数 n 趋于无穷时，操纵投票系统所需的渐近最小票操作数是多少？
• RQ2 操纵复杂性在不同投票规则（包括 Borda、plurality、Copeland、STV 和排名对）中如何随规模变化？
• RQ3 能否通过单一理论框架，统一分类贿赂、控制和操纵等多样化策略行为的复杂性？
• RQ4 在何种条件下，最小操作数以高概率保持有界（0）、亚线性增长（Θ(√n)）、线性增长（Θ(n)）或变为不可能（∞）？
• RQ5 广义记分规则的结构及票源分布如何影响操纵的可行性和成本？

主要发现

• 对于任意固定候选人数，当 n → ∞ 时，操纵投票系统所需的最小票操作数以高概率落入四种类别之一：0、Θ(√n)、Θ(n) 或 ∞。
• Θ(√n) 阶段出现在策略性选民必须以微小但不可忽略的量改变总广义记分向量中各分量的相对顺序时。
• Θ(n) 阶段出现在策略性选民必须反转记分向量中大量成对比较时，需线性数量的操作。
• 0 的情况出现在当前选票配置下目标候选人已为胜者，对于常见规则，该概率约为 1/m。
• ∞ 的情况出现在任何有限操作序列均无法使目标候选人获胜时，对于 Borda 或 Copeland 等对称规则，该情况发生的概率较低。
• 该结果在所有整数广义记分规则下普遍成立，包括赞成投票、Borda、plurality、STV、排名对和 maximin，在任意 i.i.d. 票源分布 π 下均成立。