[논문 리뷰] Weighted electoral control

Piotr Faliszewski, Edith Hemaspaandra외 1명|arXiv (Cornell University)|2013. 05. 06.

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

한 줄 요약

이 논문은 유권자 추가 및 삭제를 통한 가중 투표의 복잡도를 조사하며, 몇몇 경우에 대해 다항식 시간 알고리즘을 제안하고 다른 경우에는 NP-완전성 결과를 도출한다. 또한 많은 NP-완전 시나리오에 대해 근사 알고리즘을 제공한다. 주요 기여는 많은 중요한 가중 투표 설정에서 정확하거나 근사적인 효율적 해결책이 존재한다는 것을 입증하는 것이다.

ABSTRACT

Although manipulation and bribery have been extensively studied under weighted voting, there has been almost no work done on election control under weighted voting. This is unfortunate, since weighted voting appears in many important natural settings. In this paper, we study the complexity of controlling the outcome of weighted elections through adding and deleting voters. We obtain polynomial-time algorithms, NP-completeness results, and for many NP-complete cases, approximation algorithms. Our work shows that for quite a few important cases, either polynomial-time exact algorithms or polynomial-time approximation algorithms exist.

연구 동기 및 목표

• 실제 응용에서 널리 사용되는 가중 투표 시스템에서의 제어에 대한 연구 부족을 보완하기 위해.
• 유권자 추가 및 삭제를 통한 가중 투표 제어의 계산 복잡도를 분석하기 위해.
• 가중 투표 시나리오에서 결과를 제어하기 위한 정확하고 근사 알고리즘을 개발하기 위해.
• 가중 투표 하에서 어떤 제어 유형이 유연하게 해결 가능하거나 해결이 곤란한지 분류하기 위해.

제안 방법

• 가중 투표 시스템에서의 유권자 추가 및 삭제를 포함하는 계산 문제로 가중 투표 제어를 형식화하기 위해.
• 가중 투표 하에서 제어 문제의 난이도를 분류하기 위해 계산 복잡도 이론을 적용하기 위해.
• 가중 제어의 특정 유연한 케이스에 대해 다항식 시간 알고리즘을 설계하기 위해.
• NP-완전 제어 시나리오에 대해 근사 알고리즘을 개발하여 효율적으로 근사 최적 해를 도출하기 위해.
• 다양한 제어 유형에 대해 NP-완전성을 증명하기 위해 축소 및 구성 기법을 사용하기 위해.

실험 결과

연구 질문

• RQ1 어떤 유형의 가중 투표 제어(유권자 추가 또는 삭제를 통한)가 다항식 시간 내에 해결될 수 있는가?
• RQ2 어떤 가중 제어 문제에서는 문제가 NP-완전한가? 그리고 근사 알고리즘을 설계할 수 있는가?
• RQ3 가중 투표에서의 제어 복잡도는 비가중 시스템과 비교해 어떻게 다른가?
• RQ4 가중 투표 시스템의 어떤 구조적 성질이 제어의 유연성에 영향을 미치는가?

주요 결과

• 유권자 추가 및 삭제를 통한 몇 가지 중요한 가중 투표 제어 케이스에 대해 다항식 시간 알고리즘이 존재한다.
• 가중 투표에서 많은 제어 문제가 NP-완전하여 본질적인 계산 난이도를 지닌다.
• NP-완전 케이스에 대해 논문은 효율적으로 근사 최적 해를 도출할 수 있는 근사 알고리즘을 제공한다.
• 결과적으로, 많은 자연스러운 설정에서 가중 제어는 정확하거나 근사적으로 해결 가능함을 보여준다.