[논문 리뷰] Complexity of Manipulation in Elections with Partial Votes

Vijay Menon, Kate Larson|arXiv (Cornell University)|2015. 05. 21.

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

한 줄 요약

이 논문은 유권자가 완전한 순위 매기기 대신 부분적인 선호 순서만 제출할 경우 선거 조작의 계산 복잡도를 조사한다. 다양한 투표 규칙 하에서도 조작이 여전히 계산적으로 어렵다는 것을 입증하며, 특히 점수 규칙, Copeland$^\alpha$, 및 maximin과 같은 핵심 시스템에서는 부분 투표가 조작에 대한 장벽을 크게 낮추지 못함을 보여준다.

ABSTRACT

In the computational social choice literature, there has been great interest in understanding how computational complexity can act as a barrier against manipulation of elections. Much of this literature, however, makes the assumption that the voters or agents specify a complete preference ordering over the set of candidates. There are many multiagent systems applications, and even real-world elections, where this assumption is not warranted, and this in turn raises the question How hard is it to manipulate elections if the agents reveal only partial preference orderings?. It is this question that we study in this paper. In particular, we look at the weighted manipulation problem -- both constructive and destructive manipulation -- when such partial voting is allowed and when there are only a bounded number of candidates. We study the exact number of candidates that are required to make manipulation hard for all scoring rules, for elimination versions of all scoring rules, for the plurality with runoff rule, for a family of election systems known as Copeland$^{\alpha}$, and for the maximin protocol.

연구 동기 및 목표

• 유권자가 부분적인 선호 순서를 제공할 때 계산 복잡도가 조작에 대한 장벽으로 작용하는 방식을 이해하기 위해.
• 완전한 순위 매기기와 비교해 부분 투표가 선거 조작의 어려움을 줄이는지 여부를 검토하기 위해.
• 다양한 투표 시스템 하에서 조작이 계산적으로 어려워지기 위해 필요한 최소한의 후보 수를 규명하기 위해.
• 제한된 후보 집합이 있는 가중 투표 환경에서의 구성적 및 파괴적 조작을 분석하기 위해.

제안 방법

• 유권자의 선호를 후보자들에 대한 부분 순서로 모델링하여 부분 투표 하에서의 가중 조작 문제를 분석한다.
• 다양한 투표 시스템을 고려: 모든 점수 규칙, 점수 규칙의 제거 버전, 복수 후 결선 제도, Copeland$^\alpha$, 및 maximin.
• 계산 복잡도 이론을 활용해 부분 투표 하에서의 조작의 딱지 정도를 분류하며, 주로 NP-난이도 및 완전성 결과에 초점을 맞춘다.
• 기존의 알려진 NP-완전 문제로부터의 감소를 활용해 부분 선호 하에서의 조작의 비가역성을 증명한다.
• 선호가 불완전한 상황에서도 계산적 난이도를 유지하기 위해 필요한 후보 수의 범위를 설정한다.
• 가중 설정에서의 구성적 조작과 파괴적 조작을 부분 표본에서 구분한다.

실험 결과

연구 질문

• RQ1 부분 투표를 가정할 경우 선거 조작의 계산 복잡도에 어떤 영향을 미치는가?
• RQ2 유권자가 부분적인 선호만 제공할 때도 여전히 계산적으로 어려운 조작을 보이는 일반적인 투표 규칙는 무엇인가?
• RQ3 부분 투표 하에서 조작이 여전히 어려워지기 위해 필요한 최소 후보 수는 얼마인가?
• RQ4 가중 투표자가 존재할 경우 부분 선호 하에서 조작의 복잡도는 어떻게 변하는가?
• RQ5 부분 투표가 조작을 더 쉽게 만들 수 있는가, 아니면 여전히 복잡도가 조작에 대한 장벽으로 작용하는가?

주요 결과

• 모든 점수 규칙에서 유권자가 부분적인 선호 순서만 제출하더라도 조작이 여전히 계산적으로 어렵다.
• 점수 규칙의 제거 버전 역시 부분 투표 하에서 비가역성을 유지하며, 조작에 대한 강력한 저항성을 보여준다.
• 복수 후 결선 제도는 부분 투표 하에서도 조작이 계산적으로 어렵고, 조작에 대한 저항성이 유지된다.
• Copeland$^\alpha$ 규칙과 maximin 프로토콜은 후보 수가 제한된 상황에서도 선호가 불완전할 경우 여전히 조작이 어렵다.
• 논문은 소수의 고정된 후보 수가 부분 투표 하에서 고려된 모든 투표 시스템에서 조작을 어렵게 만들기에 충분함을 입증한다.
• 결과적으로 부분 투표는 조작에 대한 계산적 장벽을 크게 낮추지 못하며, 복잡도가 조작에 대한 저항력으로서의 강건성을 뒷받침한다.