[論文レビュー] Generalizing the Single-Crossing Property on Lines and Trees to Intermediate Preferences on Median Graphs

Adam Clearwater, Clemens Puppe+1 more|arXiv (Cornell University)|May 25, 2015

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

ひとこと要約

この論文は、中央値グラフ上の中間的選好へ単一交差性の性質を一般化し、このようなプロファイルがコンドルセ領域を形成することを証明するとともに、多項式時間で識別可能であることを示している。さらに、木上の単一交差プロファイルに対して、チェンバーリン＝カーランルールが多項式時間で解けることを示し、より広範な選好構造のクラスへ既存の結果を拡張している。

ABSTRACT

Demange (2012) generalized the classical single-crossing property to the intermediate property on median graphs and proved that the representative voter theorem still holds for this more general framework. We complement her result with proving that the linear orders of any profile which is intermediate on a median graph form a Condorcet domain. We prove that for any median graph there exists a profile that is intermediate with respect to that graph and that one may need at least as many alternatives as vertices to construct such a profile. We provide a polynomial-time algorithm to recognize whether or not a given profile is intermediate with respect to some median graph. Finally, we show that finding winners for the Chamberlin-Courant rule is polynomial-time solvable for profiles that are single-crossing on a tree.

研究の動機と目的

• 線や木から中央値グラフ上の中間的選好へ単一交差性の性質を拡張すること。
• 任意の中央値グラフ上の中間的プロファイルがコンドルセ領域を形成することを証明し、順序付け可能な多数決の結果を保証すること。
• 任意の中央値グラフに対して中間的プロファイルが存在することを確立し、必要な最小の代替案の数を特定すること。
• 与えられたプロファイルがある中央値グラフ上で中間的であるかどうかを識別する多項式時間アルゴリズムを開発すること。
• 木上の単一交差プロファイルに対して、チェンバーリン＝カーランルールの勝者決定問題が多項式時間で解けることを示すこと。

提案手法

• 中央値グラフ上の中間的性質を定義：任意の2つの代替案と、片方をもう片方より好む voter に対して、それらの間の最短経路にある全 voter も同じ代替案を好むこと。
• 構成的証明を用いて、$ n $ 頂点をもつ任意の中央値グラフに対して、正確に $ n $ 個の代替案を用いた中間的プロファイルが存在することを示す。
• 動的計画法を用いて、木上の単一交差プロファイルに対してチェンバーリン＝カーランルールを解き、voter の部分木と代替案の部分集合に基づく再帰的部分問題を活用する。
• 部分問題を $ (P', A', k') $ として定義し、$ P' $ は部分木 $ V_{ab} $ 上の部分プロファイル、$ A' $ は代替案の接頭辞、$ k' $ は委員会の規模を表す。
• 再帰的関係式：$ A[V,j,t] = \min\{ A[V,j-1,t], \min_{ab\text{-cut}} \ell(A[V_{ab},j-1,t-1], (r(v_i,a_j))_{v_i \in V_{ba}}) \} $、ここで $ \ell $ は和（功利的）または最大値（均等的）を表す。
• 基本ケースを設定：$ A[\varnothing,j,t] = 0 $、$ A[V,j,1] = \min_{j' \leq j} \ell((r(v_i,a_{j'}))_{i \in V}) $、および $ t \geq j $ の場合 $ A[V,j,t] = 0 $。

実験結果

リサーチクエスチョン

• RQ1 任意の中央値グラフ上の中間的プロファイルはコンドルセ領域を形成するか？
• RQ2 任意の与えられた中央値グラフに対して中間的プロファイルを構成可能であり、そのために必要な最小の代替案の数は何か？
• RQ3 与えられたプロファイルが何らかの中央値グラフ上で中間的であるかどうかを識別する多項式時間アルゴリズムが存在するか？
• RQ4 木上の単一交差プロファイルに対して、チェンバーリン＝カーランルールの勝者決定問題は多項式時間で解けるか？
• RQ5 木上の多項式時間結果を、一般の中央値グラフ上の中間的プロファイルへ拡張可能か？

主な発見

• 中央値グラフ上で中間的である任意のプロファイルはコンドルセ領域を形成し、順序付け可能な多数決の順序が存在することを保証する。
• $ n $ 頂点をもつ任意の中央値グラフに対して、正確に $ n $ 個の代替案を用いた中間的プロファイルが存在し、一部の木では $ n $ 個未満の代替案ではそのようなプロファイルは存在しない。
• 与えられたプロファイルが何らかの中央値グラフ上で中間的であるかどうかを識別する多項式時間アルゴリズムが存在する。
• 木上の単一交差プロファイルに対して、チェンバーリン＝カーランルールの勝者決定問題は $ O(mn^2k) $ 時間で解ける。これは古典的単一交差ケースの計算量と一致する。
• 功利的および均等的両バージョンのチェンバーリン＝カーランルールは、動的計画法を用いて、木上の単一交差プロファイルに対して両方とも多項式時間で解ける。
• 一般の中央値グラフ上の中間的プロファイルへの多項式時間結果の拡張は、未解決の問題のまま残っている。