[논문 리뷰] Online Voter Control in Sequential Elections

Edith Hemaspaandra, Lane A. Hemaspaandra외 1명|arXiv (Cornell University)|2012. 03. 02.

Internet Traffic Analysis and Secure E-voting참고 문헌 29인용 수 6

한 줄 요약

이 논문은 미래 투표가 알려져 있지 않고 실시간으로 결정을 내려야 하는 순차적 선거에서, 의장이 과거 투표만을 기반으로 투표자 삭제, 추가 또는 분할을 실시간으로 결정하는 온라인 투표자 통제 프레임워크를 제안한다. 이러한 문제들이 두 후보자 경우조차도 자주 PSPACE-완전하다는 것을 보여주며, 다수결 선거의 경우 삭제 및 추가는 여전히 다항시간으로 해결 가능하지만, 분할은 coNP-난이도를 가진다.

ABSTRACT

Previous work on voter control, which refers to situations where a chair seeks to change the outcome of an election by deleting, adding, or partitioning voters, takes for granted that the chair knows all the voters' preferences and that all votes are cast simultaneously. However, elections are often held sequentially and the chair thus knows only the previously cast votes and not the future ones, yet needs to decide instantaneously which control action to take. We introduce a framework that models online voter control in sequential elections. We show that the related problems can be much harder than in the standard (non-online) case: For certain election systems, even with efficient winner problems, online control by deleting, adding, or partitioning voters is PSPACE-complete, even if there are only two candidates. In addition, we obtain completeness for coNP in the deleting/adding cases with a bounded deletion/addition limit, and for NP in the partition cases with only one candidate. Finally, we show that for plurality, online control by deleting or adding voters is in P, and for partitioning voters is coNP-hard.

연구 동기 및 목표

• 미래의 투표가 알려져 있지 않고 실시간으로 결정을 내려야 하는 순차적 선거에서 투표자 통제를 모델링하기 위해.
• 다양한 선거 시스템에서 온라인 투표자 통제의 계산 복잡도를 분석하기 위해.
• 기본적인(오프라인) 통제 설정과 비교하여 온라인 통제의 난이도를 분석하기 위해.
• 특히 다수결 선거에서 온라인 통제가 여전히 해결 가능할 조건을 규명하기 위해.
• 다양한 통제 유형과 제약 조건에 대해 복잡도 클래스 경계(예: PSPACE, coNP, NP)를 설정하기 위해.

제안 방법

• 의장이 이전에 관측된 투표들만을 기반으로 행동하는 온라인 의사결정 과정으로 순차적 선거를 모델링한다.
• 부분 정보가 있는 온라인 환경에 표준 투표자 통제 유형(삭제, 추가, 분할)을 적응시킨다.
• 표준 복잡도 클래스(PSPACE, coNP, NP, P)를 사용하여 계산 복잡도를 분석한다.
• 다양한 선거 시스템에서 완전성 결과를 증명하기 위해 축소와 복잡도 이론적 분석을 활용한다.
• 삭제/추가에 대한 제한된 수의 경우와 단일 후보자 시나리오를 고려하여 복잡도 경계를 정밀화한다.
• 특히 다수결 선거를 포함한 특정 투표 시스템에 결과를 적용하여 해결 가능한 케이스를 규명한다.

실험 결과

연구 질문

• RQ1 선거가 순차적이고 미래의 투표가 알려져 있지 않을 경우, 투표자 통제의 계산 복잡도는 어떻게 변화하는가?
• RQ2 승리자 결정이 효율적인 시스템에서 투표자 삭제 또는 추가를 통한 온라인 통제의 복잡도는 무엇인가?
• RQ3 투표자를 분할하는 온라인 통제는 효율적으로 해결할 수 있는가? 어떤 복잡도 클래스에 속하는가?
• RQ4 온라인 통제가 여전히 해결 가능할 조건은 무엇인가, 특히 다수결 선거의 경우에 대해?
• RQ5 제한된 삭제/추가 수의 경우 온라인 투표자 통제의 복잡도에 어떤 영향을 미치는가?

주요 결과

• 두 후보자 선거조차도 승리자 결정 문제가 효율적이지만, 투표자 삭제, 추가 또는 분할을 통한 온라인 투표자 통제는 PSPACE-완전하다.
• 삭제 또는 추가 수가 제한된 경우, 온라인 통제는 coNP-완전하다.
• 단일 후보자만 있는 경우, 투표자 분할을 통한 온라인 통제는 NP-완전하다.
• 다수결 선거의 경우, 투표자 삭제 또는 추가를 통한 온라인 통제는 P에 속하여 해결 가능하다.
• 다수결 선거에서 투표자 분할을 통한 온라인 통제는 coNP-난이도를 가지며, 높은 복잡도를 나타낸다.
• 결과는 온라인 설정이 오프라인 설정과 비교해 복잡도를 크게 증가시킨다는 것을 보여주며, 간단한 경우조차도 그렇다.