[논문 리뷰] Combinatorial Voter Control in Elections

Laurent Bulteau, Jiehua Chen외 3명|arXiv (Cornell University)|2014. 06. 26.

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

한 줄 요약

이 논문은 한 명의 유권자를 추가할 경우 사전에 정의된 유권자 묶음을 함께 추가해야 하는 조합적 유권자 통제를 도입하고, Plurality 및 Condorcet 투표 규칙에 대한 이의 계산 복잡도를 연구한다. 대부분의 변형이 비처리 가능하나, 전체-d 묶음 함수를 가진 단일-교차 전략에서는 다항 시간 알고리즘이 존재함을 보여주며, 일반적인 난이도에도 불구하고 처리 가능한 경우를 강조한다.

ABSTRACT

Voter control problems model situations such as an external agent trying to affect the result of an election by adding voters, for example by convincing some voters to vote who would otherwise not attend the election. Traditionally, voters are added one at a time, with the goal of making a distinguished alternative win by adding a minimum number of voters. In this paper, we initiate the study of combinatorial variants of control by adding voters: In our setting, when we choose to add a voter~$v$, we also have to add a whole bundle $κ(v)$ of voters associated with $v$. We study the computational complexity of this problem for two of the most basic voting rules, namely the Plurality rule and the Condorcet rule.

연구 동기 및 목표

• 추가되는 한 명의 유권자가 사전에 정의된 묶음의 유권자들을 함께 추가하는 조합적 유권자 통제의 형식화 및 분석.
• Plurality 및 Condorcet 투표 규칙 하에서 이 문제의 계산 복잡도를 조사.
• 단일-교차 또는 단일-정점 선호도와 같은 구조적 가정이 문제의 복잡도를 낮추는지 여부를 탐색.
• 처리 가능한 경우를 식별하고, 처리 가능 및 비처리 가능 사례의 경계를 규명.
• 기존의 단일 비용 유권자 추가를 초월하여, 계산 사회선택 이론에서의 조합적 통제에 기초를 마련.

제안 방법

• 각 유권자가 추가될 때 고정된 관련 유권자 묶음을 동반하는 조합 최적화 문제로 유권자 통제를 모델링하며, 묶음 함수 κ(v)로 정의.
• 단일-교차 선호도를 구조적 제약 조건으로 사용하여 효율적 알고리즘을 가능하게 하며, 후보자 선호도를 유지하는 고유한 유권자 순서를 활용.
• Plurality의 경우, 비-p-유권자를 포함할 수 있는 두 외곽 묶음의 조합을 추측한 후 문제를 최대 간격 커버 문제로 환원.
• Condorcet의 경우, 단일-교차 순서에서 중앙값 p-유권자들의 위치를 추측하고 나머지 유권자를 왼쪽 및 오른쪽 세그먼트로 분할하여 최소 부분집합 선택을 통해 해결.
• 간격 커버 및 부분집합 선택 문제에 대해 알려진 다항 시간 알고리즘을 활용하여 하위 문제를 효율적으로 해결.
• 단일-교차 유권자 전략에서 중앙값 유권자 성질 및 유권자 블록 구조에 관한 보조정리들을 이용해 정당성 입증.

실험 결과

연구 질문

• RQ1 유권자를 개별적으로가 아니라 조합적 묶음으로 추가할 경우, 유권자 통제는 처리 가능한가?
• RQ2 기본적인 유권자 통제가 어려운 상황에서도 단일-교차 유권자 선호도 구조가 조합적 유권자 통제에 대해 다항 시간 알고리즘을 가능하게 하는가?
• RQ3 Plurality와 Condorcet 투표 규칙 간에 조합적 유권자 통제의 복잡도는 어떻게 다를까?
• RQ4 유권자 묶음 제약 조건이 일반적인 비처리 가능성에도 불구하고 처리 가능한 경우를 초래할 수 있는가?
• RQ5 단일-교차, 단일-정점 등과 같은 구조적 가정이 조합적 유권자 통제의 복잡도를 낮추는가?

주요 결과

• Plurality - C-CC-AV는 단일-교차 전략에서 전체-d 묶음 함수를 가질 경우 최대 간격 커버 문제로의 환원을 통해 다항 시간 내에 해결 가능하다.
• Condorcet - C-CC-AV 역시 동일한 조건 하에서 중앙값 유권자 성질을 활용한 추측 기반 알고리즘을 통해 다항 시간 내에 해결 가능하다.
• Condorcet - C-CC-AV의 알고리즘은 O(|V ∪ W|² · |W|⁴) 시간 내에 실행되며, 중앙값 유권자 위치의 추측과 부분집합 선택 하위 문제 해결에 기반한다.
• 단일-교차 선호도는 조합적 유권자 통제의 복잡도를 낮추며, 일반적인 통제 문제에서는 이러한 가정이 복잡도를 감소시키는 경향이 있지만, 이 경우는 다릅니다.
• 단일-정점 선호도는 이 설정에서 복잡도를 감소시키지 않으며, 이는 이 구조 하에서 조합적 통제가 본질적으로 더 어렵다는 것을 시사한다.
• 결과적으로 조합적 통제 모델은 계산 사회선택 이론에서 풍부한 새로운 연구 방향을 열어주며, 구조적 제약 조건에 따라 처리 가능 및 비처리 가능 사례가 존재함을 보여준다.