[论文解读] Llull and Copeland Voting Computationally Resist Bribery and Control

Piotr Faliszewski, Edith Hemaspaandra+2 more|ArXiv.org|Sep 25, 2008

Game Theory and Voting Systems参考文献 55被引用 18

一句话总结

本文证明了参数为 α 的 Copeland 计票制（Copelandα），包括标准的 Copeland 0.5 制度和13世纪 Llull 提出的制度（即 Copeland 1），对所有标准类型的建设性控制与贿赂攻击均具有计算上的抗性。该文证明了对所有有理数 α ∈ [0,1] 的完全抗性，使 Copelandα 成为首个具有多项式时间计票问题的自然计票制度，达到这一程度的计算鲁棒性。

ABSTRACT

The only systems previously known to be resistant to all the standard control types were highly artificial election systems created by hybridization. We study a parameterized version of Copeland voting, denoted by Copeland^α, where the parameter αis a rational number between 0 and 1 that specifies how ties are valued in the pairwise comparisons of candidates. We prove that Copeland^{0.5}, the system commonly referred to as "Copeland voting," provides full resistance to constructive control, and we prove the same for Copeland^α, for all rational α, 0 < α< 1. Copeland voting is the first natural election system proven to have full resistance to constructive control. We also prove that both Copeland^1 (Llull elections) and Copeland^0 are resistant to all standard types of constructive control other than one variant of addition of candidates. Moreover, we show that for each rational α, 0 \leq α\leq 1, Copeland^αvoting is fully resistant to bribery attacks, and we establish fixed-parameter tractability of bounded-case control for Copeland^α. We also study Copeland^αelections under more flexible models such as microbribery and extended control and we integrate the potential irrationality of voter preferences into many of our results.

研究动机与目标

• 确定 Copelandα 计票制对各种形式的选举控制与贿赂攻击的计算抗性。
• 将先前针对人工系统的成果扩展至具有高效计票能力的真实世界自然计票制度。
• 分析投票者非理性行为及灵活模型（例如微贿赂、扩展控制）对抵抗特性的影响。
• 对所有标准控制类型与贿赂变体进行全面的抗性/脆弱性分类。
• 建立 Copelandα 中有界情况控制的固定参数可解性。

提出的方法

• 通过从 NP 完全问题（如 X3C、3SAT）归约，证明 Copelandα 中控制与贿赂问题的 NP-难性。
• 利用最小费用网络流技术，证明在非理性投票者偏好下对微贿赂的脆弱性。
• 构建具有特定候选人与选民集合的选举实例，以模拟控制场景（例如增加/删除候选人或选民）。
• 对 Bartholdi、Tovey 与 Trick 的控制模型进行适应性调整，采用“并列优先”/“并列淘汰”规则，以确保模型一致性。
• 通过归约证明抗性，表明解决控制/贿赂问题的难度等同于解决底层的 NP 完全问题。
• 同时分析唯一胜者与非唯一胜者模型，以确保结果在不同选举结果定义下均具稳健性。

实验结果

研究问题

• RQ1 对于哪些 α ∈ [0,1] 的取值，Copelandα 对通过增加/删除候选人或选民实现的建设性控制具有抗性？
• RQ2 Copelandα 是否对贿赂攻击具有抗性，且这种抗性如何随 α 变化？
• RQ3 在投票者偏好非理性的条件下，是否能高效求解 Copelandα 中的微贿赂问题？
• RQ4 Copelandα 中有界情况控制的固定参数可解性状态如何？
• RQ5 Llull 制度（即 Copeland 1）与 Copelandα 在控制与贿赂抗性方面有何比较？

主要发现

• 对于所有有理数 α ∈ [0,1]，Copelandα 对所有标准类型的建设性控制均具有完全抗性，包括 Copeland 0.5 和 Copeland 1。
• Copeland 0.5（标准 Copeland 计票制）是首个被证明对建设性控制具有完全抗性的自然计票制度，且其计票问题可在多项式时间内求解。
• Copeland 1（Llull 制度）对所有标准建设性控制类型均具有抗性，仅对一种增加候选人的变体例外。
• Copelandα 对所有有理数 α ∈ [0,1] 的贿赂攻击均具有完全抗性，展现出强大的计算鲁棒性。
• 微贿赂在 Copelandα 中具有脆弱性，但该结论通过一种新颖的最小费用网络流技术得以证明，从而确立了精确的复杂度边界。
• Copelandα 中的有界情况控制具有固定参数可解性，表明仅当参数值较小时控制才具有可行性。