[论文解读] Hedonic Games with Graph-restricted Communication
本文研究了在给定通信图中玩家仅当彼此连接时才能形成联盟的享乐联盟形成博弈。提出了‘入邻居稳定性’这一新颖的稳定性概念，专为图受限环境设计，并表明在无环图上，个体稳定划分可多项式时间计算，而寻找入邻居稳定或纳什稳定结果在星形图上仍为NP难或PLS难，具体取决于博弈类型。
We study hedonic coalition formation games in which cooperation among the players is restricted by a graph structure: a subset of players can form a coalition if and only if they are connected in the given graph. We investigate the complexity of finding stable outcomes in such games, for several notions of stability. In particular, we provide an efficient algorithm that finds an individually stable partition for an arbitrary hedonic game on an acyclic graph. We also introduce a new stability concept -in-neighbor stability- which is tailored for our setting. We show that the problem of finding an in-neighbor stable outcome admits a polynomial-time algorithm if the underlying graph is a path, but is NP-hard for arbitrary trees even for additively separable hedonic games; for symmetric additively separable games we obtain a PLS-hardness result.
研究动机与目标
- 研究在图受限通信下享乐博弈中稳定结果的存在性与计算复杂性。
- 确定通信图的无环性是否保证稳定划分的存在性并支持高效计算。
- 提出并分析一种新稳定性概念——‘入邻居稳定性’，以反映现实世界中的联盟形成约束。
- 在各种偏好表示形式（如可加可分、对称）下，建立核心、个体、纳什及入邻居稳定性问题的算法边界。
提出的方法
- 提出一种新稳定性概念——入邻居稳定性，其中玩家仅在当前所有成员均同意时才能加入某联盟。
- 将戴芒热的核心稳定性算法适配至预言机模型，并扩展以计算个体稳定与纳什稳定结果。
- 通过从局部最大割问题的约化，证明在星形图上对称可加可分博弈中寻找入邻居稳定结果的PLS完全性。
- 采用预言机模型以避免偏好表示的指数级膨胀，从而在无环图上实现多项式时间算法。
- 结合合作博弈论与图结构分析技术，基于连通子图数量来界定算法复杂度。
- 在紧凑表示形式（如可加可分、敌对导向享乐博弈）下分析复杂度。
实验结果
研究问题
- RQ1通信图的无环性是否保证享乐博弈中存在个体稳定划分？
- RQ2对于无环图上的享乐博弈，个体稳定划分是否可在多项式时间内计算？
- RQ3在底层图为星形图时，寻找入邻居稳定结果是否仍为NP难，特别是针对可加可分享乐博弈？
- RQ4在星形图上对称可加可分享乐博弈中，寻找纳什稳定结果的计算复杂度为何？
- RQ5能否将纳什稳定性的PLS完全性推广至对称可加可分博弈中星形图上的入邻居稳定性？
主要发现
- 对于任意享乐博弈在无环图上，个体稳定划分存在且可在预言机模型下以多项式时间计算。
- 在星形图上，可加可分享乐博弈中寻找入邻居稳定结果为NP难。
- 在星形图上对称可加可分享乐博弈中，寻找入邻居稳定结果为PLS完全。
- 在星形图上对称可加可分享乐博弈中，寻找纳什稳定结果同样为PLS完全。
- 相比之下，敌对导向享乐博弈在星形图上的纳什稳定结果可多项式时间计算。
- 本文证明了享乐博弈在无环图上存在核心稳定性，将戴芒热的结果扩展至非可转移效用设置。
更好的研究，从现在开始
从论文设计到论文写作，大幅缩短您的研究时间。
无需绑定信用卡
本解读由 AI 生成，并经人工编辑审核。