[논문 리뷰] X THEN X: Manipulation of Same-System Runoff Elections

Zack Fitzsimmons, Edith Hemaspaandra외 1명|arXiv (Cornell University)|2013. 01. 25.

Internet Traffic Analysis and Secure E-voting참고 문헌 26인용 수 3

한 줄 요약

이 논문은 동일한 투표 규칙을 두 번째 라운드에도 사용하는 리콜 선거의 계산 복잡도를 조사한다. 표준 리콜과 재투표를 허용하는 리콜을 비교하며, 자연스러운 선거 체계에서 리콜이 조작 복잡도를 증가시킬 수 있음을 보여주며, 기존에 쉽게 조작 가능한 기반 체계라도 리콜이 조작 난이도를 높일 수 있음을 처음으로 증명한다. 이는 동일 체계 리콜이 조작 난이도를 높일 수 있음을 보여주며, 가중치가 있는 및 없는 설정에서의 예시를 포함한다.

ABSTRACT

Do runoff elections, using the same voting rule as the initial election but just on the winning candidates, increase or decrease the complexity of manipulation? Does allowing revoting in the runoff increase or decrease the complexity relative to just having a runoff without revoting? For both weighted and unweighted voting, we show that even for election systems with simple winner problems the complexity of manipulation, manipulation with runoffs, and manipulation with revoting runoffs are independent, in the abstract. On the other hand, for some important, well-known election systems we determine what holds for each of these cases. For no such systems do we find runoffs lowering complexity, and for some we find that runoffs raise complexity. Ours is the first paper to show that for natural, unweighted election systems, runoffs can increase the manipulation complexity.

연구 동기 및 목표

• 같은 투표 규칙이 두 라운드 모두에 사용될 때, 리콜 선거의 조작 복잡도가 원래 선거 체계와 어떻게 비교되는지 분석하는 것.
• 리콜에서 재투표를 허용할 경우, 표준 리콜과 비교해 조작 복잡도가 증가하거나 감소하는지 판단하는 것.
• 기본 체계의 승자 문제 계산이 쉽게 풀리는 자연스럽고 현실적인 선거 체계에서 리콜이 조작 복잡도를 증가시킬 수 있는지 조사하는 것.
• 기본 체계가 P에 속해 있더라도 리콜 또는 재투표 리콜에서 조작이 NP-완전이 되는 조건을 특정하는 것.
• 다양한 잘 알려진 투표 체계에 대해 세 가지 시나리오(기본 체계, 리콜, 재투표 리콜)에 걸쳐 조작 복잡도를 종합적으로 분류하는 것.

제안 방법

• 리콜로 인해 조작 복잡도가 변화하는 선거를 구성하기 위해 NP-완전 문제인 분할 문제(Partition problem)로의 감소를 사용한다.
• McGarvey의 구성법을 사용해 원하는 상대적 마진을 가진 가중치 있는 다수결 그래프를 생성함으로써 리콜 결과를 제어한다.
• 세 가지 시나리오(기본, 리콜, 재투표 리콜)에서 조작 복잡도가 P와 NP-완전 사이를 오가는 가중치 있는 및 가중치 없는 선거 체계를 설계한다.
• Plurality, Veto, HalfApproval, Llull 등의 특정 체계를 분석하여 리콜 하에서 복잡도 변화를 보여준다.
• 분할 가능성을 기반으로 하는 사이클 구조를 강제하는 다수결 그래프를 구성함으로써, Llull 선거에서 리콜 및 재투표 리콜의 조작이 NP-완전임을 증명한다.
• 재투표로 인해 복잡도가 감소하는 경우(예: NP-완전에서 P로)를 대비하여, 세 복잡도 클래스 간의 독립성을 보여준다.

실험 결과

연구 질문

• RQ1 기본 체계가 조작하기 쉬운 경우에도, 동일 체계 리콜이 선거 조작의 계산 복잡도를 증가시킬 수 있는가?
• RQ2 리콜에서 재투표를 허용할 경우, 조작 복잡도는 항상 증가하거나 감소하는가? 표준 리콜과 비교해 어떻게 되는가?
• RQ3 기본 체계의 조작이 P에 속하지만, 리콜 조작이 NP-완전이 되는 자연스럽고 현실적인 선거 체계가 존재하는가?
• RQ4 리콜 조작 복잡도와 재투표 리콜 조작 복잡도 사이에 일반적인 관계가 존재하는가, 아니면 서로 독립적일 수 있는가?
• RQ5 리콜로 인해 복잡도가 증가하지만, 재투표를 허용하면 복잡도가 NP-완전에서 P로 떨어지는 선거 체계를 구성할 수 있는가?

주요 결과

• 비가중치 있는 HalfApproval의 경우, 리콜 또는 재투표 리콜 모두 한 명의 조작자만 있어도 조작 복잡도가 여전히 NP-완전이다.
• 가중치 있는 Veto 선거에서는 조작이 P에 속하지만, 리콜 또는 재투표 리콜이 도입되면 NP-완전이 된다.
• 네 후보자에 대한 가중치 있는 Llull 선거에서는, 리콜 및 재투표 리콜 모두 조작 복잡도가 NP-완전이 되며, 기반 체계가 P에 속해 있더라도 마찬가지다.
• 기본 체계 조작이 NP-완전이지만 리콜 조작이 P가 되는 체계가 존재함을 보여주며, 리콜이 복잡도를 감소시킬 수 있음을 입증한다.
• 논문은 리콜 조작이 NP-완전이지만 재투표 리콜 조작이 P가 되는 체계를 구성함으로써, 재투표가 복잡도를 낮출 수 있음을 증명한다.
• 기본 체계, 리콜, 재투표 리콜의 조작 복잡도 간에 일반적인 관계는 존재하지 않으며, 각각이 독립적으로 P 또는 NP-완전일 수 있다.