[论文解读] Efficient Local Search in Coordination Games on Graphs

Sunil Simon, Dominik Wojtczak|arXiv (Cornell University)|Apr 16, 2016

Game Theory and Applications参考文献 18被引用 5

一句话总结

本文识别了有向图的自然类别——如加权开环链、划分环（partition-cycles）以及某些加权有向无环图（DAG）——在这些图类上，协调博弈存在长度为多项式时间的有限改进路径或联盟改进路径，从而可实现纯纳什均衡或强均衡的多项式时间计算。其核心贡献在于证明了这些结构类可保证局部搜索的高效收敛，而其自然扩展可能根本不存在均衡。

ABSTRACT

We study strategic games on weighted directed graphs, where the payoff of a player is defined as the sum of the weights on the edges from players who chose the same strategy augmented by a fixed non-negative bonus for picking a given strategy. These games capture the idea of coordination in the absence of globally common strategies. Prior work shows that the problem of determining the existence of a pure Nash equilibrium for these games is NP-complete already for graphs with all weights equal to one and no bonuses. However, for several classes of graphs (e.g. DAGs and cliques) pure Nash equilibria or even strong equilibria always exist and can be found by simply following a particular improvement or coalition-improvement path, respectively. In this paper we identify several natural classes of graphs for which a finite improvement or coalition-improvement path of polynomial length always exists, and, as a consequence, a Nash equilibrium or strong equilibrium in them can be found in polynomial time. We also argue that these results are optimal in the sense that in natural generalisations of these classes of graphs, a pure Nash equilibrium may not even exist.

研究动机与目标

• 识别加权有向图上协调博弈存在长度为多项式时间的有限改进路径的图类。
• 建立通过局部搜索高效计算纯纳什均衡或强均衡的条件。
• 证明此类路径的存在性是最优的，因为这些类的自然扩展可能根本不具备纳什均衡。
• 探索确保协调博弈中弱无环性与有限收敛的图的结构特性。

提出的方法

• 作者分析了加权有向图上的协调博弈，其中玩家收益取决于其邻域内策略的协调程度以及每种策略的固定奖励。
• 引入了‘划分环’（partition-cycles）的概念——即具有拓扑有序划分成上部与下部节点集的有向图类——并证明此类图存在有限改进路径。
• 开发了一种线性时间算法，用于识别划分环并计算所需的节点排序，从而实现高效路径构造。
• 论文利用广义势函数与图的结构分解，证明了多项式长度改进路径的存在性。
• 通过拓扑排序与子图中的环检测，验证了实现有限改进路径所必需的结构约束。
• 分析进一步扩展至加权开环链与加权DAG，表明在这些情况下也存在有限改进路径。

实验结果

研究问题

• RQ1 在哪些有向图类上，协调博弈存在长度为多项式时间的有限改进路径？
• RQ2 在特定图结构上，协调博弈中的纯纳什均衡能否被高效计算？
• RQ3 是否存在自然的图类扩展，使得即使在基础类中存在纳什均衡，其扩展中也可能不存在纳什均衡？
• RQ4 广义势函数能否用于证明在结构化图上协调博弈的弱无环性？
• RQ5 是否存在一个通用的进度度量，可统一捕捉多种图类中的收敛性？

主要发现

• 在加权开环链上，协调博弈存在长度为多项式时间的有限改进路径，从而可实现纳什均衡的多项式时间计算。
• 划分环——即具有拓扑有序划分为上部与下部节点集的图——存在有限改进路径，且其结构可在线性时间内识别。
• 确定纳什均衡存在性的问题在一般情况下是NP完全的，但在DAG、团与环等特定图类中变为可解。
• 即使在强连通的无权图中，改进路径也可能无限，且从某些初始策略出发，平凡的强均衡也可能无法达到。
• 结果对整数奖励具有鲁棒性：将所有奖励增加一个常数，不会改变玩家的激励与路径性质。
• 论文推测，入度至多为2的无权图是c-弱无环的，该推测得到了大量仿真实验的支持。