[论文解读] Simple Causes of Complexity in Hedonic Games

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

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

一句话总结

本文識別出在享樂博弈中導致穩定結果判定問題NP難的最小且直觀的代理人偏好條件——具體而言，即對大小為2的集體進行排序的能力與對敵人的厭惡。該框架統一並拓展了多種穩定性概念（如核心、個人、納什穩定性）與形式化方法（可加分離、分數、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難度的最小條件。
• 透過檢查結構性質，將該框架應用於推導中位數與中值範圍博弈的難度結果。
• 確保所有權重與效用值為多項式規模，且可用一進制表示，以維持計算可追蹤性。

实验结果

研究问题

• RQ1 享樂博弈中偏好表達的哪些最小條件足以導致穩定性驗證問題的NP難度？
• RQ2 能否建立一個統一框架，解釋多種享樂博弈形式化方法與穩定性概念下穩定性問題的難度？
• RQ3 相同的偏好條件是否也導致強納什與嚴格強納什穩定性的難度，而這些此前尚未被探討？
• RQ4 該框架能否自動推導出新類型享樂博弈（如中位數與中值範圍博弈）的複雜度結果？
• RQ5 是否存在結構性質（如毒性、單調性）能一致地導致難度，而不受底層形式化方法的影響？

主要发现

• 只要代理人能表達對大小為2的集體的任意偏好，並表現出對敵人的厭惡，則檢查享樂博弈是否允許穩定結果的問題即為NP難。
• 對於可加分離與分數享樂博弈，該框架確認了核心、個人與納什穩定性下的NP難度，並提供了完整證明。
• 本文首次建立了強納什穩定性（sns）、嚴格強納什穩定性（ssns）與強個人穩定性（sis）的NP難度結果。
• 該框架推導出中位數博弈、中值範圍博弈與ℓ-批准博弈的NP難度——這些類別此前未被分析其複雜度。
• 對於社會分數享樂博弈，該框架顯示在所有穩定性概念下均為NP難，僅可能在某些弱穩定變體下例外。
• 結果具有魯棒性：即使偏好嚴格（無平局），只要存在對大小為3集體的欣賞與敵人厭惡，即可導致NP難度。