[논문 리뷰] Complexity of Manipulating Elections with Few Candidates

Vincent Conitzer, Tüomas Sandholm|arXiv (Cornell University)|2002. 05. 29.

Game Theory and Voting Systems참고 문헌 7인용 수 26

한 줄 요약

이 논문은 후보자 수가 적지만 투표자 수가 많을 때 선거 조작의 계산 복잡도를 조사한다. 완전 정보 하에서 개인적이고 무게 없는 협동 조작은 해석 가능하지만, 구성적 협동 조작은 가중 투표자 존재 시 NP-난이도가 된다—비랜덤화된 컵 프로토콜을 제외하고는. 컵과 같은 프로토콜에서의 랜덤화는 조작 난이도를 더욱 높일 수 있으며, 가중 설정에서의 난이도는 타인의 투표에 대한 불확실성 하에서도 난이도가 높음을 암시한다.

ABSTRACT

In multiagent settings where the agents have different preferences, preference aggregation is a central issue. Voting is a general method for preference aggregation, but seminal results have shown that all general voting protocols are manipulable. One could try to avoid manipulation by using voting protocols where determining a beneficial manipulation is hard. Especially among computational agents, it is reasonable to measure this hardness by computational complexity. Some earlier work has been done in this area, but it was assumed that the number of voters and candidates is unbounded. We derive hardness results for practical multiagent settings where the number of candidates is small but the number of voters can be large. We show that with complete information about the others' votes, individual manipulation is easy, and coalitional manipulation is easy with unweighted voters. However, constructive coalitional manipulation with weighted voters is intractable for all of the voting protocols under study, except for the nonrandomized Cup. Destructive manipulation tends to be easier. Randomizing over instantiations of the protocols (such as schedules of the Cup protocol) can be used to make manipulation hard. Finally, we show that under weak assumptions, if weighted coalitional manipulation with complete information about the others' votes is hard in some voting protocol, then individual and unweighted manipulation is hard when there is uncertainty about the others' votes.

연구 동기 및 목표

• 후보자 수가 적지만 투표자 수가 많을 때 투표 시스템 조작의 계산 복잡도를 분석하기.
• 후보자 수가 적은 상황에서도 조작이 여전히 계산적으로 난이도가 높은 조건을 규명하기.
• 투표자 가중치와 타인의 투표에 대한 불확실성의 영향을 조작 복잡도에 대해 탐색하기.
• 투표 프로토콜에서의 랜덤화가 조작 난이도를 증가시킬 수 있는지 평가하기.
• 완전 정보 하의 가중 조작 난이도와 불확실성 하의 난이도 간의 관계 설정하기.

제안 방법

• 후보자 수가 제한된 설정에서 표준 투표 프로토콜(다수결, 보르다, STV, 컵, 랜덤화된 컵)을 분석한다.
• 계산 복잡도 이론을 사용하여 조작 문제를 P 또는 NP-난이도로 분류한다.
• 기존의 NP-난이도 문제(예: 부분합 문제)에서의 감소를 적용하여 가중 협동 조작의 난이도를 증명한다.
• 프로토콜의 랜덤화된 인스턴스(예: 컵의 랜덤 스케줄)를 도입하여 조작 복잡도를 증가시킨다.
• 완전 정보 하의 가중 조작 문제에서 불확실성 기반 조작 문제로의 감소를 활용한다.
• 완전한 상관관계를 사용하여 무게 없는 설정에서 가중 투표를 시뮬레이션한다.

실험 결과

연구 질문

• RQ1 후보자 수가 적을 때 가중 투표자와 함께 구성적 협동 조작이 계산적으로 난이도가 높은가?
• RQ2 컵과 같은 투표 프로토콜에서의 랜덤화는 후보자 수가 적더라도 조작 난이도를 높일 수 있는가?
• RQ3 완전 정보 하의 가중 조작 난이도는 타인의 투표에 대한 불확실성 하에서도 난이도가 높은가?
• RQ4 투표자가 무게 없을 때와 가중일 때 조작 복잡도가 어떻게 변화하는가?
• RQ5 가중 사례에서의 감소를 사용하여 무게 없는 조건에서의 불확실성 하의 조작이 NP-난이도임을 증명할 수 있는가?

주요 결과

• 비랜덤화된 컵 프로토콜을 제외하고는 연구된 모든 투표 프로토콜에서 가중 투표자와 함께 구성적 협동 조작은 NP-난이도이다.
• 완전 정보 하에서 개인 조작은 가중 투표자 존재 시에도 해석 가능하다.
• 모든 프로토콜에서 파괴적 조작은 구성적 조작보다 일반적으로 더 쉽다.
• 인스턴스(예: 컵 스케줄)에 대한 랜덤화는 조작을 계산적으로 난이도 있게 만들 수 있다.
• 완전 정보 하의 가중 협동 조작이 난이도가 높다면, 타인의 투표에 대한 불확실성 하에서도 개인적·무게 없는 조작이 난이도가 높다는 것을 의미한다.
• 투표 분포가 완전한 상관관계를 허용할 경우, 무게 없는 조작 문제의 불확실성 하에서도 NP-난이도가 유지된다.