[논문 리뷰] On the Complexity of Destructive Bribery in Approval-Based Multi-winner Voting

Yongjie Yang|arXiv (Cornell University)|2020. 02. 03.

Game Theory and Voting Systems참고 문헌 39인용 수 4

한 줄 요약

이 논문은 예산 내에서 투표를 수정함으로써 공격자가 특정 후보 집합을 모든 승리 위원회에서 배제하고자 하는 approval 기반 다수결 다수선출 투표 시스템에서의 파괴적 뇌물 제공의 계산 복잡도를 조사한다. 이는 다섯 가지 유명한 approval 기반 다수결 선출 규칙(AV, SAV, NSAV, CCAV, PAV)에 대해 완전한 복잡도 지도를 제공하며, 대부분의 문제에 대해 NP-난이도를 증명하고, 투표 수 및 예산과 같은 핵심 매개변수에 대해 고정매개변수능역도(FPT) 또는 W[1]-난이도를 규명한다.

ABSTRACT

A variety of constructive manipulation, control, and bribery problems for approval-based multiwinner voting have been extensively studied recently. However, their destructive counterparts seem to be less explored. This paper investigates the complexity of several destructive bribery problems under five prestigious approval-based multiwinner voting rules -- approval voting, satisfaction approval voting, net-satisfaction approval voting, Chamberlin-Courant approval voting, and proportional approval voting. Broadly, these problems are to determine if a number of given candidates can be excluded from any winning committees by performing a limited number of modification operations. We offer a complete landscape of the complexity of the problems. For NP-hard problems, we study their parameterized complexity with respect to meaningful parameters.

연구 동기 및 목표

• 파괴적 뇌물 제공에 대한 연구 부족 문제를 해결하기 위해, 이는 구성적 변형에 비해 광범위한 연구가 이루어진 반면, approval 기반 다수결 선출 투표에서의 파괴적 뇌물 제공에 대한 연구는 부족하기 때문이다.
• 공격자가 예산 내에서 투표를 수정하여 다수의 특정 후보를 승리 위원회에서 배제하고자 하는 시나리오를 모델링하기 위해.
• 다섯 가지 유명한 approval 기반 다수결 선출 투표 규칙 하에서, 승리 위원회에 포함되지 않도록 하기 위해 수행되는 다섯 가지 뇌물 제공 운영—승리 추가, 삭제, 그리고 세 가지 투표 수준 운영—의 복잡도를 분석하기 위해.
• 의미 있는 매개변수, 예를 들어 투표 수, 예산, 거리 기준치 등을 기준으로 FPT 및 W[1]-난이도 사례를 식별하기 위해 종합적인 매개변수 기반 복잡도 분석을 제공하기 위해.
• 특수 케이스에 대한 다항 시간 알고리즘과 제한된 설정에서도 여전히 NP-난이도임을 보여주는 완전한 복잡도 지도를 제공하기 위해.

제안 방법

• 논문은 파괴적 뇌물 제공을 결정 문제로 모델링한다: 최대 ℓ회의 수정을 통해 특정 후보 집합이 모든 승리 k-위원회에서 배제될 수 있는가?
• 운영을 원자적(AddApp, DelApp)과 투표 수준(Vc, VAc, VDc)으로 분류하며, VAc 및 VDc는 원래 투표에서의 허밍턴 거리 기준치 r을 포함하여 편차를 제한한다.
• AppAdd 및 AppDel에 대해 AV를 적용할 경우, 후보 투표 집합을 열거한 후 최대 네트워크 유량 감소를 통해 부분 문제를 다항 시간 내에 해결한다.
• r = 2m(가능한 최대 편차)인 투표 수준 운영의 경우, 수정할 최대 ℓ개의 투표에 대해 열거한 후, 모든 특정 후보를 배제하기 위해 근사적 할당을 수행한다.
• 열거 및 유량 기반 감소를 통해 FPT 결과를 증명하고, 특정 매개변수 조합에 대해 W[1]-난이도를 규명한다.
• 분석에는 고전적 복잡도(NP-난이도)와 매개변수 기반 복잡도(FPT, W[1]-난이도)를 포함한 다섯 가지 투표 규칙 전반에 걸친 분석이 포함된다.

실험 결과

연구 질문

• RQ1 approval 투표(AV), 만족도 승리 투표(SAV), 순만족도 승리 투표(NSAV), Chamberlin-Courant 승리 투표(CCAV), 비례 승리 투표(PAV) 하에서 파괴적 뇌물 제공의 계산 복잡도는 무엇인가?
• RQ2 허밍턴 거리 기준치 r의 포함이 투표 수준 뇌물 제공 운영의 복잡도에 어떤 영향을 미치는가?
• RQ3 투표 수, 예산, 특정 후보 수, 위원회 규모 등의 매개변수 중 어떤 것이 문제를 고정매개변수능역도(FPT) 또는 W[1]-난이도로 만드는가?
• RQ4 일반적으로 NP-난이도임에도 불구하고, 특정 특수 케이스에서는 다항 시간 내에 해결 가능한 파괴적 뇌물 제공 문제가 존재하는가?
• RQ5 기존의 구성적 뇌물 제공 및 조작 문제의 복잡도 결과와 비교해 볼 때, 본 연구의 결과는 어떻게 다른가?

주요 결과

• AV, SAV, NSAV, CCAV, PAV 하에서의 파괴적 뇌물 제공 문제는 NP-난이도이며, 많은 난이도 결과가 매우 제한된 설정에서도 유지된다.
• AV에서 승리 추가 또는 삭제를 적용할 경우, 후보 투표 집합을 열거한 후 최대 네트워크 유량 감소를 통해 다항 시간 내에 문제를 해결할 수 있다.
• r = 2m인 AV 하에서 투표 수준 운영의 경우, 투표 수에 대해 FPT이며, O*(2^n) 시간 내에 해결 가능하다.
• 매개변수 기반 복잡도 분석 결과, 대부분의 문제들이 후보 수에 대해 FPT이지만, 투표 수에 대해 FPT인 경우는 소수에 불과하다.
• 투표 수나 예산에 대해 매개변수화했을 때 몇몇 문제들은 W[1]-난이도임을 규명하여, 이러한 매개변수 하에서 강한 비가역성을 시사한다.
• 본 연구는 다섯 가지 투표 규칙과 다섯 가지 운영 유형에 걸쳐 완전한 복잡도 지도를 제공하며, 파괴적 제어 및 뇌물 제공에 관한 문헌에서 상당한 격차를 메운다.