Skip to content

空核与联盟稳定性——为什么有些合作博弈注定无法达成自愿协议

原文提炼

核为空的博弈——合作不可能定理：

"Not all cooperative games have a non-empty core. When the core is empty, no allocation can simultaneously satisfy efficiency and prevent some coalition from deviating. This means voluntary cooperation is impossible — external enforcement (contracts, laws, institutions) is required."

核为空的充要条件（Bondareva-Shapley 定理）： 一个合作博弈有非空核，当且仅当它是平衡的（balanced）——存在一组正权重 \(\lambda_S\) 使得：

\[\sum_{S \subseteq N} \lambda_S \cdot \mathbf{1}_S = \mathbf{1}_N \quad \text{且} \quad \sum_{S \subseteq N} \lambda_S \cdot v(S) \leq v(N)\]

其中 \(\lambda_S\) 衡量每个联盟 \(S\) 的"参与权重"，\(\mathbf{1}_S\) 是成员指示向量。

这个定理的直觉：如果小联盟的联合收益超过大联盟的收益，那么大联盟不可能稳定——总有子联盟有动机脱离。

空核的三类典型博弈

博弈类型 为什么核为空 现实对应
多数博弈 任何多数联盟可以支配少数，但多数联盟也可以被另一个多数联盟推翻 议会政治——任何执政联盟都可能被另一个多数替代
三玩家对称多数博弈 \(v(\{1,2\}) = v(\{1,3\}) = v(\{2,3\}) = 1\)，\(v(N) = 1\) 三个合伙人，任意两人合作即可完成项目
递增规模回报博弈 联盟越大平均收益越高，核 = 空因为任何分配都有边际贡献问题 技术平台——用户越多越好，但谁创造的价值更多无法分割

三玩家对称多数博弈——核为空的经典演示

\(N = \{1,2,3\}\)，\(v(S) = 1\) 如果 \(|S| \geq 2\)，否则 \(v(S) = 0\)。

核的条件：\(\sum_{i=1}^3 x_i = 1\)（效率）且对任意两人联盟 \(x_i + x_j \geq 1\)。

对于任意分配 \((x_1, x_2, x_3)\)： - \(x_1 + x_2 \geq 1\)，\(x_2 + x_3 \geq 1\)，\(x_1 + x_3 \geq 1\) - 三式相加：\(2(x_1+x_2+x_3) \geq 3\) - 但 \(x_1+x_2+x_3 = 1\) → \(2 \geq 3\) → 矛盾！ - 核为空：无论怎么分，总有一个两人联盟愿意脱离。

核仁（Nucleolus）——当核为空时的替代解概念： 核仁最小化最不满联盟的"不满程度"，给每个联盟一个补偿度量——即使没有完全稳定的分配，也有一个"最接近稳定"的方案。

四类合作博弈解概念的层次结构

解概念 包含关系 何时非空 核心理念
核 ⊂ 核仁 ⊂ Shapley 值 博弈平衡时 无联盟愿意脱离
核仁 ⊂ 讨价还价集 始终非空 最小化最大不满
Shapley 值 不包含于核也不被核包含 始终非空 公平的边际贡献
讨价还价集 最大的解概念 始终非空 异议 vs 反异议的动态稳定

实践意义——从合作博弈到制度设计

当核为空时需要的制度：

制度 如何使合作可能
法律合同 外部强制惩罚偏离行为
重复互动 今天的偏离 → 明天的损失（把一次性博弈变重复博弈）
第三方中介 信息不对称时提供可信承诺
联盟结构约束 限制联盟形成自由（如反垄断法）

这个视角揭示了合作博弈与非合作博弈的统一：当合作博弈的核为空时，非合作博弈的工具（策略、制度、均衡）成为必需品。

跨域链接