[논문 리뷰] An Empirical Study of the Manipulability of Single Transferable Voting

Toby Walsh|arXiv (Cornell University)|2010. 05. 28.

Game Theory and Voting Systems참고 문헌 28인용 수 35

한 줄 요약

이 논문은 단일 이전 투표(Stv)에서 조작을 방해하는 데 계산 복잡도가 작용하는지 여부를 경험적으로 조사한다. STV는 조작이 NP-난이도임이 입증된 투표 규칙이다. 균일, 상관, 실제 데이터를 포함한 다양한 투표 분포를 사용하여 연구한 결과, 단일 당사자가 조작을 수행하는 것은 거의 항상 계산적으로 쉽게 수행 가능하거나 불가능한 것으로 입증되며, 이는 NP-난이도가 실질적으로 조작을 효과적으로 방지하지 못함을 시사한다.

ABSTRACT

Voting is a simple mechanism to combine together the preferences of multiple agents. Agents may try to manipulate the result of voting by mis-reporting their preferences. One barrier that might exist to such manipulation is computational complexity. In particular, it has been shown that it is NP-hard to compute how to manipulate a number of different voting rules. However, NP-hardness only bounds the worst-case complexity. Recent theoretical results suggest that manipulation may often be easy in practice. In this paper, we study empirically the manipulability of single transferable voting (STV) to determine if computational complexity is really a barrier to manipulation. STV was one of the first voting rules shown to be NP-hard. It also appears one of the harder voting rules to manipulate. We sample a number of distributions of votes including uniform and real world elections. In almost every election in our experiments, it was easy to compute how a single agent could manipulate the election or to prove that manipulation by a single agent was impossible.

연구 동기 및 목표

• STV 조작의 NP-난이도가 실질적인 조작 장벽으로 작용하는지 평가하기 위해.
• 균일, 상관, 실제 투표 선거를 포함한 다양한 투표 분포 하에서 조작의 계산 난이도를 조사하기 위해.
• 실제 선거 상황에서 단일 당사자 또는 소규모 연합이 여전히 조작을 어렵게 유지하는지 평가하기 위해.
• 이론적 예측과 경험적 결과를 비교하여, 최악의 경우 NP-난이도임에도 평균적으로 조작이 쉬울 수 있다는 가정을 검토하기 위해.

제안 방법

• 단일 당사자가 STV 선거에서 원하는 후보자가 승리하도록 조작할 수 있는지 여부를 계산하기 위해 재귀적 백트래킹 알고리즘을 사용한다.
• 균일한 랜덤, 복합 우물 모델을 통한 상관, 나사 및 UC Irvine의 교수 채용 위원회에서 수집한 실제 데이터를 포함한 여러 분포에서 투표를 샘플링한다.
• 각 선거에서 단일 조작자의 가능한 모든 투표 전략을 테스트하여 성공적인 조작이 존재하는지 여부를 판단한다.
• 후보자 수(최대 128명)와 참가자 수를 다양하게 하여 계산 비용과 조작 발견 성공률을 측정한다.
• 관측된 스케일링 행동을 이론적 최악의 경우 경계(예: 1.62^m 지수적 증가)와 비교한다.
• 연합에 의한 조작을 평가하기 위해 탐욕적 히우리스틱을 사용하고, 조작 확률의 전이점 분석을 수행한다.

실험 결과

연구 질문

• RQ1 STV 조작은 최악의 경우 NP-난이도이지만 실질적으로 계산적으로 어렵게 느껴지는가?
• RQ2 균일, 상관, 실제 데이터를 포함한 다양한 투표 분포에서 STV 조작의 난이도는 어떻게 달라지는가?
• RQ3 단일 당사자가 STV 선거를 신뢰성 있게 조작할 수 있으며, 후보자 수 증가에 따라 필요한 계산 비용은 어떻게 변화하는가?
• RQ4 일부 상관 없는 투표자가 존재할 경우, 이는 이전에 어려웠던 경우에 계산 가능성을 복원하는가?
• RQ5 이론적 예측과 비교하여 결과는 평균적으로 조작이 쉬울 수 있다는 예측과 어떻게 다를까?

주요 결과

• 모든 시뮬레이션된 선거에서 단일 당사자가 결과를 조작할 수 있는지 여부를 결정하거나 조작이 불가능한 것으로 입증하는 데 계산적으로 매우 쉽게 수행되었다.
• 관측된 계산 비용은 이론적 최악의 경우 경계인 1.62^m보다 훨씬 우수하게 스케일링되었으며, 최대 128명의 후보자에 대해서도 효율적인 계산이 가능했다.
• 균일한 랜덤 투표와 나사, UC Irvine의 실제 데이터 모두에서 조작은 계산적으로 쉽게 수행되었으며, 데이터 세트 간 유사한 스케일링 행동을 보였다.
• 높은 상관성이 있는 '균형 잡힌' 선거에서도 단일 상관 없는 당사자가 계산 가능성을 복원하여, 이전에 조작이 어려웠던 몇몇 케이스에서 난이도를 뒤집었다.
• 결과적으로 계산 복잡도가 STV에서 조작을 의미 있는 장벽으로 작용하지 않으며, NP-난이도가 저항을 보장한다는 가정과 모순된다.
• 이 연구는 이론적 예측이 평균적으로 조작이 쉽다는 것이 STV에 대해 실제로도 성립함을 확인하였으며, 특히 현실적인 투표 분포 하에서 더욱 그렇다.