[논문 리뷰] Possible Winners in Noisy Elections

Krzysztof Wojtas, Magiera, Krzysztof외 2명|arXiv (Cornell University)|2014. 05. 26.

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

한 줄 요약

이 논문은 후보자 및 유권자 집합이 불확실한 노이즈 있는 선거에서 승자 예측을 다루며, 이를 후보자 또는 유권자를 추가/삭제하는 제어 문제의 수를 세는 변형으로 모델링한다. 일반 및 단일 피크 선호도 하에서 Plurality, $k$-Approval 및 Condorcet에 대해 다항식 시간 알고리즘을 제공하는 반면, 일반적인 경우 Approval 및 Maximin에 대해 #P-완전성을 입증하며, 복잡한 규칙에서는 뚜렷한 계산적 난이도가 나타남.

ABSTRACT

We consider the problem of predicting winners in elections, for the case where we are given complete knowledge about all possible candidates, all possible voters (together with their preferences), but where it is uncertain either which candidates exactly register for the election or which voters cast their votes. Under reasonable assumptions, our problems reduce to counting variants of election control problems. We either give polynomial-time algorithms or prove #P-completeness results for counting variants of control by adding/deleting candidates/voters for Plurality, k-Approval, Approval, Condorcet, and Maximin voting rules. We consider both the general case, where voters' preferences are unrestricted, and the case where voters' preferences are single-peaked.

연구 동기 및 목표

• 참가할 후보자 및 유권자 집합이 불확실한 선거에서 승자 예측을 모델링하기 위해.
• 이러한 불확실성을 추가/삭제된 후보자 또는 유권자에 대한 제어 문제의 수를 세는 변형으로 정식화하기 위해.
• 다양한 투표 규칙 하에서 각 후보자의 승리 확률을 계산하는 데 있어 계산 복잡도를 규명하기 위해.
• 특히 단일 피크 선호도와 같은 구조적 제약 조건이 다항식 시간 해법을 이끌 수 있는지 탐색하기 위해.
• Approval 및 Maximin에 대해 수를 세는 제어 문제와 그 决定 문제의 복잡도를 비교하기 위해.

제안 방법

• 참가 가능할 수 있는 유권자 또는 후보자 부분집합에 확률을 할당하여 불확실성을 모델링하기 위해.
• 주어진 후보자가 승리하는 부분집합의 수를 세는 것으로 승자 예측 문제를 환원하기 위해.
• 계산 사회선택 이론에서 알려진 복잡도 결과를 활용하여 이러한 수를 세는 문제의 난이도를 분석하기 위해.
• 단일 피크 선호도 가정을 적용하여 문제의 구조를 단순화하고 다항식 시간 알고리즘을 가능하게 하기 위해.
• 기존의 제어 문제 연구(예: Bartholdi 등 [3])를 활용하고 이를 수를 세는 변형으로 확장하기 위해.
• 일반 및 단일 피크 선호도 설정을 모두 분석하여 다양한 모델 간의 다항식 시간 가능성을 비교하기 위해.

실험 결과

연구 질문

• RQ1 유권자 또는 후보자 집합이 불확실할 때, 지정된 후보자가 승리할 확률을 계산하는 데 있어 계산 복잡도는 어떻게 되는가?
• RQ2 다양한 투표 규칙에 대해 수를 세는 제어 문제의 복잡도는 그 决定 문제의 복잡도와 어떻게 비교되는가?
• RQ3 단일 피크 선호도 구조는 노이즈 있는 선거에서 승자 예측의 복잡도를 감소시킬 수 있는가?
• RQ4 단일 피크 선호도 하에서도 수를 세는 제어 문제가 #P-완전성이 되는 투표 규칙가 존재하는가?
• RQ5 유권자 및 후보자 부분집합에 대한 다양한 확률 분포는 승자 예측의 다항식 시간 가능성에 어떤 영향을 미치는가?

주요 결과

• Plurality, $k$-Approval 및 Condorcet에 대해서는 일반 및 단일 피크 선호도 모두에서 수를 세는 제어 문제가 다항식 시간 내에 해결 가능하다.
• Approval 및 Maximin은 일반적인 경우에 #P-완전성을 보이며, 높은 계산적 난이도를 나타낸다.
• Approval의 경우 단일 피크 선호도 하에서도 수를 세는 제어 문제의 복잡도는 여전히 미해결 상태이며, 다른 규칙들에 비해 다항식 시간 해법이 성립하지 않음.
• Maximin에 대해서는 수를 세는 변형이 决定 변형보다 더 복잡하며, 이는 두 문제 간의 복잡도 격차를 강조한다.
• 단일 피크 선호도 가정은 복잡도를 크게 감소시키며, Approval를 제외한 모든 규칙에 대해 다항식 시간 알고리즘을 가능하게 한다.
• 결과적으로, 단일 피크성과 같은 구조적 가정은 불확실한 환경에서의 다항식 시간 승자 예측을 가능하게 하기 위해 필수적임을 시사한다.