[論文レビュー] The Condorcet Principle for Multiwinner Elections: From Shortlisting to Proportionality

Haris Aziz, Edith Elkind+3 more|arXiv (Cornell University)|Jan 27, 2017

Game Theory and Voting Systems被引用数 16

ひとこと要約

本稿は、複数候補者選出における2つのコンドルセに基づく安定性概念、すなわち短縮選定のためのGehrlein安定性と比例代表制のための局所安定性を導入し、分析する。Gehrlein安定性の検証は多項式時間で可能である一方、完全な局所安定性の検証はW[1]-hardであることが示され、それぞれの概念は公理的性質と計算複雑性に基づいて、異なる選挙制度応用に適していることが明らかになった。

ABSTRACT

We study two notions of stability in multiwinner elections that are based on the Condorcet criterion. The first notion was introduced by Gehrlein: A committee is stable if each committee member is preferred to each non-member by a (possibly weak) majority of voters. The second notion is called local stability (introduced in this paper): A size-$k$ committee is locally stable in an election with $n$ voters if there is no candidate $c$ and no group of more than $\frac{n}{k+1}$ voters such that each voter in this group prefers $c$ to each committee member. We argue that Gehrlein-stable committees are appropriate for shortlisting tasks, and that locally stable committees are better suited for applications that require proportional representation. The goal of this paper is to analyze these notions in detail, explore their compatibility with notions of proportionality, and investigate the computational complexity of related algorithmic tasks.

研究の動機と目的

• 複数候補者選挙における2つのコンドルセ風の安定性概念、Gehrlein安定性と局所安定性を形式化し、比較すること。
• 短縮選定と比例代表制という異なる選挙制度応用に、それぞれの概念がどれほど適しているかを評価すること。
• 各概念のもとでの安定委員会の検証および計算の計算複雑性を分析すること。
• 制限された好みのドメインにおける局所安定性と比例性公理の整合性を調査すること。
• 特に単一ピーク型、単一交差型、および政党ベースの好み設定において、アルゴリズム的 tractability および intractability の結果を同定すること。

提案手法

• 「委員会が、全メンバーをすべての候補者よりも好む非会員候補者を好む、n/(k+1)人を超える選挙人のグループによる移行に対して免疫である」として定義される、新たな安定性概念「局所安定性」を提唱する。
• 比例性の保証を強化するため、承認投票における拡張妥当代表性に類似した、より強い形の局所安定性のバリエーションを導入する。
• マルチカラークリーク問題からの還元を用いて、委員会サイズをパrameterとする場合に、完全な局所安定性の検証がW[1]-hardであることを証明する。
• 単一ピーク型、単一交差型、政党ベースの好みのドメインを制限された好みのドメインとして分析し、安定委員会の存在可能性とその代表的性質を評価する。
• 特定の条件下でGehrlein安定委員会が多項式時間で計算可能であることを示す構成的証明を用いる。
• 特に一貫性、単調性、代表性に関して、Gehrlein安定性と局所安定性の公理的性質を比較する。

実験結果

リサーチクエスチョン

• RQ1 Gehrlein安定性は効率的に計算可能か？ また、拡大の一貫性といった強い公理的性質を満たすか？
• RQ2 局所安定性は比例代表制をもたらすか？ また、順位付け投票における既存の比例性概念と比べてどうか？
• RQ3 完全な局所安定性の検証問題は計算的に tractable か、それとも本質的に困難か？
• RQ4 単一ピーク型や単一交差型といった制限された好みのドメインは、局所安定委員会の存在と性質にどのように影響するか？
• RQ5 局所安定性と承認ベースの複数候補者選挙における妥当代表性の概念との関係は何か？

主な発見

• Gehrlein安定委員会は多項式時間で計算可能であり、短縮選定の応用において計算的に効率的である。
• 委員会サイズをパrameterとする場合、局所安定性の検証はW[1]-hardであることが示され、高い計算複雑性を示している。
• すべての選挙において局所安定委員会が存在するとは限らず、制限されたドメインですら存在しない場合がある。
• 単一ピーク型および単一交差型ドメインでは、局所安定委員会がより存在しやすく、多様で比例的である傾向がある。
• Gehrlein安定委員会は、その多数派的性質と強く支持される公理的性質（特に強い安定性のもとで）により、短縮選定に適している。
• 本稿では、完全な局所安定性がNPに属するとは考えにくく、その検証は多項式階層の第二レベルにあることが確立された。