[논문 리뷰] Universal Voting Protocol Tweaks to Make Manipulation Hard

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|2003. 07. 07.

Game Theory and Voting Systems참고 문헌 10인용 수 112

한 줄 요약

이 논문은 일반적인 투표 제도인 다수결, 보르다, 맥시민, STV를 변형시켜, 투표 수집과 번갈아가며 시행되는 프리라운드 일정이 있는 경우, 조작이 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-어려움을 유도하는 일반적인 충분 조건을 증명하였고, 이 조건이 다수결, 보르다, 맥시민, STV 모두에 대해 성립함을 보였다.

실험 결과

연구 질문

• RQ1 . 존재하는 투표 제도에 단순하고 보편적인 튜닝을 가미함으로써 조작을 계산적으로 불가능하게 만들 수 있으며, 이로써 원래의 프로토콜 행동을 유지할 수 있는가?
• RQ2 . 후보자들이 투표 대결을 통해 배제되는 단일 프리라운드를 추가함으로써, 일반적인 투표 제도에서 조작 복잡도가 NP를 초월하는가?
• RQ3 . 사전, 사후, 또는 혼합 일정 조건에서 프리라운드는 조작 복잡도를 NP-어려움, #P-어려움, 또는 PSPACE-어려움 수준으로 끌어올리는가?
• RQ4 . 제안된 튜닝이 다수결, 보르다, 맥시민, STV와 같은 표준 투표 제도에 일반적으로 적용될 수 있는가? 이는 기본적인 구조를 변경하지 않고서도 가능한가?
• RQ5 . 알려진 어려운 문제(예: STOCHASTIC-SAT)에서 조작 가능한 결과로의 형식적 감소가 가능한가? 이는 튜닝된 프로토콜 하에서 PSPACE-어려움을 증명한다.

주요 결과

• . 프리라운드에서 후보자들이 투표 대결을 통해 배제되는 방식으로 단일 프리라운드를 추가하면, 일정이 투표 수집과 번갈아가며 시행되는 경우 조작이 PSPACE-어려운 것으로 판명된다.
• . 다수결, 보르다, 맥시민, STV의 네 가지 일반적인 투표 제도 모두에 대해, 혼합 프리라운드 프로토콜 하에서의 구성 조작 문제는 PSPACE-완전하다.
• . 프로토콜 튜닝은 원래 투표 시스템의 핵심 행동을 유지하면서 전략적 조작에 대한 중대한 장벽을 마련한다.
• . 복잡도의 근본 원인은 조작자가 확률적 SAT 솔버를 시뮬레이션해야 한다는 점에 있다. 혼합 과정에서의 선택은 CNF 공식의 변수에 진리값을 할당하는 것과 동일하다.
• . 감소는 성공적인 조작 전략이 정확히 STOCHASTIC-SAT 인스턴스의 만족 가능한 할당을 찾는 것과 동일시됨을 보여주며, 이는 PSPACE-완전임이 알려져 있다.
• . 결과는 강인하다: 동일한 가중치를 가진 투표자와 단일 조작자에 대해서도 성립하며, 이는 결과가 더 강력하고 일반적임을 뒷받침한다.