[论文解读] The cooperative game theory foundations of network bargaining games

MohammadHossein Bateni, MohammadTaghi Hajiaghayi+2 more|arXiv (Cornell University)|Apr 25, 2010

Game Theory and Voting Systems参考文献 38被引用 14

一句话总结

本文通过提出一种线性规划方法，建立了合作博弈理论与网络议价博弈之间的新联系，该方法将稳定解与平衡解的概念推广至具有非对称容量约束的场景。研究表明，合作博弈理论中的核心（core）与预核（prekernel）概念分别对应于网络议价博弈中的稳定与平衡结果，从而可通过迭代线性规划剪枝高效计算出唯一的核仁（nucleolus）——为容量受限市场提供了一种计算上可行、唯一且实验支持的解概念。

ABSTRACT

We study bargaining games between suppliers and manufacturers in a network context. Agents wish to enter into contracts in order to generate surplus which then must be divided among the participants. Potential contracts and their surplus are represented by weighted edges in our bipartite network. Each agent in the market is additionally limited by a capacity representing the number of contracts which he or she may undertake. When all agents are limited to just one contract each, prior research applied natural generalizations of the Nash bargaining solution to the networked setting, defined the new solution concepts of stable and balanced, and characterized the resulting bargaining outcomes. We simplify and generalize these results to a setting in which participants in only one side of the market are limited to one contract each. The heart of our results uses a linear-programming formulation to establish a novel connection between well-studied cooperative game theory concepts (such as core and prekernel) and the solution concepts of stable and balanced defined for the bargaining games. This immediately implies one can take advantage of the results and algorithms in cooperative game theory to reproduce results such as those of Azar et al. [1] and Kleinberg and Tardos [29] and also generalize them to our setting. The cooperative-game-theoretic connection also inspires us to refine our solution space using standard solution concepts from that literature such as nucleolus and lexicographic kernel. The nucleolus is particularly attractive as it is unique, always exists, and is supported by experimental data in the network bargaining literature. Guided by algorithms from cooperative game theory, we show how to compute the nucleolus by pruning and iteratively solving a natural linear-programming formulation.

研究动机与目标

• 将先前假设双方容量为单位值的网络议价模型推广至具有非对称容量约束的场景。
• 建立合作博弈理论概念（核心、预核、核仁）与网络议价解概念（稳定、平衡）之间的正式联系。
• 开发一种计算高效的核仁计算方法——利用线性规划与迭代剪枝，获得唯一、稳定且实验支持的解。
• 通过引入核仁与词典序核等高级合作博弈理论概念，对解概念进行超越稳定与平衡的精细化。

提出的方法

• 提出一种线性规划模型，推广了二分图网络中具有容量约束的Shapley-Shubik公式。
• 引入一种剪枝策略，基于超额值 ǫ(T) 从线性规划公式中剔除集合 T，确保仅保留必要约束。
• 利用合作博弈理论中的核心与预核概念，刻画网络议价场景下的稳定与平衡结果。
• 将核仁作为精细化的解概念，利用其唯一性与存在性保证，生成单一、稳定的解。
• 采用迭代线性规划求解，结合动态约束剔除机制，优先处理超额值最小的集合 T，以确保收敛。
• 证明核仁可通过递归求解一系列线性规划问题来计算，剪枝策略基于集合 T 的相对超额值与贡献值。

实验结果

研究问题

• RQ1 如何将网络议价博弈中仅单边市场具有单位容量约束时的稳定与平衡解概念推广至更一般情形？
• RQ2 合作博弈理论概念（核心、预核、核仁）与网络议价解概念（稳定、平衡）之间存在何种正式关系？
• RQ3 在该广义网络议价模型中，核仁能否被高效计算？其是否仍保持唯一性与稳定性等理想性质？
• RQ4 如何利用网络结构与容量约束来降低核仁计算的复杂度？
• RQ5 超额值 ǫ(T) 在迭代剪枝过程中引导约束剔除的作用是什么？

主要发现

• 在广义容量约束模型下，网络议价博弈中的稳定与平衡结果分别精确对应于合作博弈理论中的核心与预核。
• 核仁在此设定下唯一存在，为议价问题提供唯一、稳定且实验支持的解。
• 核仁可通过基于超额值 ǫ(T) 剔除冗余约束的迭代线性规划过程高效计算，确保收敛。
• 该方法证明：可按特定顺序处理超额值最小的集合 T，通过逐步减少约束集的线性规划序列求解，实现核仁的计算。
• 论文证明核仁计算在计算上是可行的，表明仅需考虑多项式数量的集合 T，且每个集合的超额值 ǫ(T) 可通过先前计算值的线性组合确定。
• 该方法在保持计算效率与解唯一性的前提下，将先前结果（如 Azar 等 [1]、Kleinberg 与 Tardos [29]）推广至非对称容量模型。