[論文レビュー] The Complexity of Fully Proportional Representation for Single-Crossing Electorates

Piotr Skowron, Lan Yu+2 more|arXiv (Cornell University)|Jul 4, 2013

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

ひとこと要約

この論文は、チェンバーリン＝カーランのルールにおける当選者決定が単一交差選挙において多項式時間で解けることを確立している一方で、モノイのルールはこの制限付きドメインですらNP困難のままである。しかし、各候補者が少なくとも1人の有権者によって1位にランク付けされる単一交差ナルシスティック選挙では、モノイのルールのエゴイスタ的バージョンに対して効率的なアルゴリズムが開発され、構造的選好下での2つのルールの計算複雑性における重要な差異が浮き彫りになった。

ABSTRACT

We study the complexity of winner determination in single-crossing elections under two classic fully proportional representation rules---Chamberlin--Courant's rule and Monroe's rule. Winner determination for these rules is known to be NP-hard for unrestricted preferences. We show that for single-crossing preferences this problem admits a polynomial-time algorithm for Chamberlin--Courant's rule, but remains NP-hard for Monroe's rule. Our algorithm for Chamberlin--Courant's rule can be modified to work for elections with bounded single-crossing width. To circumvent the hardness result for Monroe's rule, we consider single-crossing elections that satisfy an additional constraint, namely, ones where each candidate is ranked first by at least one voter (such elections are called narcissistic). For single-crossing narcissistic elections, we provide an efficient algorithm for the egalitarian version of Monroe's rule.

研究の動機と目的

• 単一交差選挙におけるチェンバーリン＝カーランのルールおよびモノイのルールの当選者決定の計算複雑度を特定すること。
• 単一交差幅やナルシスティックな選好といった構造的制約が、そうでない場合にNP困難となる問題に対して効率的アルゴリズムを可能にするかを調査すること。
• 選好の制約下におけるモノイのルールとチェンバーリン＝カーランのルールのアルゴリズム的扱いやすさを比較すること。
• 単一交差ナルシスティック選挙におけるエゴイスタ的モノイのルールの動的計画法に基づくアルゴリズムを開発すること。

提案手法

• 単一交差選好が誘発する連続する有権者ブロック構造を活用して、単一交差選挙におけるチェンバーリン＝カーランのルールのための動的計画法アルゴリズムを設計した。
• 単一交差幅が有界な選挙に向け、動的計画法の状態表現を一般化することで、このアルゴリズムを拡張した。
• モノイのルールに関しては、既知のNP困難問題への還元を用いて、単一交差選挙においても、ナルシスティック制約が付加されてもNP困難であることを証明した。
• 単一交差ナルシスティック選挙におけるエゴイスタ的モノイのルールの代替的動的計画法を考案し、連続的割り当て性質と有権者の順序を活用した。
• このアルゴリズムは、各に選ばれた候補者が連続する有権者ブロックに割り当てられることを保証し、最大不満度を最小化する。
• 単一ピーク選好に関する先行研究と対比し、アルゴリズム的構造における根本的な差異を示した。

実験結果

リサーチクエスチョン

• RQ1 チェンバーリン＝カーランのルールにおける当選者決定は、単一交差選挙において扱いやすいか？
• RQ2 追加の構造的制約が与えられても、モノイのルールのNP困難性は単一交差選挙においても維持されるか？
• RQ3 単一交差ナルシスティック選挙において、エゴイスタ的モノイのルールは効率的に解けるか？
• RQ4 単一ピーク選好のためのアルゴリズムは、単一交差選好に一般化可能か？
• RQ5 連続ブロック性質は、ナルシスティック設定を超えてモノイのルールのための効率的アルゴリズムの設計に利用可能か？

主な発見

• チェンバーリン＝カーランのルールは、単一交差選挙において多項式時間アルゴリズムを有し、単一交差幅が有界な選挙に対しても拡張可能である。
• モノイのルールは、単一交差選挙ですらNP困難のままであり、チェンバーリン＝カーランのルールよりも強い計算的障壁を示している。
• 単一交差ナルシスティック選挙では、エゴイスタ的モノイのルールのための効率的動的計画法アルゴリズムが開発され、最適またはほぼ最適の不満度が達成された。
• 単一交差ナルシスティック選挙におけるモノイのルールの最適割り当てには連続する有権者ブロックが必要であり、アルゴリズムはこの構造を強制することで最大不満度を最小化する。
• エゴイスタ的モノイのルールのアルゴリズムは、例のケースにおいてBorda不満度関数を用いたℓ∞-モノイの変種で、総不満度がm+1以下になることを達成した。
• 結果から、連続ブロックに基づくアプローチは一般の単一交差選挙や、ユーティリタリアン版モノイのルールでは失敗することが示され、固有のアルゴリズム的制限が存在することが明らかになった。