[论文解读] Where are the really hard manipulation problems? The phase transition in manipulating the veto rule

Toby Walsh|International Joint Conference on Artificial Intelligence|May 22, 2009

Game Theory and Voting Systems参考文献 27被引用 56

一句话总结

本文研究了在弃权规则下操纵选举的计算难度，展示了随着联盟规模增加，操纵概率出现平滑的相变。研究发现，对于独立同分布的选票，即使在临界联盟规模下，操纵在渐近意义上也容易；但仅当选票高度相关且选举处于‘胶着’状态时，操纵才变得计算困难——即便只有一个不相关的选民，也能使操纵再次变得容易。

ABSTRACT

Voting is a simple mechanism to aggregate the preferences of agents. Many voting rules have been shown to be NP-hard to manipulate. However, a number of recent theoretical results suggest that this complexity may only be in the worst-case since manipulation is often easy in practice. In this paper, we show that empirical studies are useful in improving our understanding of this issue. We demonstrate that there is a smooth transition in the probability that a coalition can elect a desired candidate using the veto rule as the size of the manipulating coalition increases. We show that a rescaled probability curve displays a simple and universal form independent of the size of the problem. We argue that manipulation of the veto rule is asymptotically easy for many independent and identically distributed votes even when the coalition of manipulators is critical in size. Based on this argument, we identify a situation in which manipulation is computationally hard. This is when votes are highly correlated and the election is "hung". We show, however, that even a single uncorrelated voter is enough to make manipulation easy again.

研究动机与目标

• 理解计算复杂性在实践中是否构成对弃权规则操纵的障碍。
• 探究选票相关性和联盟规模在决定操纵难度中的作用。
• 探索操纵概率的相变是否与计算难度相关。
• 评估理论上的最坏情况复杂性结果对现实世界有限规模选举的相关性。
• 识别在渐近结果表明并非困难的情况下，操纵仍保持计算困难的条件。

提出的方法

• 通过实证方法研究联盟在不同联盟规模和问题规模下成功操纵弃权规则的概率。
• 对操纵概率曲线进行重标度，以检验其是否具有与问题规模无关的通用形式。
• 模拟具有不同相关程度选票的选举，包括存在一个不相关选民的情况。
• 使用贪心算法评估当联盟大到足以影响结果时，寻找操纵方案的难易程度。
• 将结果与先前关于打分规则和相变的理论边界进行比较。
• 分析平票裁决和加权选票对操纵可行性与复杂性的影响。

实验结果

研究问题

• RQ1 随着操纵联盟规模的增加，弃权规则下成功操纵的概率是否表现出平滑的相变？
• RQ2 在独立同分布选票下，操纵概率曲线是否存在与问题规模无关的通用形式？
• RQ3 在何种条件下计算复杂性会构成操纵障碍，特别是当联盟规模处于临界状态时？
• RQ4 选票相关性如何影响弃权规则下操纵的计算难度？
• RQ5 一个不相关的选民是否能显著改变操纵的计算难度？

主要发现

• 随着操纵联盟规模的增加，成功操纵的概率表现出平滑的相变，无明显临界阈值。
• 重标度后的操纵概率曲线呈现出简单且与问题规模无关的通用形式，表明存在可推广的实证规律。
• 对于独立同分布的选票，即使联盟规模为 Θ(√n)，操纵在渐近意义上仍容易，这与最坏情况下的 NP-难结果相矛盾。
• 操纵的计算困难仅在选票高度相关且选举处于‘胶着’状态时出现，表明困难区域极为狭窄。
• 即使只有一个不相关的选民，也能使操纵再次变得计算容易，凸显了困难实例的脆弱性。
• 操纵概率的相变与困难实例并不重合，与可满足性等问题不同，表明其计算结构存在根本性差异。