[論文レビュー] Simple Causes of Complexity in Hedonic Games

Dominik Peters, Edith Elkind|arXiv (Cornell University)|Jul 13, 2015

Game Theory and Voting Systems参考文献 23被引用数 4

ひとこと要約

この論文は、ヘドニックゲームにおけるエージェントの好みに関する最小で直感的な条件——特に、2人組のクーリションの順序付け可能性と敵対者への嫌悪——が、安定した結果を求める問題にNP困難性を引き起こす十分条件であることを特定している。この枠組みは、複数の安定性概念（例：コア、個別、ナッシュ安定性）および形式的表現（加法的分離可能、分数型、W好み）の間で困難性の結果を統一・拡張し、これまで未調査であったクラス（例：中央値ゲーム、中央範囲ゲーム）についても、自動的に複雑性結果を導出可能である。

ABSTRACT

Hedonic games provide a natural model of coalition formation among self-interested agents. The associated problem of finding stable outcomes in such games has been extensively studied. In this paper, we identify simple conditions on expressivity of hedonic games that are sufficient for the problem of checking whether a given game admits a stable outcome to be computationally hard. Somewhat surprisingly, these conditions are very mild and intuitive. Our results apply to a wide range of stability concepts (core stability, individual stability, Nash stability, etc.) and to many known formalisms for hedonic games (additively separable games, games with W-preferences, fractional hedonic games, etc.), and unify and extend known results for these formalisms. They also have broader applicability: for several classes of hedonic games whose computational complexity has not been explored in prior work, we show that our framework immediately implies a number of hardness results for them.

研究の動機と目的

• ヘドニックゲーム安定性問題における計算的困難性を引き起こす、好み表現の単純で直感的な条件を同定すること。
• 多様なヘドニックゲーム形式および安定性概念にわたる、既存のNP困難性結果を統一・拡張すること。
• カスタム還元を構築することなく、自動的に困難性結果を導出する一般枠組みを提供すること。
• 強ナッシュ安定性や厳密な強ナッシュ安定性といった、これまであまり研究されていなかった安定性概念の未解決な複雑性の問題を解消すること。
• 中央値、中央範囲、ℓ-承認といった、新たなヘドニックゲームクラス（例：中央値ゲーム、中央範囲ゲーム、ℓ-承認ゲーム）へと枠組みを拡張すること。

提案手法

• 各安定性概念に特化した「敵対者嫌悪」条件を定義し、エージェントが敵対者を含むクーリションを拒否することを保証する。
• 2人組および3人組クーリションにおける「クーリションの一貫性」と「毒性」条件を導入し、好み表現の豊かさを強制する。
• 3-SAT問題のインスタンスを、特定の好み構造を持つヘドニックゲームに符号化する還元フレームワークを用いる。
• 加法的分離可能、分数型、W好みなどの好み形式が、NP困難性を引き起こす最小条件を満たしていることを検証する。
• 構造的性質のチェックにより、中央値ゲームや中央範囲ゲームといった新しいクラスに対して、困難性結果を導出する。
• すべての重みと効用が多項式サイズであり、1進法で表現可能であることを保証し、計算の tractability を維持する。

実験結果

リサーチクエスチョン

• RQ1 ヘドニックゲームにおける好み表現のどの最小限の条件が、安定性検証問題におけるNP困難性を引き起こすか？
• RQ2 多様なヘドニックゲーム形式および安定性概念にわたる安定性問題の困難性を説明する統一された枠組みは可能か？
• RQ3 同じ好みの条件が、これまで未調査であった強ナッシュ安定性（sns）および厳密な強ナッシュ安定性（ssns）に対しても困難性を引き起こすか？
• RQ4 この枠組みは、中央値ゲームや中央範囲ゲームといった、新たなヘドニックゲームクラスについても、自動的に複雑性結果を導出可能か？
• RQ5 毒性、単調性などの構造的性質が、基礎となる形式的表現に依存せずに、一貫して困難性を示すのか？

主な発見

• エージェントが2人組クーリションに対する任意の好みを表現可能であり、かつ敵対者を嫌悪する場合、ヘドニックゲームが安定な結果をもつかどうかを検証する問題はNP困難である。
• 加法的分離可能および分数型ヘドニックゲームでは、コア、個別、ナッシュ安定性について、このフレームワークがNP困難性を確認しており、完全な証明が提示されている。
• 本論文は、強ナッシュ安定性（sns）、厳密な強ナッシュ安定性（ssns）、および強個別安定性（sis）について、初めてNP困難性の結果を確立した。
• このフレームワークにより、中央値ゲーム、中央範囲ゲーム、ℓ-承認ゲームについてもNP困難性が導出された——これらはこれまで複雑性について分析されていなかったクラスである。
• 社会的分数型ヘドニックゲームでは、すべての安定性概念についてNP困難性が示されたが、一部の弱い安定性バージョンについては例外がある可能性がある。
• 結果は頑健である：厳密な好み（同順位なし）であっても、3人組クーリションの好ましさと敵対者嫌悪が存在するだけで、NP困難性が成立する。