[논문 리뷰] Complexity of Manipulation in Elections with Top-truncated Ballots

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

Game Theory and Voting Systems참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유권자가 완전한 순위 매기기 대신 상위 선호도만 제출하는 상위 절단 투표를 사용할 때 가중 투표의 계산 복잡도를 조사한다. 상위 절단은 일부 투표 규칙(예: 반올림 평가 방식을 사용하는 점수 규칙 및 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 we try to address in this paper. In particular, we look at the weighted manipulation problem -- both constructive and destructive manipulation -- when the voters are allowed to specify any top-truncated ordering over the set of candidates. We provide general results 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$^α$, and for the maximin protocol. Finally, we also look at the impact on complexity of manipulation when there is uncertainty about the non-manipulators' votes.

연구 동기 및 목표

• 유권자가 완전한 순위 매기기 대신 상위 선호도만 제공할 때 조작에 대한 계산 복잡도 장벽이 어떻게 영향을 받는지 이해하기.
• 다양한 투표 규칙에 걸쳐 구성적 및 파괴적 연합 조작(CWCM 및 DWCM)에 상위 절단이 미치는 영향을 검토하기.
• 비조정자들의 투표에 대한 불확실성이 상위 절단 설정에서 조작의 복잡도에 어떻게 영향을 미치는지 조사하기.
• Borda, STV, Copeland를 초과하는 더 넓은 투표 규칙 클래스를 고려하여 이전의 조작 복잡도 연구를 확장하기.
• 상위 절단 투표 설정에서 불확실성 하에서의 조작 복잡도에 대한 첫 번째 체계적 연구를 제공하기.

제안 방법

• 후보자 집합 C와 유권자 집합 V로 구성된 투표를 형식화하며, 각 유권자는 후보자 부분 집합에 대해 상위 절단 선호 순서를 제출한다.
• 상위 절단 투표 하에서 구성적 및 파괴적 가중 조작 문제를 정의하며, 완전한 투표와 부분 투표 상황을 구분한다.
• 다양한 투표 체계에서의 복잡도를 분석: 모든 점수 규칙, 점수 규칙의 제거 버전, 복수 후 결승전, Copeland α, 및 maximin.
• 비조정자들의 투표에 대한 불확실성의 두 모델을 도입: 확률적 및 부분 지식 모델이며, 둘 다에서 개인 조작의 난이도가 유지됨을 증명한다.
• 감소 및 복잡도 이론적 기법을 사용하여 조작 문제의 계산 난이도를 분류하며, 결과는 종합적인 표로 요약된다.
• 공간 제약으로 인해 증명은 부록에 제시하며, 넓은 클래스의 투표 규칙에 적용 가능한 일반 결과에 집중한다.

실험 결과

연구 질문

• RQ1 유권자가 완전한 순위 매기기 대신 상위 절단 투표를 제출할 때 구성적 및 파괴적 가중 조작의 복잡도는 어떻게 변화하는가?
• RQ2 어느 투표 규칙에서 상위 절단으로 인해 조작 복잡도가 감소하며, 어느 규칙에서는 부분 정보가 존재함에도 불구하고 여전히 NP-완전인가?
• RQ3 비조정자들의 투표에 대한 불확실성이 상위 절단 설정에서 조작의 어려움을 증가시키는가 아니면 감소시키는가?
• RQ4 다양한 투표 규칙 클래스 간에 상위 절단이 전략적 행동에 미치는 영향에 일반적인 패턴이 존재하는가?
• RQ5 불확실성 하에서의 조작 복잡도가 완전 정보 하에서의 복잡도와 형식적으로 연결될 수 있는가?

주요 결과

• 반올림 평가 방식을 사용하는 점수 규칙 및 maximin 규칙의 경우, 상위 절단은 완전한 투표 대비 조작의 최악의 경우 복잡도를 감소시켜 조작을 더 쉽게 만들 수 있다.
• Copeland α 및 비-복수/비-vetto 점수 규칙의 제거 버전의 경우, 상위 절단은 최악의 경우 복잡도에 영향을 주지 않지만 전략적 유인은 증가시킬 수 있다.
• STV 및 eliminate(Veto)의 경우, 상위 절단은 조작 복잡도에 영향을 주지 않으며, 완전한 투표의 경우와 동일한 NP-완전성 유지된다.
• 논문은 비조정자들의 투표에 대한 불확실성 하에서도 구성적 연합 조작이 어려운 경우 개인 조작이 여전히 어렵다는 것을 입증하며, 이는 이전 결과를 확장한다.
• 이 연구는 상위 절단 투표 설정에서 불확실성 하에서의 조작 복잡도에 대한 첫 번째 공식적 분석을 제공하며, 난이도가 유지되는 조건을 규명한다.
• 결과는 상위 절단 하에서 여러 투표 규칙에 대해 CWCM 및 DWCM의 복잡도 상태(P, NP-완전)를 요약한 종합적인 표로 정리되어 있다.