[論文レビュー] Equilibria Under the Probabilistic Serial Rule

Haris Aziz, Serge Gaspers+4 more|arXiv (Cornell University)|Feb 17, 2015

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

ひとこと要約

この論文は、非分割財をエージェントに割り当てるための確率的シリアル（PS）ルールにおける純粋ナッシュ均衡（PNE）を調査する。最適応答ダイナミクスに循環が生じるにもかかわらず、PNEが常に存在することを証明し、そのような均衡の検証や計算が計算的に困難（coNP完全およびNP困難）であることを示している。しかし、実験では、大多数の均衡が真実の報告と比較して社会的厚生を維持またはわずかに改善しており、戦略的行動下でも安定性が示された。

ABSTRACT

The probabilistic serial (PS) rule is a prominent randomized rule for assigning indivisible goods to agents. Although it is well known for its good fairness and welfare properties, it is not strategyproof. In view of this, we address several fundamental questions regarding equilibria under PS. Firstly, we show that Nash deviations under the PS rule can cycle. Despite the possibilities of cycles, we prove that a pure Nash equilibrium is guaranteed to exist under the PS rule. We then show that verifying whether a given profile is a pure Nash equilibrium is coNP-complete, and computing a pure Nash equilibrium is NP-hard. For two agents, we present a linear-time algorithm to compute a pure Nash equilibrium which yields the same assignment as the truthful profile. Finally, we conduct experiments to evaluate the quality of the equilibria that exist under the PS rule, finding that the vast majority of pure Nash equilibria yield social welfare that is at least that of the truthful profile.

研究の動機と目的

• 確率的シリアル（PS）ルールは戦略的でないため、エージェントの戦略的行動を分析すること。
• PSルール下での純粋ナッシュ均衡（PNE）の存在、計算、検証の複雑性を調査すること。
• さまざまな好みのモデルにおける戦略的状況下での均衡と真実の報告との間の社会的厚生の質を評価すること。
• 最適応答プレーのダイナミクスと戦略的行動における循環の可能性を探索すること。
• エージェントが戦略的に行動する際のPSの厚生結果としての安定性を評価すること。

提案手法

• PSルール下での最適応答ダイナミクスを分析し、期待効用に基づく最適応答においても循環が生じることを示した。
• 戦略的エージェントが存在する場合でも、PSルール下で純粋ナッシュ均衡が保証的に存在することを証明した。
• 与えられた好みのプロファイルがPNEであるかどうかを検証するのはcoNP完全であり、PNEを計算することはNP困難であることを確立した。
• 2エージェント設定において、真実の割り当てと同一の結果をもたらす線形時間アルゴリズムを考案した。
• 複数の好みモデル（無偏文化（IC）、単一ピーク無偏文化（SP-IC）、Mallows、Polya-Eggenbergerウームモデル）を用いた実験的評価を実施した。
• 社会的厚生の差を評価するために、各エージェントごとに正規化された一様に生成された効用に基づくランダム効用モデルを用いた。

実験結果

リサーチクエスチョン

• RQ1 PSルール下での最適応答ダイナミクスは、PNEが存在するにもかかわらず循環する可能性があるか？
• RQ2 任意のエージェント数と部屋数に対して、PSルール下で純粋ナッシュ均衡が保証的に存在するか？
• RQ3 PSルール下で純粋ナッシュ均衡を検証または計算するのはどの程度難しいか？
• RQ4 戦略的状況下での均衡と真実の報告との間の社会的厚生の質はいかがなっているか？
• RQ5 エージェントの好みの相関が、均衡の数と質にどのような影響を与えるか？

主な発見

• 最適応答ダイナミクスに循環が生じるにもかかわらず、PSルール下で純粋ナッシュ均衡が保証的に存在する。
• 与えられたプロファイルが純粋ナッシュ均衡であるかどうかを検証するのはcoNP完全であり、そのような均衡を計算することはNP困難である。
• 2エージェントの場合、真実のプロファイルと同一の割り当てをもたらす線形時間アルゴリズムによりPNEを計算可能である。
• 純粋ナッシュ均衡の大部分は、真実のプロファイルと同等の社会的厚生を維持しており、実験的設定ではわずかな変動にとどまる。
• 実験では、社会的厚生が向上した均衡の数が低下した均衡の数をわずかに上回っており、観察された社会的厚生の最大変化は、23%の増加と18%の減少であった。
• 好みの相関が高いプロファイル（例：ウームモデルやAGH 2004データ）は、IC や SP-IC よりも少ない均衡をもたらす。