[논문 리뷰] Combining Voting Rules Together

Nina Narodytska, Toby Walsh외 1명|arXiv (Cornell University)|2012. 03. 14.

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

한 줄 요약

이 논문은 개별 투표 규칙의 승자를 뛰어넘는 결선투표를 실행하는 투표 규칙 조합기법을 제안하며, 기초 규칙 중 하나가 그러한 성질을 가질 경우 이를 유추함으로써 콘도르세 일致성과 같은 바람직한 성질을 상속함을 보여준다. 이 방법은 조작의 계산 난이도를 높이고, 근사 최적 조작을 찾는 데 성능을 향상시킨다.

ABSTRACT

We propose a simple method for combining together voting rules that performs a run-off between the different winners of each voting rule. We prove that this combinator has several good properties. For instance, even if just one of the base voting rules has a desirable property like Condorcet consistency, the combination inherits this property. In addition, we prove that combining voting rules together in this way can make finding a manipulation more computationally difficult. Finally, we study the impact of this combinator on approximation methods that find close to optimal manipulations.

연구 동기 및 목표

• 다양한 투표 규칙을 조합하여 집단 의사결정을 향상시키는 단순하고 효과적인 방법을 개발하는 것.
• 투표 규칙을 조합함으로써 기초 규칙 하나에서 유래한 규범적 성질(예: 콘도르세 일치성)을 상속할 수 있는지 조사하는 것.
• 조합기가 투표 조작의 계산 복잡성에 어떤 영향을 미치는지 분석하는 것.
• 조합기가 근사 최적 조작을 찾는 데에 영향을 미치는 근사 알고리즘의 성능에 어떤 영향을 미치는지 평가하는 것.

제안 방법

• 모든 기초 투표 규칙을 동일한 프로파일에서 동시에 실행하여 각각의 승자 집합을 수집한다.
• 개별 규칙의 승자들 간에 결선투표를 실시하여 최종 승자를 선출한다.
• 콘도르세 일치성, 단조성, 일관성과 같은 규범적 성질에 대해 수학적으로 분석한다.
• 가중 투표 하에서 조작의 계산 복잡성을 연구하며, 보편적 + 컵 조합의 경우 NP-난이도임을 증명한다.
• 근사 알고리즘(Greedy, AdaptGreedy)을 조합된 규칙에 적응시켜 근사 최적 조작을 찾는 데의 성능을 평가한다.
• 실험은 후보자 수와 투표자 수(n, m ∈ {4, 8, 16, 32})가 다양할 때 균일 및 폴리아-에겐베르거 우르늄으로 생성된 합성 데이터를 사용한다.

실험 결과

연구 질문

• RQ1 투표 규칙 조합기가 기초 규칙 하나에서만 유래한 바람직한 규범적 성질(예: 콘도르세 일치성)을 상속할 수 있는가?
• RQ2 결선투표를 통한 투표 규칙 조합이 조작을 찾는 데 있어 계산 복잡성을 어떻게 영향을 미치는가?
• RQ3 조합기는 전략적 투표에서 근사 알고리즘의 성능을 어느 정도 향상시키는가?
• RQ4 조합기는 단조성과 일관성과 같은 핵심 성질을 유지하거나 파괴하는가?
• RQ5 근사 알고리즘의 적응이 개별 규칙 대비 조합된 규칙에서 사용되는 조작자 수는 어떻게 변화하는가?

주요 결과

• 기초 규칙 중 하나가 콘도르세 일치성을 가질 경우, 조합기는 그 성질을 상속한다. 다른 기초 규칙이 일치성을 가지 않더라도 마찬가지다.
• 조합은 조작의 계산 난이도를 높인다: 보편적 + 컵 조합의 경우, 개별적으로 다항 시간 내에 조작 가능한 두 규칙이지만 전체적으로는 NP-난이도임을 증명한다.
• 조합된 규칙에 적응된 근사 알고리즘(예: AdaptGreedy)은 최적해에 비해 최대 한 명의 추가 조작자가 필요로 한다.
• 표준 근사 알고리즘(예: 보편적 규칙에 대한 Greedy)은 조합된 규칙에서는 최적해에 비해 훨씬 많은 조작자가 필요로 하므로, 적응이 필수적임을 시사한다.
• AdaptGreedy 알고리즘은 모든 테스트된 선거 규모에서 표준 휴리스틱보다 뛰어난 성능을 보이며, 최소한의 초과 조작자를 포함해 근사 최적 결과를 달성한다.
• 조합기는 단조성과 일관성을 유지하지 못하며, 이는 결선투표 메커니즘이 원인이다.