[논문 리뷰] Control Complexity in Bucklin and Fallback Voting

Gábor Erdélyi, Michael R. Fellows외 2명|arXiv (Cornell University)|2011. 03. 11.

Game Theory and Voting Systems참고 문헌 62인용 수 12

한 줄 요약

이 논문은 버클린 및 패러럴 투표 시스템에서의 선거 제어의 계산 복잡도를 조사하며, 패러럴 투표가 표준 제어 유형 중에서 파괴적 제어를 제외한 모든 것에 저항함을 보여준다. 또한 패러럴 투표가 다항 시간 내에 승자 결정이 가능한 자연스러운 투표 시스템 중에서 가장 넓은 제어 저항성을 보이며, 이는 알려진 바 중 가장 광범위한 저항성을 가진다.

ABSTRACT

Electoral control models ways of changing the outcome of an election via such actions as adding/deleting/partitioning either candidates or voters. To protect elections from such control attempts, computational complexity has been investigated and the corresponding NP-hardness results are termed "resistance." It has been a long-running project of research in this area to classify the major voting systems in terms of their resistance properties. We show that fallback voting, an election system proposed by Brams and Sanver (2009) to combine Bucklin with approval voting, is resistant to each of the common types of control except to destructive control by either adding or deleting voters. Thus fallback voting displays the broadest control resistance currently known to hold among natural election systems with a polynomial-time winner problem. We also study the control complexity of Bucklin voting and show that it performs at least almost as well as fallback voting in terms of control resistance. As Bucklin voting is a special case of fallback voting, each resistance shown for Bucklin voting strengthens the corresponding resistance for fallback voting. Such worst-case complexity analysis is at best an indication of security against control attempts, rather than a proof. In practice, the difficulty of control will depend on the structure of typical instances. We investigate the parameterized control complexity of Bucklin and fallback voting, according to several parameters that are often likely to be small for typical instances. Our results, though still in the worst-case complexity model, can be interpreted as significant strengthenings of the resistance demonstrations based on NP-hardness.

연구 동기 및 목표

• 패러럴 투표와 버클린 투표 시스템이 다양한 유형의 선거 제어에 얼마나 저항하는지 분석하기.
• 이러한 시스템에서 어떤 제어 유형이 계산적으로 어려운가(비결정성 다항식 시간 내에 해결 불가능, NP-완전)이고, 어떤 것은 쉽게 해결 가능한가(다항식 시간 내에 해결 가능, P에 속함)를 판단하기.
• 핵심 제어 문제에 대해 자연스러운 매개변수화를 적용하여 NP-완전성 결과를 강화하고, W[2]-완전성(또는 W[2]-하드)임을 보여주기.
• 패러럴 투표와 버클린 투표의 제어 저항성 측면에서 비교하여 상대적인 강점과 약점을 파악하기.

제안 방법

• 투표 시스템에서의 제어를 형식화한 모델을 제안하며, 투표자 또는 후보자 추가/삭제/분할을 통한 구성적 제어 및 파괴적 제어를 포함한다.
• NP-완전 문제(예: 히팅 세트)로부터의 축소를 사용하여 패러럴 투표 및 버클린 투표에서의 제어 문제의 NP-완전성을 증명한다.
• 매개변수화된 복잡도 기법을 적용하여 핵심 제어 문제들이 자연스러운 매개변수화 하에 W[2]-하드임을 보여준다.
• 특화된 승인 점수를 가진 구조화된 투표자 및 후보자 집합을 사용하여 제어 시나리오를 시뮬레이션하고 저항성을 증명한다.
• 다양한 제어 모델을 분석한다: 구성적/파괴적, 투표자 또는 후보자 추가/삭제/분할, 그리고 다양한 연장 처리 규칙(TE, TP).
• 점수 표와 단계별 분석(레벨 1, 2, 3)을 사용하여 선거 단계별 승인 점수 및 버클린 점수를 추적한다.

실험 결과

연구 질문

• RQ1 패러럴 투표는 모든 표준 유형의 선거 제어에 저항하는가?
• RQ2 패러럴 투표의 제어 복잡도는 버클린 투표와 비교해 어떤가?
• RQ3 패러럴 투표 또는 버클린 투표가 취약한(즉, P에 속하는) 제어 유형이 존재하는가?
• RQ4 제어 문제의 NP-완전성 결과를 매개변수화된 복잡도를 통해 강화할 수 있는가?
• RQ5 자연스러운 매개변수(예: 히팅 세트의 크기, 후보자 수)가 제어 복잡도에 어떤 영향을 미치는가?

주요 결과

• 패러럴 투표는 22개의 표준 제어 유형 중 20개에 대해 저항하며, 유일한 취약점은 파괴적 제어의 투표자 추가 또는 삭제이다.
• 버클린 투표는 최소 19개의 제어 유형에 저항하며, 최소 두 가지의 취약점이 있으며, 최대 세 가지까지 존재할 수 있다.
• 버클린 투표에서 투표자 분할에 의한 파괴적 제어 문제의 TP 모델은 여전히 미해결 상태이다.
• 패러럴 투표 및 버클린 투표에서의 모든 NP-완전성 결과는 자연스러운 매개변수화 하에 W[2]-하드임을 보여줌으로써 강화되었다.
• 히팅 세트 문제에서 제어 문제로의 축소는 핵심 난이도가 작은 히팅 세트를 찾는 데에 있음을 보여주며, 이는 매개변수화된 복잡도 이론의 통찰과 일치한다.
• 최종 단계 분석을 통해 후보자 c가 유일한 패러럴 투표 승자로 될 수 없게 하려면 히팅 세트 인스턴스에 있는 모든 집합이 커버되어야 함을 증명함으로써 축소의 정확성이 입증되었다.