[논문 리뷰] Manipulation of Nanson's and Baldwin's Rules

Nina Narodytska, Toby Walsh외 1명|arXiv (Cornell University)|2011. 06. 27.

Game Theory and Voting Systems참고 문헌 18인용 수 5

한 줄 요약

이 논문은 Nanson의 및 Baldwin의 투표 규칙이 조작에 대한 계산적 저항성을 조사하며, 단일의 무게 없는 투표자 또는 소수의 가중 투표자로 구성된 협동 집단에 의해 조작이 NP-난이도임을 증명한다. 실험 결과, Borda 규칙보다 이 규칙들이 실제로 조작하기 훨씬 더 어렵다는 것이 나타났으며, Reverse 및 LargestFit와 같은 근사 방법이 Borda에 효과적이었던 것보다도 더 뛰어나게 작용한다.

ABSTRACT

Nanson's and Baldwin's voting rules select a winner by successively eliminating candidates with low Borda scores. We show that these rules have a number of desirable computational properties. In particular, with unweighted votes, it is NP-hard to manipulate either rule with one manipulator, whilst with weighted votes, it is NP-hard to manipulate either rule with a small number of candidates and a coalition of manipulators. As only a couple of other voting rules are known to be NP-hard to manipulate with a single manipulator, Nanson's and Baldwin's rules appear to be particularly resistant to manipulation from a theoretical perspective. We also propose a number of approximation methods for manipulating these two rules. Experiments demonstrate that both rules are often difficult to manipulate in practice. These results suggest that elimination style voting rules deserve further study.

연구 동기 및 목표

• Nanson의 및 Baldwin의 투표 규칙의 계산 복잡도를 분석하는 것. 이 규칙들은 Condorcet 일致성이며 반복적인 Borda 점수 제거 기반이다.
• 이 규칙들이 단일 조작자 또는 소수의 협동 집단에 의해 조작에 저항하는지, 특히 다른 잘 알려진 투표 규칙들과 대비하여 확인하는 것.
• 실제로 이러한 규칙을 조작하기 위한 근사 알고리즘의 효과성을 평가하는 것.
• 특히 Borda에서 유래된 제거 기반 투표 규칙이 계산적 관점에서 조작에 대해 강력한 저항성을 보이는지 탐색하는 것.

제안 방법

• 기존의 알려진 NP-난이도 문제로부터의 감소를 이용하여, Nanson의 및 Baldwin의 규칙에 대한 무게 없는 협동 조작 문제의 NP-난이도를 증명한다.
• 소수의 후보자와 조정자 협동 집단이 있는 경우, Nanson의 규칙에 대한 가중 조작 문제의 NP-난이도를 확립한다.
• 조작 전략을 추정하기 위한 네 가지 근사 휴리스틱(Reverse, LargestFit, AverageFit, 및 제거 기반 방법)을 설계하고 구현한다.
• 최대 128명의 후보자와 128명의 투표자가 포함된 합성 선거 데이터셋(균일 및 우르늄 모델)을 대상으로 광범위한 실험을 수행하여 휴리스틱 성능을 비교한다.
• 다양한 문제 크기와 규칙 유형에서 성공률 및 평균 조작자 수를 측정한다.
• 일致된 타이브레이킹 규칙(고정 순서)을 사용하며, 필요에 따라 조작자들이 자신의 이익을 위해 타이브레이킹을 수행한다고 가정한다.

실험 결과

연구 질문

• RQ1 단일의 무게 없는 투표자에 의해 Nanson의 규칙은 조작이 NP-난이도인가?
• RQ2 단일의 무게 없는 투표자에 의해 Baldwin의 규칙은 조작이 NP-난이도인가?
• RQ3 소수의 후보자와 소수의 가중 투표자로 구성된 협동 집단에 의해 Nanson의 규칙은 조작이 NP-난이도인가?
• RQ4 Nanson의 및 Baldwin의 규칙을 실제로 조작하기 위한 근사 휴리스틱은 얼마나 효과적인가?
• RQ5 Nanson의 및 Baldwin의 규칙은 실험 환경에서 Borda 규칙보다 더 강력한 조작 저항성을 보이는가?

주요 결과

• Nanson의 및 Baldwin의 규칙은 단일의 무게 없는 투표자에 의해 조작이 NP-난이도이며, 이로 인해 이 성질을 지닌 투표 규칙의 수가 2/3 증가한다.
• Nanson의 규칙은 소수의 후보자와 소수의 가중 투표자로 구성된 협동 집단에 의해 조작이 NP-난이도이며, 이는 가중 조작 상황에서도 강력한 저항성을 나타낸다.
• 실험 결과, Reverse, LargestFit, 및 AverageFit 휴리스틱이 다른 방법보다 뛰어나게 작용하며, 후보자 수가 증가할수록 더욱 두드러진다. 이는 실제로 조작이 계산적으로 어렵다는 것을 시사한다.
• Nanson의 및 Baldwin의 규칙 모두에서, 승리하기 위해 필요한 평균 조작자 수는 문제 크기가 커질수록 크게 증가하며, 이는 실질적인 조작 저항성을 나타낸다.
• Reverse 휴리스틱은 LargestFit 및 AverageFit보다 略적으로 더 잘 작동하며, 특히 문제 크기가 클수록 이점이 두드러진다. 반면 이러한 방법들은 Nanson의 및 Baldwin의 규칙에서는 Borda 규칙만큼 효과적이지 않다.
• 결과적으로, 실험적으로 Baldwin의 및 Nanson의 규칙은 Borda 규칙보다 훨씬 더 조작하기 어려운 것으로 나타났으며, 이는 LargestFit 및 AverageFit가 Borda에서는 훨씬 더 효과적이라는 점을 반영한다.