[论文解读] Dichotomy for Voting Systems

Edith Hemaspaandra, Lane A. Hemaspaandra|ArXiv.org|Apr 15, 2005

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

一句话总结

本文建立了对评分规则投票系统操纵计算复杂性的完整二分法：当且仅当该系统为非最喜爱候选人分配至少两个不同的积分值时，操纵问题是 NP-完全的。否则，操纵问题可在多项式时间内求解。该结果指出‘厌恶多样性’——即非最高排名候选人存在多个不同的评分——是此类投票系统中操纵难度的关键决定因素。

ABSTRACT

Scoring protocols are a broad class of voting systems. Each is defined by a vector $(α_1,α_2,...,α_m)$, $α_1 \geq α_2 \geq >... \geq α_m$, of integers such that each voter contributes $α_1$ points to his/her first choice, $α_2$ points to his/her second choice, and so on, and any candidate receiving the most points is a winner. What is it about scoring-protocol election systems that makes some have the desirable property of being NP-complete to manipulate, while others can be manipulated in polynomial time? We find the complete, dichotomizing answer: Diversity of dislike. Every scoring-protocol election system having two or more point values assigned to candidates other than the favorite--i.e., having $||\{α_i \condition 2 \leq i \leq m\}||\geq 2$--is NP-complete to manipulate. Every other scoring-protocol election system can be manipulated in polynomial time. In effect, we show that--other than trivial systems (where all candidates alway tie), plurality voting, and plurality voting's transparently disguised translations--\emph{every} scoring-protocol election system is NP-complete to manipulate.

研究动机与目标

• 本文旨在识别决定评分规则投票系统是否为 NP-完全操纵的精确结构条件。
• 旨在解决长期存在的问题：评分规则的何种结构特征会导致操纵复杂性从 P 转变为 NP-完全。
• 目标是将此前针对特定系统（如 plurality、Borda 和 veto）的研究结果推广为完整的分类体系。
• 研究旨在区分平凡系统与非平凡系统，其中非平凡系统要么可高效操纵，要么计算上难以操纵。
• 研究候选人的评分多样性在固定和无界候选人设置下对操纵复杂性的影响。

提出的方法

• 本文分析由得分向量 (α1, α2, ..., αm) 定义的评分规则选举系统，其中 α1 ≥ α2 ≥ ... ≥ αm。
• 引入固定 m 下的加权操纵问题（MPα），以建模由加权选民组成的团体的操纵行为。
• 关键技术方法是将 3-Partition 问题归约至该问题，以证明当集合 {αi | 2 ≤ i ≤ m} 至少包含两个不同值时，问题为 NP-完全。
• 对于 P 情况，本文构建了一个多项式时间算法，通过动态计算得分向量并确定有效的操纵策略。
• 分析扩展至无界候选人设置，使用生成任意 m 下得分向量的一般评分函数 f。
• 通过将固定 m 下的 NP-完全实例归约至一般评分函数 f 的 GMPf 和 GUMPf，证明其 NP-完全性，前提是评分函数为非最喜爱位置分配了多样化值。

实验结果

研究问题

• RQ1 评分规则选举系统的何种结构特性决定了操纵问题属于 P 还是 NP-完全？
• RQ2 在何种条件下评分规则的操纵在计算上是困难的，何时是可 tractable 的？
• RQ3 能否基于操纵复杂性对所有评分规则进行完整且二分的分类？
• RQ4 非最喜爱候选人存在多个不同评分如何影响操纵难度？
• RQ5 该二分结果能否推广至具有无界候选人数的系统？

主要发现

• 当且仅当至少两个不同的积分值被分配给排名低于最喜爱候选人的候选人时，评分规则选举系统为 NP-完全操纵。
• 若所有非最喜爱候选人获得相同得分（即 ||{αi | 2 ≤ i ≤ m}|| = 1），则操纵问题可在多项式时间内求解。
• 唯一例外是所有候选人始终并列的平凡系统，以及 plurality 投票及其同构变体，这些也属于 P。
• 该结果在固定和无界候选人数情况下均成立，可推广至一般评分函数 f。
• NP-完全性结果具有鲁棒性：即使候选人数固定，只要得分向量在非最喜爱位置存在多样性，操纵问题即为 NP-完全。
• 该二分法是完整且穷尽的——没有任何评分规则落在这两个类别之外。