[論文レビュー] On the Nash Stability in the Hedonic Coalition Formation Games

Cengis Hasan, Jean-Marie Gorce+1 more|arXiv (Cornell University)|May 14, 2014

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

ひとこと要約

本稿は、ヘドニックゲームにおけるナッシュ安定な連合分割を保証するユーティリティ配分枠組みとして、ナッシュ安定コアを導入する。効率性を緩和すること（連合のユーティリティが個々の利得の合計より小さいことを許容すること）により、空でないナッシュ安定コアが保証されることを証明し、効率的配分における存在しない問題を解決する。

ABSTRACT

This paper studies the Nash stability in hedonic coalition formation games. We address the following issue: for a general problem formulation, is there any utility allocation method ensuring a Nash-stable partition? We propose the definition of the Nash-stable core. We study the conditions for having a non-empty Nash-stable core. More precisely, we show how relaxed efficiency in utility sharing method allows to ensure a non-empty Nash-stable core.

研究の動機と目的

• ヘドニック連合形成ゲームにおけるナッシュ安定な連合分割を保証するユーティリティ配分法を特定すること。
• ナッシュ安定コアを定義し、ナッシュ安定な分割をもたらすユーティリティ配分の集合として分析すること。
• ナッシュ安定コアが非空となる条件、特に効率性制約との関係を調査すること。
• 厳密なユーティリティ効率性のもとでナッシュ安定な分割が存在しない問題を、緩和された効率性の導入によって解決すること。
• 非協力ゲームのダイナミクスとヘドニックゲームにおける安定な連合構造との間の正式な関係を確立すること。

提案手法

• ナッシュ安定コアを、ナッシュ安定な連合分割をもたらすユーティリティ配分ベクトルの集合として導入する。
• プレイヤーの戦略を連合参加を表すものとして、戦略タプルを用いてヘドニック連合形成を非協力ゲームとしてモデル化する。
• 各プレイヤーが現在の連合構造に基づいて自身のユーティリティを最適化する最適反応ダイナミクスを定義する。
• すべての連合構造におけるナッシュ安定分割の妥当性を表すために、線形計画法の定式化（LRE）を用いる。
• すべての可能な分割に対して制約列挙を適用し、ナッシュ安定性の必要十分条件を導出する。
• 効率性を緩和すること（連合のユーティリティが完全に分配されない）により、ナッシュ安定コアが非空であることが証明される。

実験結果

リサーチクエスチョン

• RQ1 ヘドニックゲームにおいて、ナッシュ安定な連合分割を保証するユーティリティ配分法は存在するか？
• RQ2 ナッシュ安定コアが非空となる条件は何か？
• RQ3 効率的ユーティリティ共有のもとでナッシュ安定な分割が存在しない問題は、どのように克服できるか？
• RQ4 ユーティリティ配分における効率性の緩和が、安定な分割の存在に与える影響は何か？
• RQ5 ナッシュ安定コアと伝統的協力ゲーム理論におけるコアとの関係は何か？

主な発見

• ナッシュ安定コアが非空であることは、かつは、連合内での個々の利得の合計が連合の総ユーティリティ以下である、すなわち余剰が許容される場合に限る。
• 2人ゲームでは、対称的な相対的利益（均等配分）が、連合価値にかかわらず常にナッシュ安定な分割をもたらす。
• 3人ゲームでは、すべての5つの可能な分割から導かれる一連の線形不等式を満たす配分が、ナッシュ安定コアが非空である条件である。
• 4人以上の場合、ナッシュ安定配分の妥当性を確認するための線形計画法（LRE）は、常に実行可能であり、緩和された効率性のもとで存在が保証される。
• 効率性が緩和されれば、効率的配分が安定な結果をもたらさない場合でも、ナッシュ安定な分割の存在が保証される。
• 最適反応ダイナミクスを用いた非協力ゲームの定式化は、提案されたユーティリティ配分ルールのもとで、ナッシュ安定な分割に収束する。