[논문 리뷰] Control Complexity in Bucklin, Fallback, and Plurality Voting: An Experimental Approach

Joerg Rothe, Lena Schend|arXiv (Cornell University)|2012. 03. 18.

Game Theory and Voting Systems참고 문헌 18인용 수 10

한 줄 요약

이 논문은 버클린, 포기, 다수결 투표 시스템에서의 통제 복잡성에 대해 실험적으로 연구하며, NP-난해한 통제 문제들이 실제로 해결 가능한지 알고리즘을 통해 평가한다. 이론적으로 NP-난해하나 실제 세계 설정에서는 대부분의 통제 시나리오가 효율적으로 해결됨을 발견하여, NP-난해성은 실질적 비가용성을 의미하지는 않는다는 가정에 도전한다.

ABSTRACT

Walsh [Wal10, Wal09], Davies et al. [DKNW10, DKNW11], and Narodytska et al. [NWX11] studied various voting systems empirically and showed that they can often be manipulated effectively, despite their manipulation problems being NP-hard. Such an experimental approach is sorely missing for NP-hard control problems, where control refers to attempts to tamper with the outcome of elections by adding/deleting/partitioning either voters or candidates. We experimentally tackle NP-hard control problems for Bucklin and fallback voting. Among natural voting systems with efficient winner determination, fallback voting is currently known to display the broadest resistance to control in terms of NP-hardness, and Bucklin voting has been shown to behave almost as well in terms of control resistance [ER10, EPR11, EFPR11]. We also investigate control resistance experimentally for plurality voting, one of the first voting systems analyzed with respect to electoral control [BTT92, HHR07]. Our findings indicate that NP-hard control problems can often be solved effectively in practice. Moreover, our experiments allow a more fine-grained analysis and comparison-across various control scenarios, vote distribution models, and voting systems-than merely stating NP-hardness for all these control problems.

연구 동기 및 목표

• NP-난해한 통제 문제들이 이론적으로 비가용성이지만 실질적으로 해결 가능한지 평가하기 위해.
• 실험적 방법을 통해 버클린, 포기, 다수결 투표 시스템 간의 통제 저항성 비교하기 위해.
• 다양한 통제 시나리오, 유권자 및 후보자 분포 모델, 투표 시스템 유형에서 알고리즘 성능 평가하기 위해.
• 이론적 분류인 NP-난해성 외에 제어 복잡성의 세밀한 실증 분석 제공하기 위해.
• NP-난해성이 실질적 비가용성으로 이어지지 않는다는 가설을 테스트하기 위해.

제안 방법

• 버클린, 포기, 다수결 투표 시스템에서 24개의 서로 다른 통제 유형에 대한 알고리즘적 해결책 설계 및 구현하기 위해.
• 유권자 수(n)와 후보자 수(m)가 다양하게 설정된 합성 투표 사례에 알고리즘 적용하며, IC(중립 문화) 및 TM(용기 모델) 분포 가정 사용하기 위해.
• 통제 조치(유권자 또는 후보자 추가/삭제/분할)를 효율적으로 탐색하기 위해 가지치기 기반 백트래킹 검색 사용하기 위해.
• 계산 비용 측정을 위해 성공적인 통제 조치를 찾는 데 걸리는 시간, 해가 존재하지 않음을 확인하는 데 걸리는 시간, 명확한 출력에 도달하는 데 총 소요 시간 측정하기 위해.
• 다양한 통제 유형에 대한 성능 평가: 구성적/파괴적, 유권자 또는 후보자 추가/삭제/분할, TE(동점 제거) 및 TP(동점 촉진) 모델 모두 포함하기 위해.
• 해결된 사례 수(cp), 불확실한 결과 수(ci), 타임아웃 수(to)로 결과 보고하며, 평균 실행 시간 기록하기 위해.

실험 결과

연구 질문

• RQ1 버클린, 포기, 다수결 투표에서 NP-난해한 통제 문제들이 실제로 효율적으로 해결 가능한가?
• RQ2 다양한 투표 시스템과 통제 유형 간에 통제 알고리즘의 성능은 어떻게 달라지는가?
• RQ3 다른 유권자 및 후보자 분포 모델(IC 대비 TM)이 통제 문제의 해결 가능성에 어떤 영향을 미치는가?
• RQ4 유권자 수와 후보자 수에 따라 계산 비용(해결 시간 또는 타임아웃)은 어떻게 변화하는가?
• RQ5 이론적으로 NP-난해성이지만 실질적인 선거 통제 시나리오에서는 비가용성이 되는가?

주요 결과

• TM 모델에서 다수결 투표의 경우, TP 모델에서 유권자 분할에 의한 파괴적 통제는 128명의 유권자와 128명의 후보자에서 97%의 경우에서 해결 가능하며, 500개의 사례 중 2개만 타임아웃됨.
• IC 모델에서 다수결 투표의 경우, TP 모델에서 유권자 분할에 의한 파괴적 통제는 명확한 출력에 도달하는 데 최대 평균 91.41초가 소요되었으며, 타임아웃 사례는 0.4%에 불과함.
• 포기 투표의 경우, 후보자 추가에 의한 구성적 통제는 128명의 유권자와 128명의 후보자에서 테스트된 모든 사례에서 100% 해결되었으며, 타임아웃 없음.
• 버클린 투표의 경우, 후보자 삭제에 의한 파괴적 통제는 높은 해결 가능성 보여줌: 128명의 유권자와 128명의 후보자에서 500개 사례 중 498개 해결, 타임아웃 2개.
• TM 모델에서 다수결 투표의 경우 성공적인 통제 사례를 해결하는 데 평균 시간이 최대 114초에 이르며, 강한 실용적 가능성을 시사함.
• 가장 복잡한 통제 시나리오인, TP 모델에서 다수결 투표의 경우 유권자 분할에 의한 파괴적 통제(128명의 유권자와 128명의 후보자)에서도 500개 사례 중 363개만 타임아웃되었으며, 이는 27%의 사례가 합리적인 시간 내에 해결 가능함을 의미함.