[论文解读] Detecting Possible Manipulators in Elections

Palash Dey, Neeldhara Misra+1 more|arXiv (Cornell University)|May 4, 2015

Game Theory and Voting Systems参考文献 38被引用 11

一句话总结

本文提出了计算框架，通过形式化并求解诸如联合可能操纵者（CPM）及其变体等问题，以检测选举中潜在的操纵者。该文为常见投票规则提供了多项式时间算法，并表明即使操纵本身计算困难（如在Borda规则中所示），检测仍可能是可行的。

ABSTRACT

Manipulation is a problem of fundamental importance in the context of voting in which the voters exercise their votes strategically instead of voting honestly to prevent selection of an alternative that is less preferred. The Gibbard-Satterthwaite theorem shows that there is no strategy-proof voting rule that simultaneously satisfies certain combinations of desirable properties. Researchers have attempted to get around the impossibility results in several ways such as domain restriction and computational hardness of manipulation. However these approaches have been shown to have limitations. Since prevention of manipulation seems to be elusive, an interesting research direction therefore is detection of manipulation. Motivated by this, we initiate the study of detection of possible manipulators in an election.We formulate two pertinent computational problems - Coalitional Possible Manipulators (CPM) and Coalitional Possible Manipulators given Winner (CPMW), where a suspect group of voters is provided as input to compute whether they can be a potential coalition of possible manipulators. In the absence of any suspect group, we formulate two more computational problems namely Coalitional Possible Manipulators Search (CPMS), and Coalitional Possible Manipulators Search given Winner (CPMSW). We provide polynomial time algorithms for these problems, for several popular voting rules. For a few other voting rules, we show that these problems are in NP-complete. We observe that detecting manipulation maybe easy even when manipulation is hard, as seen for example, in the case of the Borda voting rule.

研究动机与目标

• 解决投票系统中战略操纵的检测挑战，即选民非诚实投票以影响结果。
• 形式化计算问题，以识别可疑选民群体作为潜在操纵者，无论是否事先提供可疑群体。
• 确定在各种投票规则下检测操纵的计算复杂度，尤其对比操纵困难但检测容易的情况。
• 为广泛使用的投票规则提供高效检测算法，为选举完整性监控提供实用工具。

提出的方法

• 形式化联合可能操纵者（CPM）问题：给定一组选民，判断其是否能形成一个操纵选举结果的联盟。
• 引入CPMW，增加约束条件：操纵必须导致特定获胜者，以增强实际应用价值。
• 定义CPMS与CPMSW为搜索问题，用于在未预先提供此类群体时识别可疑群体。
• 为CPM及相关问题在批准投票、 plurality 投票和否决投票规则下开发多项式时间算法。
• 证明在某些规则（如STV和maximin）下，CPM为NP-完全，表明在某些环境下存在计算困难。
• 分析操纵（通常困难）与检测（有时容易）之间的复杂度差距，以Borda规则为例。

实验结果

研究问题

• RQ1 我们能否高效检测给定选民群体在常见投票规则下是否可能操纵了选举结果？
• RQ2 在未预先知晓群体的情况下，计算上是否可行搜索可能操纵选举的可疑选民联盟？
• RQ3 操纵的计算困难是否意味着检测操纵也具有相应的困难？
• RQ4 在哪些投票规则下，可能操纵者的检测可在多项式时间内求解？

主要发现

• 在批准投票、 plurality 投票和否决投票规则下，检测可能操纵者的多项式时间算法存在。
• Borda投票规则是操纵计算困难但可能操纵者检测仍具可行性的典型案例。
• 对于某些规则（如STV和maximin），检测问题为NP-完全，表明其存在固有的计算困难。
• CPMW的提出使得在操纵必须导致特定获胜者的约束下实现检测成为可能，显著提升了现实适用性。
• 本研究揭示了一个关键洞察：即使操纵本身计算困难，操纵检测仍可能计算简单，从而挑战了两者之间关系的既有假设。