[论文解读] Universal Voting Protocol Tweaks to Make Manipulation Hard

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|Jul 7, 2003

Game Theory and Voting Systems参考文献 10被引用 112

一句话总结

本文提出一种通用的投票协议改进方法——在协议前增加一轮单轮淘汰预赛，将常见的投票制度（如多数制、波达计分制、最大最小制和排序复选制）转变为在预赛日程与投票收集交错进行时，其操纵难度达到PSPACE难的问题。该改进在保持协议核心特性的前提下，显著提升了操纵的计算复杂度，使理性参与者难以通过策略性手段获利。

ABSTRACT

Voting is a general method for preference aggregation in multiagent settings, but seminal results have shown that all (nondictatorial) voting protocols are<br>manipulable. One could try to avoid manipulation by using voting protocols where determining a beneficial manipulation is hard computationally. A number of recent papers study the complexity of manipulating existing protocols. This paper is the first work to take the next step of designing<br>new protocols that are especially hard to manipulate. Rather than designing these new protocols from scratch, we instead show how to tweak existing protocols to make manipulation hard, while leaving much of the original nature of the protocol intact. The tweak studied consists of adding one<br>elimination preround to the election. Surprisingly, this extremely simple and universal tweak makes typical protocols hard to manipulate! The protocols become NP-hard, #P-hard, or PSPACE-hard to manipulate, depending on whether the schedule of the preround is determined before the votes<br>are collected, after the votes are collected, or the scheduling and the vote collecting are interleaved, respectively. We prove general sufficient conditions on the protocols for this tweak to introduce the hardness, and show that the most common voting protocols satisfy those conditions. These are the first results in voting settings where manipulation is in a higher complexity class than NP (presuming PSPACE =6 NP).

研究动机与目标

• 本文旨在通过使有益操纵在计算上不可行，来应对非独裁投票协议固有的可操纵性问题。
• 旨在克服先前研究的局限性，即仅分析现有协议的操纵复杂度，转而设计对操纵更具抗性的新型协议。
• 目标是创建一种实用且向后兼容的方法，以增强广泛使用的投票协议对策略性操纵的抵抗力，而无需从零开始重新设计。
• 旨在证明，通过添加一个简单且通用的改进——即增加一轮预赛——可使操纵复杂度超越NP，达到在特定调度条件下为PSPACE难的程度。

提出的方法

• 核心方法是在原始协议前增加一轮预赛，其中候选人两两配对进行对抗，仅胜者可进入原始协议。
• 预赛日程在三种情形下变化：在投票前确定（预收集）、在投票后确定（后收集）或与投票收集交错进行（交错）。
• 在交错情形下，协议交替进行选民偏好收集与对阵安排，确保无法进行策略性推断。
• 该方法依赖于从STOCHASTIC-SAT问题到该协议的归约，表明操纵结果等价于求解一个PSPACE完全问题。
• 协议设计使得操纵者的选择实际上等价于为一个SAT实例中的变量赋值，成功与否取决于是否满足所有子句。
• 证明了在一般充分条件下，预赛可引发PSPACE难性，且这些条件在多数制、波达计分制、最大最小制和排序复选制中均成立。

实验结果

研究问题

• RQ1 能否通过为现有投票协议添加一个简单且通用的改进，使操纵在计算上不可行，同时保持协议原始行为不变？
• RQ2 在投票协议中增加一轮预赛（候选人通过两两对抗被淘汰）是否可使常见投票制度的操纵复杂度超越NP？
• RQ3 在何种调度条件下（预、后或交错），预赛会引发NP难、#P难或PSPACE难的操纵复杂度？
• RQ4 该改进是否可普遍应用于标准投票协议（如多数制、波达计分制、最大最小制和排序复选制），而无需改变其基本结构？
• RQ5 是否存在从已知难问题（如STOCHASTIC-SAT）到改进后协议中构造性操纵的正式归约，从而证明PSPACE难性？

主要发现

• 当预赛日程与投票收集交错进行时，增加一轮仅包含候选人两两对抗的预赛，可使操纵复杂度达到PSPACE难。
• 对于四种常见投票制度——多数制、波达计分制、最大最小制和排序复选制——在交错预赛协议下，其构造性操纵问题均为PSPACE完全。
• 该协议改进在保持原始投票系统核心行为的同时，为策略性操纵设置了显著障碍。
• 复杂度的提升源于操纵者必须模拟一个随机SAT求解器，其中交错过程中的选择对应于为CNF公式中的变量赋值。
• 归约表明，成功的操纵策略恰好对应于在STOCHASTIC-SAT实例中找到满足赋值，而该问题已被证明为PSPACE完全。
• 结果具有鲁棒性：即使在选民权重相等且仅考虑个体操纵而非团体操纵的情况下，结论依然成立，使研究发现更具普遍性和说服力。