[論文レビュー] Approval-Based Committee Voting: Axioms, Algorithms, and Applications.

Martin Lackner, Piotr Skowron|arXiv (Cornell University)|Jul 3, 2020

Game Theory and Voting Systems参考文献 191被引用数 18

ひとこと要約

本サーベイは、選挙者による二値承認（承認／否認）に基づき、固定サイズの委員会を候補者から選ぶ承認ベース委員会（ABC）投票ルールについて包括的な分析を提供する。公理的基盤、アルゴリズム的設計、実世界の応用を統合し、複数名選出選挙における実用的応用のための原則的フレームワークを確立する。

ABSTRACT

Approval-based committee (ABC) rules are voting rules that output a fixed-size subset of candidates, a so-called committee. ABC rules select committees based on dichotomous preferences, i.e., a voter either approves or disapproves a candidate. This simple type of preferences makes ABC rules widely suitable for practical use. In this survey, we summarize the current understanding of ABC rules from the viewpoint of computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.

研究の動機と目的

• 計算社会選択における承認ベース委員会（ABC）ルールの理解を体系化すること。
• 委員会選出における公平性と代表性を保証するための主要な公理を同定および形式化すること。
• 特に計算制約下でも効率的にABCルールを計算するためのアルゴリズム的手法を調査すること。
• ABCルールの理論的性質と実世界意思決定における実用的応用を結びつけること。
• ABCルールの設計と分析に関して、研究者および実務家向けの統合的リファレンスを提供すること。

提案手法

• 選挙者の二値的好み（承認／否認）に基づき、固定サイズの候補者部分集合を選択するメカニズムとしてABCルールを形式化すること。
• 公平性、代表性、一貫性の基準に従って、ABCルールの評価に公理的分析を適用すること。
• ABCルールの計算に向けた正確なアルゴリズムおよび近似アルゴリズムを調査し、多項式時間手法やヒューリスティクスを含むこと。
• 理論的結果と実務上の事例研究を統合し、実世界の状況における適用可能性を示すこと。
• 比例性、単調性、安定性などの性質に基づいてABCルールを分類すること。
• 計算複雑性分析を用いて、異なるABCルール実装の実現可能性とスケーラビリティを評価すること。

実験結果

リサーチクエスチョン

• RQ1 複数名選出選挙において、公平で代表的なABCルールを最もよく特徴付ける公理は何か？
• RQ2 望ましい理論的性質を保ちながら、ABCルールを効率的に計算する方法は何か？
• RQ3 ABCルール設計において、公平性、計算効率、代表性の間のトレードオフは何か？
• RQ4 どのような実用的状況でABCルールが他の複数名選出投票手法を上回るか？
• RQ5 異なる選挙者好みの分布や委員会サイズの下で、異なるABCルールはどのように振る舞うか？

主な発見

• 比例代表制の原則に基づくABCルールは、選挙者グループ間での委員会議席の公平な分配を保証する。
• フェルグメンのルールや等分配分法（Method of Equal Shares）など、いくつかのABCルールは、強力な公平性保証を達成しつつ、計算的に扱いやすい。
• 理論的分析により、一部のABCルールが正当な代表（justified representation）や支持の比例性（proportionality of support）といった主要な公理を満たすことが確認された。
• アルゴリズムの進展により、大規模な選挙者集団や候補者集合に対してもABCルールのスケーラブルな計算が可能になった。
• 実証的評価では、ABCルールが多様性と代表性のバランスを取る点で、従来手法を上回ることが示された。
• 公理的分析とアルゴリズム的分析の統合により、実世界のABCシステム設計のための堅牢なフレームワークが得られた。