[論文レビュー] Individual-based stability in hedonic games depending on the best or worst players

Haris Aziz, Paul Harrenstein+1 more|arXiv (Cornell University)|Jun 4, 2012

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

ひとこと要約

本稿は、プレイヤーの団体への好みが、そのグループに属する最高または最低のプレイヤーに依存するヒドニックゲームを研究しており、個別安定性やナッシュ安定性といった安定性概念の計算複雑性に注目している。プレイヤーの好みが極値（最高／最低）のプレイヤーに基づいて集約されることで、団体形成における本質的な計算困難性が生じ、これはコンパクト表現でさえも成立する。

ABSTRACT

We consider classes of hedonic games in which each player's preferences over coalition structures are induced by the best player (B- and B-hedonic games) or the worst player (B-and W-hedonic games) in his coalition. For these classes, which allow for concise representation, we analyze the computational complexity of deciding the existence of and computing individually stable, Nash stable, and individually rational and contractually individually stable coalition partitions. We identify a key source of intractability in compact coalition formation games in which preferences over players are extended to preferences over coalitions.

研究の動機と目的

• 団体に属する最高または最低のプレイヤーに基づく好みを持つヒドニックゲームにおける安定性概念の計算複雑性を調査すること。
• 極値プレイヤー（最高／最低）に基づくコンパクト表現が、安定な団体分割の効率的計算を可能にするかを特定すること。
• 特に個別安定性およびナッシュ安定性において、計算困難性の原因を同定すること。
• これらの好みモデル下での個別合理的および契約的個別安定な分割の計算の複雑性を検討すること。

提案手法

• 団体内の最高プレイヤー（B-ヒドニックゲーム）または最低プレイヤー（W-ヒドニックゲーム）によって誘導される好みを用いてヒドニックゲームをモデル化すること。
• これらの設定において、個別安定性、ナッシュ安定性、および契約的個別安定性といった安定性概念を定義すること。
• 既知のNP困難問題への還元を用いて、安定な分割の存在および計算に関する困難性を示すこと。
• 団体構造の構造的分析を用いて、安定性が計算的に不可能になる条件を同定すること。
• 複雑性理論的技術を用いて、意思決定問題をNP完全またはcoNP完全に分類すること。
• コンパクトな好み表現でさえも、極値プレイヤーに基づく好みの集約が原因で、安定性問題が計算的に困難であることを確立すること。

実験結果

リサーチクエスチョン

• RQ1 B-およびW-ヒドニックゲームにおいて、個別安定な団体分割が存在するかどうかを決定する計算複雑性は何か？
• RQ2 これらのヒドニックゲームのクラスにおいて、ナッシュ安定な分割は効率的に計算可能か？
• RQ3 最高または最低のプレイヤーを好みの決定要因として用いることで、安定な団体構造の探索の可 tractability はどのように変化するか？
• RQ4 特定の構造的性質が、コンパクト表現にもかかわらず安定性問題を tractable にするか？
• RQ5 B-およびW-ヒドニックゲームにおいて、契約的個別安定な分割を計算する複雑性は何か？

主な発見

• B-ヒドニックゲームにおける個別安定な分割の存在はNP完全である。これは本質的な計算困難性を示している。
• ナッシュ安定性の決定も、B-およびW-ヒドニックゲームの両方でNP完全である。これはコンパクト表現が存在しても同様に成立する。
• 個別合理的または契約的個別安定な分割の計算は、これらの設定においても計算的に困難である。
• 本稿は、極値プレイヤー（最高／最低）に基づく好みの集約が、コンパクトな団体形成ゲームにおける困難性の主な要因であると特定した。
• 簡潔な好み表現でさえも、安定な分割の探索問題はNP困難のままであり、これは効率的な団体形成における根本的な障壁を示している。
• 結果として、極値プレイヤーに基づく好みは、構造的単純性の期待とは反して、安定性計算を単純化しないことが示された。