[論文レビュー] Robustness of Approval-Based Multiwinner Voting Rules

Piotr Faliszewski, Grzegorz Gawron+1 more|arXiv (Cornell University)|Jan 27, 2026

Game Theory and Voting Systems被引用数 0

ひとこと要約

この論文は、堅牢な承認ベースのマル-win voting ルールが小さな票の摂動に対してどの程度堅牢かを分析し、追加/削除/交換操作に対する堅牢性レベルを特徴づけ、堅牢性半径問題の計算複雑性とカウント変種を研究する。

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）とこれらの規則の堅牢性半径問題を定義する。
• 様々な規則に対して堅牢性レベルを分類し、計算複雑性（多項式時間対 NP-hard）を評価する。
• 確率的摂動が選挙結果を変える確率を決定するカウント変種を調査する。
• CC、PAV、GreedyCC、GreedyPAV、Phragmén を含む Thiele の統一的な扱いを提供する。

提案手法

• 承認ベースのマルチウィナー規則に対する Op-堅牢性と堅牢性半径の概念を形式化する。
• Add/Remove/Swap 摂動の下で sevenつの投票規則（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。
• 摂動が結果を変える確率を計算するカウント変種を導入する（AV の場合 FP、SAV の場合は #P-hard）。

実験結果

リサーチクエスチョン

• RQ1 承認ベースのマルチウィナー規則は単一の承認摂動（Add/Remove/Swap）に対してどれだけ堅牢か。
• RQ2 各規則の下で勝者の委員会の集合を変えるのに必要な最小の摂動数（堅牢性半径）はどれくらいか。
• 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-hard。
• カウント変種：堅牢性のカウントは AV では FP、SAV では Add/Remove に対しては #P-hard。