[논문 리뷰] Control Complexity in Fallback Voting

Gábor Erdélyi, Piras, Lena외 1명|arXiv (Cornell University)|2010. 04. 20.

Game Theory and Voting Systems참고 문헌 23인용 수 34

한 줄 요약

이 논문은 후퇴 투표 방식의 계산적 저항성에 대해 다양한 형태의 선거 제어에 대해 조사하며, 후퇴 투표가 모든 14종류의 표준 후보 제어 및 모든 11종류의 일반적인 구성 제어에 저항됨을 입증한다. 주요 기여는 후퇴 투표가 다항 시간 내에 승자 문제를 해결할 수 있는 자연스러운 투표 제도 중에서 후보 제어 및 구성 제어에 모두 완전히 저항하는 유일한 사례로 규명한 것이다. 이는 선거의 구조적 변화를 통한 조작에 매우 강력한 저항성을 지닌다는 것을 의미한다.

ABSTRACT

We study the control complexity of fallback voting. Like manipulation and bribery, electoral control describes ways of changing the outcome of an election; unlike manipulation or bribery attempts, control actions---such as adding/deleting/partitioning either candidates or voters---modify the participative structure of an election. Via such actions one can try to either make a favorite candidate win ("constructive control") or prevent a despised candidate from winning ("destructive control"). Computational complexity can be used to protect elections from control attempts, i.e., proving an election system resistant to some type of control shows that the success of the corresponding control action, though not impossible, is computationally prohibitive. We show that fallback voting, an election system combining approval with majority voting, is resistant to each of the common types of candidate control and to each common type of constructive control. Among natural election systems with a polynomial-time winner problem, only plurality and sincere-strategy preference-based approval voting (SP-AV) were previously known to be fully resistant to candidate control, and only Copeland voting and SP-AV were previously known to be fully resistant to constructive control. However, plurality has fewer resistances to voter control, Copeland voting has fewer resistances to destructive control, and SP-AV (which like fallback voting has 19 out of 22 proven control resistances) is arguably less natural a system than fallback voting.

연구 동기 및 목표

• 후퇴 투표, 즉 승인 투표와 다수결 투표를 융합한 하이브리드 투표 제도의 제어 복잡도를 분석하기 위해.
• 후퇴 투표가 후보나 투표자 추가, 삭제, 또는 분할과 같은 다양한 형태의 제어에 저항하는지 여부를 규명하기 위해.
• 다수결, 코플랜드, SP-AV와 같은 잘 알려진 다른 투표 제도들과 비교하여 후퇴 투표의 저항 성질을 평가하기 위해.
• 모델 TE에서 후보 분할을 통한 파괴적 제어의 나머지 열린 케이스에 대해 후퇴 투표가 취약한지 또는 저항하는지 규명하기 위해.

제안 방법

• 구성 제어에 의한 후보 추가에 대한 저항성을 증명하기 위해 NP-완전 문제인 히팅 세트 문제로의 환원.
• 히팅 세트 제약 조건을 시뮬레이션하기 위해 승인 및 순위 점수를 특수하게 설계한 선거 인스턴스 구축.
• 후퇴 투표의 여러 수준에서의 점수 비교를 통해 후보의 참여에 대한 논리적 제약을 강제.
• 성공적인 제어 행동이 크기 k의 히팅 세트의 존재를 의미함을 공식적으로 증명하여 NP-난이도 입증.
• 다양한 분할 모델(TE, TP) 하에서 후보 및 투표자 제어 유형을 분석하여 저항성 또는 취약성을 평가.
• 다수결, 코플랜드, SP-AV의 알려진 결과와 비교하여 후퇴 투표의 제어 저항 성질을 맥락화.

실험 결과

연구 질문

• RQ1 후퇴 투표는 모든 14종류의 표준 후보 제어 유형에 저항하는가?
• RQ2 후퇴 투표는 모든 11종류의 일반적인 구성 제어 유형에 저항하는가?
• RQ3 모델 TE에서 후보 분할을 통한 파괴적 제어의 상태는 무엇인가?
• RQ4 후퇴 투표의 제어 저항 성질은 다수결, 코플랜드, SP-AV와 비교하여 어떻게 다른가?
• RQ5 후퇴 투표는 다항 시간 내에 승자 문제를 해결할 수 있는 자연스러운 제어 행동 전반에 걸쳐 저항성을 유지하는가?

주요 결과

• 후퇴 투표는 모든 14종류의 표준 후보 제어 유형에 저항하여, 구성 및 파괴적 후보 제어에 모두 완전히 저항한다.
• 또한 모든 11종류의 일반적인 구성 제어 유형에 저항하며, 코플랜드 투표 및 SP-AV와 동일한 수준의 저항성을 보인다.
• 후퇴 투표는 후보 추가 및 삭제를 통한 파괴적 제어, 모델 TE 및 TP에서 투표자 분할을 통한 구성 제어에 취약하다.
• 모델 TE에서 후보 분할을 통한 파괴적 제어는 여전히 취약하며, 이는 여전히 열린 문제로 남아 있다.
• 후퇴 투표는 최소 19개의 제어 저항 사례를 입증했으며, 최대 20개까지 도달할 수 있으며, 이는 SP-AV를 능가하고 다수결보다 뛰어난 제어 저항성을 보인다.
• 저항성은 히팅 세트 문제로부터의 환원을 통해 입증되었으며, 성공적인 제어 행동은 NP-난이도 문제의 해가 존재함을 의미한다.