[논문 리뷰] Taking the Final Step to a Full Dichotomy of the Possible Winner Problem in Pure Scoring Rules

Dorothea Baumeister, Jörg Rothe|arXiv (Cornell University)|2011. 08. 22.

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

한 줄 요약

이 논문은 순수 점수 규칙 하에서 가능한 승자 문제의 이분법을 완성하여, 이전에 해결되지 않은 점수 벡터 (2,1,…,1,0)를 가진 규칙에 대해 NP-완전성을 증명함으로써 완성한다. 베테슬러와 도른의 거의 완전한 분류를 바탕으로, 저자들은 히팅 세트 문제에서 다항 시간 다대일 축소를 통해 이 규칙이 여전히 계산적으로 어렵다는 것을 입증함으로써, 무게 없는 순수 점수 규칙과 무한한 후보자가 있는 경우의 복잡성 지도를 완전히 마무리한다.

ABSTRACT

The Possible Winner problem asks, given an election where the voters' preferences over the candidates are specified only partially, whether a designated candidate can become a winner by suitably extending all the votes. Betzler and Dorn [1] proved a result that is only one step away from a full dichotomy of this problem for the important class of pure scoring rules in the case of unweighted voters and an unbounded number of candidates: Possible Winner is NP-complete for all pure scoring rules except plurality, veto, and the scoring rule with vector (2,1,...,1,0), but is solvable in polynomial time for plurality and veto. We take the final step to a full dichotomy by showing that Possible Winner is NP-complete also for the scoring rule with vector (2,1,...,1,0).

연구 동기 및 목표

• 베테슬러와 도른의 순수 점수 규칙에 대한 가능한 승자 문제의 거의 완전한 이분법에서 남아 있는 열린 케이스를 해결하기 위해.
• 점수 벡터 (2,1,…,1,0)를 가진 순수 점수 규칙 하에서 가능한 승자 문제의 계산 복잡도를 규명하기 위해.
• 이 마지막으로 해결되지 않은 점수 규칙에 대해 NP-완전성을 보여줌으로써 전체 이분법을 완성하기 위해.
• 부분적인 선호가 있는 투표 시스템에서 계산적 난이도에 대한 이해를 강화하기 위해.

제안 방법

• NP-완전한 히팅 세트 문제에서 점수 벡터 (2,1,…,1,0)를 가진 가능한 승자 문제로의 다항 시간 다대일 축소를 구성하기 위해.
• 특정 점수 제약 조건을 가진 부분 투표로 히팅 세트 인스턴스를 인코딩하는 투표 구성 방법을 설계하기 위해.
• 후보자의 점수와 투표 구조를 사용하여 승자 결정을 통해 히팅 세트의 선택을 시뮬레이션하기 위해.
• 지정된 후보자가 유일하게 이길 수 있는 경우는, 인코딩된 인스턴스에 크기가 k 이하인 유효한 히팅 세트가 존재할 때뿐임을 보장하기 위해.
• 이중 함의를 통한 정당성 증명: 히팅 세트의 해가 존재하면 가능한 승자 확장이 존재하고, 그 반대도 마찬가지임을 증명하기 위해.

실험 결과

연구 질문

• RQ1 순수 점수 규칙의 점수 벡터 (2,1,…,1,0) 하에서 가능한 승자 문제는 NP-완전인가?
• RQ2 이 규칙은 순수 점수 규칙 하에서 가능한 승자 문제의 이분법에서 남은 하드 케이스를 완성하는가?
• RQ3 기존의 알려진 NP-완전 문제에서의 축소를 통해 이 규칙의 해결되지 않은 복잡도를 해결할 수 있는가?
• RQ4 이 규칙은 투표 시스템 복잡성의 광범위한 분류에서 어떤 역할을 하는가?

주요 결과

• 점수 벡터 (2,1,…,1,0)를 가진 순수 점수 규칙 하에서 가능한 승자 문제는 NP-완전하며, 이는 이분법의 마지막 열린 케이스를 해결한다.
• 이 결과는 무게 없는 투표와 무한한 후보자 집합을 가진 순수 점수 규칙 하에서 가능한 승자 문제의 전체 이분법을 완성한다.
• 증명은 히팅 세트 문제에서 (2,1,…,1,0) 규칙 하의 가능한 승자 인스턴스로의 다대일 축소를 확립한다.
• 축소는 크기가 k 이하인 유효한 히팅 세트의 존재성이 지정된 후보자가 가능한 승자임과 동치임을 보여준다.
• 이 결과는 가능한 승자 문제가 특수한 경우이므로, 동일한 점수 규칙 하에서 스왑 브리베이 문제의 NP-난이도를 암시한다.