[논문 리뷰] Robustness of Approval-Based Multiwinner Voting Rules

Piotr Faliszewski, Grzegorz Gawron외 1명|arXiv (Cornell University)|2026. 01. 27.

Game Theory and Voting Systems인용 수 0

한 줄 요약

본 논문은 승인 기반 다승자 선거 규칙이 작은 투표 교란에 대해 얼마나 강건한지 분석하고, Add/Remove/Swap 연산에 대한 강건성 수준을 규정하며, 강건성 반경 문제의 계산 복잡도와 개수화 변형을 연구한다.

ABSTRACT

We investigate how robust approval-based multiwinner voting rules are to small perturbations in the votes. In particular, we consider the extent to which a committee can change after we add/remove/swap one approval, and we consider the computational complexity of deciding how many such operations are necessary to change the set of winning committees. We also consider the counting variants of our problems, which can be interpreted as computing the probability that the result of an election changes after a given number of random perturbations of the given election.

연구 동기 및 목표

• 승인 기반 다승자 선거의 작은 입력 교란에 대한 강건성 연구의 동기를 부여한다.
• 이 규칙들에 대해 Add, Remove, Swap의 세 가지 연산 기반 강건성 개념과 이들 규칙의 Robustness Radius 문제를 정의한다.
• 다양한 규칙에 대해 강건성 수준을 분류하고 다항 시간 대 또는 NP-난해 여부를 계산한다.
• 무작위 교란에 의한 선거 결과 변화를 결정하는 확률을 구하기 위한 개수화 변형을 조사한다.
• Thiele 규칙(Ck 포함), CC, PAV, GreedyCC, GreedyPAV, Phragmén를 포함한 통합적 처리를 제공한다.

제안 방법

• 승인 기반 다승자 규칙에 대한 Op-robustness와 Robustness-Radius 개념을 형식화한다.
• Add/Remove/Swap 교란 하에서 AV, SAV, CC, PAV, GreedyCC, GreedyPAV, Phragmén의 일곱 가지 선거 규칙을 분석한다.
• AV는 모든 연산 유형에 대해 1-강건성을 보이고; SAV는 k-Add/k-Remove 강건성 및 1-Swap 강건성을 보이며; 단위 감소 Thiele 규칙을 모든 연산에 대해 k-강건성으로 특징지어진다.
• 대부분의 연산에 대해 AV와 SAV의 강건성 반경 결과를 제시하고, CC, PAV, GreedyCC, GreedyPAV, Phragmén은 대부분의 연산에서 NP-hard임을 보인다.
• 무작위 교란하에서 결과 변경 확률을 계산하기 위한 개수화 변형을 도입한다(FP-형 AV, SAV의 경우 #P-난해).

실험 결과

연구 질문

• RQ1 단일 승인 교란(Add/Remove/Swap)에 대해 승인 기반 다승자 규칙은 얼마나 강건한가?
• RQ2 각 규칙 아래에서 결과 선거위원회의 집합을 바꾸는 최소 교란 수(Robustness Radius)는 무엇인가?
• RQ3 무작위 교란의 특정 수가 선거 결과를 바꿀 확률은 무엇인가(개수화 변형)?
• RQ4 다양한 규칙 계열(AV, SAV, CC, PAV, Greedy 변형, Phragmén) 간의 강건성과 계산 복잡성은 어떻게 비교되는가?
• RQ5 단위 감소 Thiele 규칙은 교란 유형 간에 공통의 강건성 특성을 공유하는가?

주요 결과

• AV는 Add, Remove, Swap 교란에 대해 1-Op-Robust다.
• SAV는 k-Add-강건성과 k-Remove-강건성을 가지며, 1-Swap-강건성은 제외; 교란 유형에 따라 강건성이 다르게 나타난다.
• 단위 감소 Thiele 규칙( CC 및 PAV 포함)은 세 연산 유형 모두에 대해 k-Op-강건하다고 할 수 있다.
• 강건성 반경 결정 문제는 AV 및 SAV에 대해 다항 시간이며, CC, PAV, GreedyCC, GreedyPAV, Phragmén은 대부분의 연산 유형에 대해 NP-난해이다.
• 개수화 변형: 강건성 개수화는 AV에 대해 FP이고 SAV의 경우 Add/Remove에 대해 #P-난해하다.