[论文解读] An Empirical Study of the Manipulability of Single Transferable Voting

Toby Walsh|arXiv (Cornell University)|May 28, 2010

Game Theory and Voting Systems参考文献 28被引用 35

一句话总结

本文通过实证研究检验了计算复杂性是否构成单人可转移投票制（STV）中操纵行为的障碍。STV作为一种操纵问题被证明为NP难的投票规则，本研究使用多种选票分布（包括均匀分布、相关分布和真实世界数据）发现，单个参与者几乎总是能够轻松计算出操纵策略或证明操纵不可能实现，表明NP难性在实践中并未有效阻止操纵行为。

ABSTRACT

Voting is a simple mechanism to combine together the preferences of multiple agents. Agents may try to manipulate the result of voting by mis-reporting their preferences. One barrier that might exist to such manipulation is computational complexity. In particular, it has been shown that it is NP-hard to compute how to manipulate a number of different voting rules. However, NP-hardness only bounds the worst-case complexity. Recent theoretical results suggest that manipulation may often be easy in practice. In this paper, we study empirically the manipulability of single transferable voting (STV) to determine if computational complexity is really a barrier to manipulation. STV was one of the first voting rules shown to be NP-hard. It also appears one of the harder voting rules to manipulate. We sample a number of distributions of votes including uniform and real world elections. In almost every election in our experiments, it was easy to compute how a single agent could manipulate the election or to prove that manipulation by a single agent was impossible.

研究动机与目标

• 评估STV操纵的NP难复杂性是否在实践中构成实际障碍。
• 研究在不同选票分布（包括均匀、相关和真实世界选举）下操纵的计算难度。
• 评估在现实选举场景中，单个参与者或小规模联盟是否仍难以操纵。
• 将实证结果与理论预测进行比较，即尽管最坏情况为NP难，但平均情况下操纵可能仍较容易。

提出的方法

• 本研究使用递归回溯算法，计算单个参与者是否能够通过操纵使目标候选人获胜。
• 从多种分布中采样选票：均匀随机分布、通过瓮模型生成的相关分布，以及来自NASA和加州大学欧文分校教职招聘委员会的真实世界数据。
• 针对每场选举，算法测试单个操纵者的所有可能投票策略，以判断是否存在成功操纵。
• 实验调整候选人数量（最高达128个）和参与者数量，测量计算成本与成功找到操纵策略的比率。
• 将观察到的扩展行为与理论最坏情况边界（如1.62^m的指数增长）进行比较。
• 还评估了联盟操纵的情况，采用贪心启发式方法，并分析操纵概率的转变点。

实验结果

研究问题

• RQ1 尽管STV在最坏情况下为NP难，其操纵在实践中是否仍计算困难？
• RQ2 STV操纵的难度在不同选票分布（包括真实世界和相关数据）下如何变化？
• RQ3 单个参与者能否可靠地操纵STV选举？其计算需求随候选人数量如何扩展？
• RQ4 即使存在一个不相关的选民，是否也能使原本困难的操纵案例恢复计算可解性？
• RQ5 实证结果与理论预测（即平均情况下操纵较容易）相比如何？

主要发现

• 在几乎所有模拟选举中，计算判断单个参与者能否操纵结果，或证明操纵不可能，都极为容易。
• 观察到的计算成本显著优于理论最坏情况边界1.62^m，使得即使在128个候选人的规模下也能高效计算。
• 无论是均匀随机选票还是来自NASA和UC Irvine的真实世界数据，操纵计算均较容易，且各类数据集的扩展行为相似。
• 即使在高相关性的“僵局”选举中，单个不相关的参与者也能恢复计算可解性，逆转少数原本难以操纵的情况。
• 结果表明，计算复杂性并未在STV中构成有意义的操纵障碍，与“NP难性可确保抗操纵性”的假设相矛盾。
• 本研究证实，理论预测的平均情况下操纵容易的结论在STV中成立，尤其在现实选票分布下表现显著。