[논문 리뷰] Bribery as a Measure of Candidate Success: Complexity Results for Approval-Based Multiwinner Rules

Piotr Faliszewski, Piotr Skowron외 1명|arXiv (Cornell University)|2021. 04. 19.

Game Theory and Voting Systems참고 문헌 30인용 수 5

한 줄 요약

이 논문은 승리한 후보자의 성공을 평가하는 데 새로운 측도로 뇌물 제공을 제안한다. 여기서 후보자가 최소한의 투표 수정을 통해 승리할 수 있는 비용은 그 후보자의 선거 성과를 반영한다. 이 논문은 여섯 가지 승인 기반 다수결 선거 규칙에 걸쳐 종합적인 복잡도 분석을 수행하며, 다항 시간 내에서 해결 가능한 문제에서 근사 불가능한 문제에 이르기까지 풍부한 복잡도 지표를 드러내며, 매개변수화된 설정에서 FPT 알고리즘을 확립한다.

ABSTRACT

We study the problem of bribery in multiwinner elections, for the case where the voters cast approval ballots (i.e., sets of candidates they approve) and the bribery actions are limited to: adding an approval to a vote, deleting an approval from a vote, or moving an approval within a vote from one candidate to the other. We consider a number of approval-based multiwinner rules (AV, SAV, GAV, RAV, approval-based Chamberlin--Courant, and PAV). We find the landscape of complexity results quite rich, going from polynomial-time algorithms through NP-hardness with constant-factor approximations, to outright inapproximability. Moreover, in general, our problems tend to be easier when we limit out bribery actions on increasing the number of approvals of the candidate that we want to be in a winning committee (i.e., adding approvals only for this preferred candidate, or moving approvals only to him or her). We also study parameterized complexity of our problems, with a focus on parameterizations by the numbers of voters or candidates.

연구 동기 및 목표

• 다수결 승인 선거에서 패배한 후보자에 대한 의미 있는 성과 측도가 부족한 문제를 해결하기 위해.
• 기존의 점수 기반 평가 방법의 한계를 극복하기 위해, 이는 다수결 설정에서는 임의적이거나 정보가 없거나 적용 불가능할 수 있다.
• 최소한의 투표 수정을 통해 후보자가 얼마나 승리에 가까웠는지를 수량화하기 위해 뇌물 문제를 활용한 새로운 개념적 프레임워크를 제안하기 위해.
• AV, SAV, GAV, RAV, ABC, PAV를 포함한 다양한 승인 기반 다수결 선거 규칙 하에서 뇌물 문제의 계산 복잡도를 분석하기 위해.
• 유권자 수나 후보자 수에 따라 매개변수화된 복잡도를 탐색하여, 해결 가능성이 있는 경우와 FPT 알고리즘을 식별하기 위해.

제안 방법

• 승인 기반 다수결 선거에서 뇌물 문제를 수식화하며, 세 가지 동작을 허용한다: 승인 추가, 승인 삭제, 후보 간 승인 이동.
• 각 뇌물 인스턴스를 소스, 후보자 노드, 유형 노드, 싱크로 구성된 최소 비용 최대 유량 네트워크로 모델링하며, 유량은 승인 변경을 나타낸다.
• 노드 유형을 각 유권자가 가질 수 있는 승인 패턴을 나타내며, 허용된 뇌물 동작에 따라 유형 간 전이에 비용을 할당한다.
• 최소 비용 최대 유량 알고리즘을 다항 시간 내에 적용하여, 목표 후보자가 승리하기 위한 최소 뇌물 비용을 계산하며, 흐름 제약 조건을 통해 타당성을 확보한다.
• 동적 프로그래밍을 활용하여 후보자 유형에 대해 동적 프로그래밍을 수행함으로써, 문제를 매개변수 k(유권자 수 또는 후보자 수)에 대해 f(k) · poly(n) 시간 내에 해결할 수 있음을 증명함으로써 FPT 결과를 입증한다.
• 승인 표의 구조적 특성과 유량 네트워크를 활용하여 유형 수를 2^n으로 줄여, 유권자 수가 적을 경우 효율적인 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 승인 기반 다수결 선거에서 전통적인 점수 이외의 의미 있는 방법으로 패배한 후보자의 성공을 어떻게 측정할 수 있는가?
• RQ2 다양한 승인 기반 다수결 선거 규칙 하에서, 주어진 후보자가 승리하기 위해 필요한 최소한의 승인 변경 수를 결정하는 데의 계산 복잡도는 어떠한가?
• RQ3 유권자 수나 후보자 수에 따라 매개변수화되었을 때, 어떤 뇌물 문제들이 해결 가능할 수 있는가(예: 다항 시간 또는 FPT)?
• RQ4 특히, 변경을 유일하게 목표 후보자에게 유리하게 제한할 경우, 뇌물 행동의 허용 범위에 따라 복잡도는 어떻게 달라지는가?
• RQ5 최소 비용 유량 기법은 승인 기반 다수결 선거에서 뇌물 문제를 효과적으로 모델링하고 해결하는 데에 적용될 수 있는가?

주요 결과

• 뇌물 비용은 강력하고 직관적인 후보자 성과 측도를 제공한다: 낮은 비용일수록 성과가 뛰어나다.
• 모든 연구된 규칙—AV, SAV, GAV, RAV, ABC, PAV—에 대해, 후보자 수나 유권자 수에 따라 매개변수화했을 때 뇌물 문제는 XP에 속한다.
• 유권자 수에 대해 FPT이지만, 최소 비용 유량 공식화가 후보자 수에 대해 다항식, 유권자 수에 대해 지수함수 시간 내에 실행되므로, 이는 후보자 수에 대해 FPT임을 의미한다.
• 복잡도 지표는 매우 풍부하다: 문제들은 다항 시간 내 해결 가능한 문제에서 상수 요소 근사가 가능한 문제, 근사 불가능한 문제까지 다양하다.
• 뇌물 행동이 유일하게 목표 후보자에게 유리하게 제한될 경우, 해의 공간이 줄어들어 문제의 복잡도가 크게 낮아진다.
• 최소 비용 유량 모델은 모든 허용된 뇌물 행동을 효과적으로 포괄하며, 특히 매개변수화된 제약 조건 하에서 최소 비용 변환을 효율적으로 계산할 수 있도록 한다.