[논문 리뷰] Detecting Possible Manipulators in Elections

Palash Dey, Neeldhara Misra외 1명|arXiv (Cornell University)|2015. 05. 04.

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

한 줄 요약

이 논문은 Coalitional Possible Manipulators (CPM) 및 그 변형 문제를 수식화하고 해결하는 계산 프레임워크를 제안하여 선거에서 잠재적 조작자들을 탐지한다. 일반적인 투표 규칙에 대해 다항 시간 알고리즘을 제시하며, 조작이 계산적으로 어려운 경우에도 탐지가 실현 가능할 수 있음을 보여주는데, 이는 Borda 규칙의 사례에서 입증되었다.

ABSTRACT

Manipulation is a problem of fundamental importance in the context of voting in which the voters exercise their votes strategically instead of voting honestly to prevent selection of an alternative that is less preferred. The Gibbard-Satterthwaite theorem shows that there is no strategy-proof voting rule that simultaneously satisfies certain combinations of desirable properties. Researchers have attempted to get around the impossibility results in several ways such as domain restriction and computational hardness of manipulation. However these approaches have been shown to have limitations. Since prevention of manipulation seems to be elusive, an interesting research direction therefore is detection of manipulation. Motivated by this, we initiate the study of detection of possible manipulators in an election.We formulate two pertinent computational problems - Coalitional Possible Manipulators (CPM) and Coalitional Possible Manipulators given Winner (CPMW), where a suspect group of voters is provided as input to compute whether they can be a potential coalition of possible manipulators. In the absence of any suspect group, we formulate two more computational problems namely Coalitional Possible Manipulators Search (CPMS), and Coalitional Possible Manipulators Search given Winner (CPMSW). We provide polynomial time algorithms for these problems, for several popular voting rules. For a few other voting rules, we show that these problems are in NP-complete. We observe that detecting manipulation maybe easy even when manipulation is hard, as seen for example, in the case of the Borda voting rule.

연구 동기 및 목표

• 투표 시스템에서 유권자가 비정직하게 행동하여 결과를 조작하는 전략적 조작 문제를 다루기 위한 것이다.
• 사전에 알려진 조작자 집단이 있는지 여부에 관계없이, 의심스러운 유권자 집단을 잠재적 조작자로 식별하기 위한 계산 문제를 체계화하기 위한 것이다.
• 다양한 투표 규칙 하에서 조작 탐지의 계산 복잡도를 규명하며, 특히 조작이 어려운 데 비해 탐지는 쉬운 경우를 대비하여 분석하기 위한 것이다.
• 실제 응용 가능성을 높이기 위해 널리 사용되는 투표 규칙에서 조작 탐지를 위한 효율적인 알고리즘을 제공함으로써, 선거의 무결성 모니터링을 위한 실용적 도구를 마련하기 위한 것이다.

제안 방법

• Coalitional Possible Manipulators (CPM) 문제를 수립: 주어진 유권자 집단이 선거 결과를 조작할 수 있는 연합을 형성할 수 있는지 판단하는 것.
• CPMW를 도입하여 조작이 특정 승자를 가져와야 한다는 제약 조건을 추가함으로써 실용적 적용성을 높임.
• CPMS 및 CPMSW를 정의하여 사전에 집단이 제공되지 않은 경우 의심스러운 집단을 식별하는 검색 문제로 전환함.
• 승인, 다수결, 거부 투표 규칙 하에서 CPM 및 관련 문제에 대해 다항 시간 알고리즘을 개발함.
• STV 및 maximin 등의 일부 규칙 하에서 CPM이 NP-완전임을 증명함으로써, 일부 환경에서는 계산적으로 어려운 문제임을 밝힘.
• 조작(종종 어려움)과 탐지(때로는 쉬움) 사이의 복잡도 격차를 분석하며, Borda 규칙을 사례로 제시함.

실험 결과

연구 질문

• RQ1 일반적인 투표 규칙 하에서 주어진 유권자 집단이 선거 결과를 조작했을 가능성이 효율적으로 탐지될 수 있는가?
• RQ2 사전에 집단이 알려져 있지 않은 상태에서, 선거를 조작했을 의심스러운 유권자 연합을 탐색하는 것이 계산적으로 가능할 수 있는가?
• RQ3 조작의 계산적 난이도가 조작 탐지의 난이도와 비례하는가?
• RQ4 어떤 투표 규칙에서는 가능한 조작자 탐지 문제가 다항 시간 내에 해결될 수 있는가?

주요 결과

• 승인, 다수결, 거부 투표 규칙 하에서 가능한 조작자 탐지 문제에 대해 다항 시간 알고리즘이 존재한다.
• Borda 투표 규칙은 조작이 계산적으로 어려운 경우에도 가능한 조작자 탐지가 여전히 실현 가능함을 보여주는 사례이다.
• STV 및 maximin 등의 일부 투표 규칙에서는 탐지 문제가 NP-완전함을 보여주며, 이는 본질적인 계산적 난이도를 암시한다.
• CPMW의 수식화를 통해 조작이 특정 승자를 가져와야 한다는 조건 하에서의 탐지가 가능해져 실생활 적용 가능성이 향상된다.
• 본 연구는 핵심 통찰을 제시한다: 조작 자체가 계산적으로 어려운 경우에도 조작 탐지는 계산적으로 쉬울 수 있으며, 이는 두 문제 간의 관계에 대한 기존의 가정을 도전한다.