[論文レビュー] Matching Games with Additive Externalities

Simina Brânzei, Tomasz Michalak+3 more|arXiv (Cornell University)|Jul 16, 2012

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

ひとこと要約

本稿は、エージェントの報酬が自らのマッチと他のエージェントのマッチの両方に依存する二価マッチングゲームにおける外部性のコン pact で加法的なモデルを提案する。1対1および多くの対多くのマッチングにおいて、中立的、楽観的、悲観的な推論の下での安定性を分析し、一部のケースでは多項式時間アルゴリズムを提供し、他のケースでは計算の難解性を示している。これにより、外部性を伴う安定性計算のための基盤的枠組みを確立する。

ABSTRACT

Two-sided matchings are an important theoretical tool used to model markets and social interactions. In many real life problems the utility of an agent is influenced not only by their own choices, but also by the choices that other agents make. Such an influence is called an externality. Whereas fully expressive representations of externalities in matchings require exponential space, in this paper we propose a compact model of externalities, in which the influence of a match on each agent is computed additively. In this framework, we analyze many-to-many and one-to-one matchings under neutral, optimistic, and pessimistic behaviour, and provide both computational hardness results and polynomial-time algorithms for computing stable outcomes.

研究の動機と目的

• 外部性をモデル化する際の計算の非効率性を解決すること。通常、完全表現では指数的空間が必要となる。
• 現実のマッチング応用に適した表現力と計算可能性のバランスを取った、コン pact で加法的な外部性モデルの開発。
• 1対1および多くの対多くのマッチングフレームワークにおいて、中立的、楽観的、悲観的という3つの行動モデルの下での安定性の分析。
• 異なる安定性概念における安定結果集合のメンバー入り問題と空集合問題の計算複雑性の特定。
• 特定の安定性概念に対しては多項式時間アルゴリズムを提供し、他の概念に対しては難解性の結果を提示することで、包括的な計算複雑性の地図を提供すること。

提案手法

• 本稿では、外部性を加法的にモデル化し、各エージェントの報酬が直接的なマッチ値と他のエージェントのマッチからの加法的寄与の合計として表される。
• 中立的（未マッチエージェントは反応しない）、楽観的（残りのエージェントが逸脱者の報酬を最大化する）、悲観的（残りのエージェントが逸脱者の報酬を最小化する）という3つの推論モデルを導入する。
• 1対1マッチングでは、各推論モデルの下で計算されるエージェント固有の報酬関数を用いた、修正されたGale-Shapleyアルゴリズムを用いる。
• 悲観的推論のための報酬関数 $ E^{-}_z(t) $ を定義し、マッチの基本報酬と残りのマッチングの期待結果を集約する。
• 潜在的な逸脱後の残りのエージェントに対して最小コストマッチング問題を解くことで、安定マッチングを計算する。
• 計算複雑性の結果は、既知のNP完全およびcoNP完全問題への還元を用いて導出され、特定の安定性メンバー入り問題と空集合問題の難解性が示される。

実験結果

リサーチクエスチョン

• RQ1 コン pact で加法的な外部性モデルを用いて、二価マッチングゲームにおける安定結果を効率的に表現・計算できるか？
• RQ2 1対1および多くの対多くのマッチングにおいて、中立的、楽観的、悲観的推論の下で安定マッチングが存在するかどうかを決定する計算複雑性は何か？
• RQ3 3つの推論モデルのいずれかの下で、安定結果を計算する多項式時間アルゴリズムは存在するか？
• RQ4 中立的、楽観的、悲観的推論の下での安定結果集合の構造的および存在的関係はどのように関連しているか？
• RQ5 提案されたモデルは、制限された合理的なエージェントを伴うネットワーク形成ゲームのような大規模な設定に拡張可能か？

主な発見

• 1対1マッチングにおける悲観的対間安定性の下では、多項式時間アルゴリズムが存在し、そのアルゴリズムは多項式時間で安定マッチングを計算する。
• 1対1マッチングにおける悲観的対間安定性のメンバー入り問題はPに属するが、中立的および楽観的推論の下ではcoNP完全である。
• 1対1マッチングにおいて、中立的および悲観的推論の下では安定集合の空集合問題はNP困難であり、楽観的推論の下ではNP完全である。
• 多くの対多くのマッチングにおいて、3つの推論モデルすべての集合的安定性問題はcoNP完全であり、高い計算複雑性を示している。
• 楽観的推論の下では、1対1マッチングにおける空集合問題はNP完全であるのに対し、中立的推論の下ではNP困難であることが示された。
• 結果として、一部の安定性概念（例：悲観的対間安定性）は効率的な計算が可能である一方、他の概念（例：中立的集合的安定性）は計算的に非効率であることが明らかになった。