[论文解读] Strategic Cooperation in Cost Sharing Games

Martin Hoefer|arXiv (Cornell University)|Mar 16, 2010

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

一句话总结

本文建立了战略成本分摊博弈中的强纳什均衡与合作成本分摊博弈中核心之间的紧密联系，表明强纳什均衡的存在性由底层线性规划（LP）公式的整数规划间隙所刻画。该文提出一个统一框架，通过原始-对偶算法推导集合覆盖、设施选址和网络设计博弈中的精确与近似强纳什均衡，并证明强纳什均衡的价格始终为1。

ABSTRACT

In this paper we consider strategic cost sharing games with so-called arbitrary sharing based on various combinatorial optimization problems, such as vertex and set cover, facility location, and network design problems. We concentrate on the existence and computational complexity of strong equilibria, in which no coalition can improve the cost of each of its members. Our main result reveals a connection between strong equilibrium in strategic games and the core in traditional coalitional cost sharing games studied in economics. For set cover and facility location games this results in a tight characterization of the existence of strong equilibrium using the integrality gap of suitable linear programming formulations. Furthermore, it allows to derive all existing results for strong equilibria in network design cost sharing games with arbitrary sharing via a unified approach. In addition, we are able to show that in general the strong price of anarchy is always 1. This should be contrasted with the price of anarchy of Θ(n) for Nash equilibria. Finally, we indicate that the LP-approach can also be used to compute near-optimal and near-stable approximate strong equilibria.

研究动机与目标

• 基于组合优化问题，刻画战略成本分摊博弈中强纳什均衡的存在性。
• 在战略博弈中的强纳什均衡与传统合作成本分摊博弈中的核心之间建立正式联系。
• 开发一种基于LP的统一方法，用于计算集合覆盖、设施选址和网络设计等博弈中的近似强纳什均衡。
• 分析强纳什均衡的价格并证明其恒为1，这与纳什均衡中Θ(n)的价格形成鲜明对比。
• 将原始-对偶算法的适用范围扩展至多项式时间内推导出常数因子近似强纳什均衡。

提出的方法

• 利用线性规划对偶性与整数规划间隙分析，刻画战略成本分摊博弈中强纳什均衡的存在性。
• 以合作成本分摊博弈的核心作为基准，判断战略环境下强纳什均衡是否存在。
• 应用原始-对偶算法计算近似强纳什均衡，其性能保证基于LP的近似比。
• 将寻找强纳什均衡的问题转化为通过LP公式求解底层组合优化问题。
• 证明联盟的偏离行为可通过单玩家子博弈中的等价单边偏离进行分析，同时保持稳定性保证。
• 利用广义线性生产模型的结构，探索其在当前博弈类之外的更广泛应用。

实验结果

研究问题

• RQ1 在基于组合优化问题的战略成本分摊博弈中，强纳什均衡在何种条件下存在？
• RQ2 强纳什均衡的存在性与底层LP公式的整数规划间隙有何关联？
• RQ3 合作成本分摊博弈的核心是否可用于刻画或计算战略环境下的强纳什均衡？
• RQ4 战略成本分摊博弈中的强纳什均衡价格是多少？与纳什均衡的价格相比如何？
• RQ5 原始-对偶算法是否可被调整以计算具有有界近似比的近似强纳什均衡？

主要发现

• 在集合覆盖和设施选址博弈中，强纳什均衡的存在性由其相应LP公式的整数规划间隙紧密刻画。
• 在战略成本分摊博弈中，强纳什均衡的价格恒为1，相较于纳什均衡中Θ(n)的价格有显著改进。
• 对于点覆盖博弈，即使整数规划间隙为1且核心非空，强纳什均衡仍可能因战略激励而无法存在。
• 原始-对偶算法可在多项式时间内计算出：点覆盖博弈的(2,2)-强纳什均衡、集合覆盖博弈的(f,f)-强纳什均衡（其中f为最大频率）、度量无容量限制设施选址博弈的(3,3)-强纳什均衡。
• 强纳什均衡与核心解之间的等价性使得可对多个博弈类别（包括网络设计博弈）采用统一方法推导结果。
• 基于LP的框架可扩展至近似强纳什均衡，确保在精确强纳什均衡不存在的场景下仍具备稳定性和效率。