[논문 리뷰] Llull and Copeland Voting Computationally Resist Bribery and Control

Piotr Faliszewski, Edith Hemaspaandra외 2명|ArXiv.org|2008. 09. 25.

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

한 줄 요약

이 논문은 매개수 α를 가진 코페런드 투표(Copelandα) — 표준 코페런드 0.5 시스템과 13세기 룰 루르의 시스템(Copeland 1)을 포함하여 — 모든 표준 유형의 구성적 통제 및 뇌물 공격에 대해 계산적으로 저항됨을 입증한다. 모든 유리수 α ∈ [0,1]에 대해 완전한 저항성을 입증함으로써, 코페런드α는 유일한 승자 문제를 다항시간 내에 해결할 수 있는 자연스러운 투표 체계로서 이 정도의 계산적 강건성을 달성한 최초의 시스템이다.

ABSTRACT

The only systems previously known to be resistant to all the standard control types were highly artificial election systems created by hybridization. We study a parameterized version of Copeland voting, denoted by Copeland^α, where the parameter αis a rational number between 0 and 1 that specifies how ties are valued in the pairwise comparisons of candidates. We prove that Copeland^{0.5}, the system commonly referred to as "Copeland voting," provides full resistance to constructive control, and we prove the same for Copeland^α, for all rational α, 0 < α< 1. Copeland voting is the first natural election system proven to have full resistance to constructive control. We also prove that both Copeland^1 (Llull elections) and Copeland^0 are resistant to all standard types of constructive control other than one variant of addition of candidates. Moreover, we show that for each rational α, 0 \leq α\leq 1, Copeland^αvoting is fully resistant to bribery attacks, and we establish fixed-parameter tractability of bounded-case control for Copeland^α. We also study Copeland^αelections under more flexible models such as microbribery and extended control and we integrate the potential irrationality of voter preferences into many of our results.

연구 동기 및 목표

• 코페런드α 투표가 다양한 형태의 선거 통제 및 뇌물 공격에 대해 계산적으로 저항하는지 확인하는 것.
• 이전의 인위적 시스템에 대한 결과를 다항시간 내에 승자 결정이 가능한 자연스럽고 실제 세계의 투표 체계로 확장하는 것.
• 유권자 비합리성과 유연한 모델(예: 마이크로브리베이, 확장된 통제)이 저항 성질에 미치는 영향을 분석하는 것.
• 모든 표준 통제 유형과 뇌물 변형에 대해 저항성/취약성의 포괄적 분류를 제공하는 것.
• 코페런드α에서 제한된 경우의 통제에 대해 고정 매개수 다항시간 복잡도를 확립하는 것.

제안 방법

• NP-완전 문제(예: X3C, 3SAT)로부터의 축소를 통한 코페런드α에서의 통제 및 뇌물 문제의 NP-난이도 입증.
• 비합리적 유권자 선호도 하에서 마이크로브리베이의 취약성을 입증하기 위해 최소비용 네트워크 플로우 기법의 사용.
• 통제 시나리오(예: 후보자 또는 유권자 추가/삭제)를 시뮬레이션하기 위해 후보자 및 유권자 집합을 특수 설계한 선거 인스턴스의 구축.
• 타이드-프로모트/에리미네이트 규칙을 포함한 바르톨디, 토베이, 트릭의 통제 모델을 적응하여 모델 일관성 확보.
• 기본적인 NP-완전 문제를 해결하는 것과 동일한 난이도로 통제/뇌물 문제를 해결할 수 있음을 보여주는 축소를 통한 저항성 입증.
• 유일 승자 모델과 비유일 승자 모델을 모두 분석하여 선거 결과 정의에 관계없이 결과의 강건성 확보.

실험 결과

연구 질문

• RQ1 α ∈ [0,1]의 어떤 값에서 코페런드α는 후보자 또는 유권자를 추가/삭제하는 방식의 구성적 통제에 저항하는가?
• RQ2 코페런드α는 뇌물 공격에 저항하는가? 이 저항성은 α에 따라 어떻게 달라지는가?
• RQ3 특히 유권자 선호도가 비합리적일 경우, 마이크로브리베이는 코페런드α에서 효율적으로 해결 가능한가?
• RQ4 코페런드α에서 제한된 경우의 통제에 대해 고정 매개수 다항시간 복잡도 상태는 어떠한가?
• RQ5 루르의 시스템(Copeland 1)은 통제 및 뇌물 공격에 대해 코페런드α와 비교해 어떤가?

주요 결과

• 모든 유리수 α ∈ [0,1]에 대해 코페런드α는 모든 표준 유형의 구성적 통제에 대해 완전히 저항한다. 이는 코페런드 0.5와 코페런드 1을 포함한다.
• 코페런드 0.5(표준 코페런드 투표)는 다항시간 내에 승자를 결정할 수 있는 자연스러운 투표 체계로서 구성적 통제에 대해 완전히 저항됨이 입증된 최초의 시스템이다.
• 코페런드 1(루르의 시스템)은 후보자 추가의 한 유형을 제외하고는 모든 표준 구성적 통제 유형에 저항한다.
• 모든 유리수 α ∈ [0,1]에 대해 코페런드α는 뇌물 공격에 대해 완전히 저항하며, 강력한 계산적 강건성을 보여준다.
• 마이크로브리베이는 코페런드α에서 취약하지만, 이는 새로운 최소비용 네트워크 플로우 기법을 통해 입증되어 엄밀한 복잡도 경계를 설정한다.
• 코페런드α에서 제한된 경우의 통제는 고정 매개수 다항시간 복잡도를 갖는다. 이는 통제가 작은 매개수 값에서만 가능함을 시사한다.