[論文レビュー] A Polynomial-time Algorithm to Achieve Extended Justified Representation

Haris Aziz, Shenwei Huang|arXiv (Cornell University)|Mar 30, 2017

Game Theory and Voting Systems参考文献 8被引用数 3

ひとこと要約

この論文は、承認ベースの多勝者投票における拡張妥当代表性（EJR）を満たす委員会を計算する最初の多項式時間アルゴリズムであるMaxSwapPAVを提示する。候補者を委員会内と外で繰り返し入れ替えながらProportional Approval Voting（PAV）スコアを向上させるこのアルゴリズムは、EJRを保証する一方で、O(n²mk⁴ln k) の時間で実行可能である。

ABSTRACT

We consider a committee voting setting in which each voter approves of a subset of candidates and based on the approvals, a target number of candidates are to be selected. In particular we focus on the axiomatic property called extended justified representation (EJR). Although a committee satisfying EJR is guaranteed to exist, the computational complexity of finding such a committee has been an open problem and explicitly mentioned in multiple recent papers. We settle the complexity of finding a committee satisfying EJR by presenting a polynomial-time algorithm for the problem. Our algorithmic approach may be useful for constructing other voting rules in multi-winner voting.

研究の動機と目的

• 拡張妥当代表性（EJR）を満たす委員会が多項式時間で計算可能かどうかという長年の未解決問題を解消すること。
• NP困難な最適化や列挙に依存せずにEJRを保証する効率的なアルゴリズムを開発すること。
• EJRと候補者入れ替えによるPAVスコア向上の関係を活用した構成的かつ効率的な手法を提供すること。
• EJRが計算的に扱いやすく、計算社会選択理論における重要なギャップを埋めることを示すこと。
• 従来のPAVに基づくルールとは異なり、実用的で効率的な代替手段を提供すること。

提案手法

• 1人の現職候補者と外部の候補者を入れ替えることでPAVスコアを向上させる多項式時間アルゴリズムであるMaxSwapPAVを提案。
• 1回の入れ替えにおけるPAVスコア向上の下界が1/(2k³)以上であることを根拠とした入れ替え基準を用い、進行を保証。
• 委員会がEJRを満たさない場合、PAVスコアを少なくとも1/(2k³)以上向上させる有益な入れ替えが存在することを示す重要な補題を採用。
• PAVスワップフリー性に依存：有益な入れ替えが存在しない場合、委員会はEJRを満たす。
• 各ステップでPAVスコア向上量を最大にするグリーディな入れ替え選択を実装。
• 総入れ替え回数をO(nk³ log k)で抑え、結果としてO(n²mk⁴ log k)の多項式実行時間となることを保証。

実験結果

リサーチクエスチョン

• RQ1 拡張妥当代表性（EJR）を満たす委員会は多項式時間で計算可能か？
• RQ2 NP困難な最適化に頼らずに、EJRを達成する構成的で効率的なアルゴリズムは存在するか？
• RQ3 EJRと比例承認投票（PAV）ルールの間にはどのような計算的関係があるか？
• RQ4 強力な代表性公理を達成するにあたり、入れ替えに基づくアプローチは逐次構築法を上回るか？
• RQ5 PAVスコアを向上させる入れ替えが存在するということは、EJRの不成立を意味するのか？そして、これをアルゴリズム的に利用可能か？

主な発見

• MaxSwapPAVは、拡張妥当代表性（EJR）を満たす委員会を保証する最初の多項式時間アルゴリズムである。
• アルゴリズムはO(n²mk⁴ln k)の時間で実行され、最大でO(nk³ log k)回の入れ替えが行われる。各入れ替えはPAVスコアを少なくとも1/(2k³)以上向上させる。
• EJRが計算的に扱いやすく、複数の最近の論文で明示的に指摘された未解決問題を解決することを証明した。
• EJRを満たす委員会は存在し、効率的に計算可能である。一方で、PAVはNP困難であり、2人の承認を持つ有権者に対してもW[1]-困難である。
• 候補者入れ替えのアプローチは、逐次構築法の代替手段として有効であり、初期の委員会からより公平な代表を実現可能である。
• この結果は、EJRが、最近ようやく多項式時間で計算可能であることが示された弱いPJR性質と同等に効率的に計算可能であることを示唆している。