[논문 리뷰] Dichotomy for Voting Systems

Edith Hemaspaandra, Lane A. Hemaspaandra|ArXiv.org|2005. 04. 15.

Game Theory and Voting Systems참고 문헌 15인용 수 6

한 줄 요약

이 논문은 점수 제도 투표 시스템의 조작 복잡도에 대한 완전한 이분법을 수립한다: 조작이 NP-완전이 되는 것은 비우호적 후보자들에게 최소 두 개의 서로 다른 점수 값을 부여할 경우에만 성립한다. 그렇지 않으면 조작은 다항식 시간 내에 해결 가능하다. 이 결과는 '미움의 다양성'—최고순위가 아닌 후보자들에게 다수의 서로 다른 점수 값이 존재하는 것—이 이 클래스의 투표 시스템에서 조작 난이도를 결정짓는 핵심 요소임을 규명한다.

ABSTRACT

Scoring protocols are a broad class of voting systems. Each is defined by a vector $(α_1,α_2,...,α_m)$, $α_1 \geq α_2 \geq >... \geq α_m$, of integers such that each voter contributes $α_1$ points to his/her first choice, $α_2$ points to his/her second choice, and so on, and any candidate receiving the most points is a winner. What is it about scoring-protocol election systems that makes some have the desirable property of being NP-complete to manipulate, while others can be manipulated in polynomial time? We find the complete, dichotomizing answer: Diversity of dislike. Every scoring-protocol election system having two or more point values assigned to candidates other than the favorite--i.e., having $||\{α_i \condition 2 \leq i \leq m\}||\geq 2$--is NP-complete to manipulate. Every other scoring-protocol election system can be manipulated in polynomial time. In effect, we show that--other than trivial systems (where all candidates alway tie), plurality voting, and plurality voting's transparently disguised translations--\emph{every} scoring-protocol election system is NP-complete to manipulate.

연구 동기 및 목표

• . 이 논문은 점수 제도 투표 시스템이 조작하기에 NP-완전인지 여부를 결정짓는 정확한 구조적 조건을 규명하고자 한다.
• 점수 규칙의 어떤 구조적 특성이 조작 복잡도가 P에서 NP-완전으로 전이되는지를 오랫동안 해결하지 못한 질문을 해결하고자 한다.
• 이러한 목표는 이전의 특정 시스템(예: 다수결, 볼라, 거부권)에 대한 결과를 일반화하여 완전한 분류 체계를 확립하는 데 있다.
• 연구는 단순한 시스템과 효율적으로 조작 가능한 혹은 계산적으로 어려운 비단순 시스템을 구분하고자 한다.
• 고정된 후보자 수와 무한한 후보자 수 설정에서 후보자 점수 다양성이 조작 복잡도에 미치는 영향을 조사하고자 한다.

제안 방법

• . 이 논문은 점수 벡터 (α1, α2, ..., αm)로 정의된 점수 제도 선거 시스템을 분석한다. 여기서 α1 ≥ α2 ≥ ... ≥ αm 이다.
• 고정된 m에 대해 가중 투표자 연합이 조작하는 상황을 모델링하기 위해 가중 조작 문제(MPα)를 도입한다.
• 핵심 기술적 접근은 3-Partition 문제에서의 감소를 통해, 집합 {αi | 2 ≤ i ≤ m}이 최소 두 개의 서로 다른 값이 있을 경우 NP-완전성을 증명하는 것이다.
• P 케이스의 경우, 점수 벡터를 동적 방식으로 계산하고 타당한 조작 전략을 결정하는 다항식 시간 알고리즘을 구축한다.
• 분석은 임의의 m에 대해 점수 벡터를 생성하는 일반 점수 함수 f를 사용하여 무한한 후보자 설정으로 확장된다.
• 점수 함수가 비우호적 위치에 다양한 값을 할당할 경우, 고정된 m에 대한 NP-완전 인스턴스에서 감소를 통해 GMPf 및 GUMPf의 NP-완전성을 증명한다.

실험 결과

연구 질문

• RQ1 . 점수 제도 선거 시스템의 어떤 구조적 특성이 조작이 P에 있는지 또는 NP-완전인지 결정짓는가?
• RQ2 . 어떤 조건에서 점수 규칙의 조작은 계산적으로 어려운가, 언제는 쉽게 가능한가?
• RQ3 . 모든 점수 규칙에 대해 조작 복잡도 기반으로 완전하고 이분적인 분류가 존재하는가?
• RQ4 . 비우호적 후보자들에게 다수의 서로 다른 점수 값이 존재할 경우 조작 난이도에 어떤 영향을 미치는가?
• RQ5 . 이 이분법 결과는 후보자 수가 무한한 시스템으로 확장될 수 있는가?

주요 결과

• . 점수 제도 선거 시스템이 조작하기에 NP-완전이 되는 것은 비우호적 후보자들에게 최소 두 개의 서로 다른 점수 값을 부여할 경우에만 성립한다.
• . 모든 비우호적 후보자들이 동일한 점수를 받는 경우(즉, ||{αi | 2 ≤ i ≤ m}|| = 1), 조작은 다항식 시간 내에 해결 가능하다.
• . 유일한 예외는 모든 후보자가 항상 동점이 되는 단순한 시스템과 다수결 투표 및 그 동형 변형으로, 이들 역시 P에 속한다.
• . 결과는 고정된 후보자 수와 무한한 후보자 수 설정 모두에 대해 성립하며, 일반 점수 함수 f로까지 확장된다.
• . NP-완전성 결과는 강건하다: 고정된 후보자 수가 존재하더라도, 점수 벡터가 비우호적 위치에서 다양성을 보일 경우 조작은 항상 NP-완전이다.
• . 이 이분법은 완전하고 포괄적이다—모든 점수 규칙이 이 두 클래스 중 하나에 속한다.