[论文解读] Coalitional manipulation for Schulze's rule

Serge Gaspers, Thomas Kalinowski+2 more|arXiv (Cornell University)|May 6, 2013

Game Theory and Voting Systems参考文献 17被引用 9

一句话总结

本文证明，尽管 Schulze 规则具有强大的公理性质，但在计算上仍易受联盟操纵的影响。它证明了对于任意数量的操纵者，无权重联盟操纵（UCM）是多项式时间可解的，从而解决了长期悬而未决的问题；并表明当候选人数量受限时，加权联盟操纵（WCM）同样为多项式时间可解。

ABSTRACT

Schulze's rule is used in the elections of a large number of organizations including Wikimedia and Debian. Part of the reason for its popularity is the large number of axiomatic properties, like monotonicity and Condorcet consistency, which it satisfies. We identify a potential shortcoming of Schulze's rule: it is computationally vulnerable to manipulation. In particular, we prove that computing an unweighted coalitional manipulation (UCM) is polynomial for any number of manipulators. This result holds for both the unique winner and the co-winner versions of UCM. This resolves an open question in [14]. We also prove that computing a weighted coalitional manipulation (WCM) is polynomial for a bounded number of candidates. Finally, we discuss the relation between the unique winner UCM problem and the co-winner UCM problem and argue that they have substantially different necessary and sufficient conditions for the existence of a successful manipulation.

研究动机与目标

• 研究通过联盟投票策略操纵 Schulze 规则的计算复杂性。
• 解决关于 Schulze 规则下无权重联盟操纵（UCM）复杂性的开放问题。
• 分析当候选人数量受限时，加权联盟操纵（WCM）的可解性。
• 比较唯一胜者版本与并列胜者版本 UCM 中成功操纵的必要与充分条件。

提出的方法

• 作者将操纵问题建模为 Schulze 规则下的计算决策问题，重点研究联盟的战略投票行为。
• 通过构建一种高效算法，证明了 UCM 的多项式时间可解性，该算法可判断联盟是否能确保首选候选人获胜或并列获胜。
• 对于 WCM，他们在候选人集合受限的条件下分析该问题，并利用组合优化技术证明其仍可在多项式时间内求解。
• 通过分析操纵可行性条件在结构上的差异，区分唯一胜者与并列胜者 UCM 的区别。
• 证明依赖于 Schulze 规则的性质，如其满足 Condorcet 一致性以及基于路径的排名机制，从而推导出算法效率。

实验结果

研究问题

• RQ1 在 Schulze 规则下，无权重联盟操纵（UCM）对任意数量的操纵者是否具有计算上的可解性？
• RQ2 当候选人数量受限时，加权联盟操纵（WCM）的复杂性是否仍为多项式时间？
• RQ3 唯一胜者版本 UCM 中成功操纵的必要与充分条件是什么？
• RQ4 并列胜者版本 UCM 中成功操纵的必要与充分条件是什么？
• RQ5 唯一胜者与并列胜者变体中成功操纵的条件有何不同？

主要发现

• 在 Schulze 规则下，无权重联盟操纵（UCM）对任意数量的操纵者均可在多项式时间内求解，从而解决了文献中的开放问题。
• 多项式时间可解性同时适用于 UCM 的唯一胜者与并列胜者版本，表明该规则下操纵具有高度可解性。
• 当候选人数量受限时，加权联盟操纵（WCM）同样可在多项式时间内求解，表明在权重约束下其对操纵的抵抗能力有限。
• 唯一胜者与并列胜者版本 UCM 中成功操纵的必要与充分条件存在显著差异，表明其面临不同的结构性挑战。
• 研究结果揭示了一个悖论：尽管 Schulze 规则满足强大的公理性质，但其仍易受联盟高效操纵。