战略互补性

战略互补性 (Strategic Complementarity)

战略互补性（Strategic Complementarity）描述的是这样一种博弈情境：当一个参与者提高其策略变量（如价格、产量、投资或努力水平）时，会提高其他参与者同样提高该策略变量的边际收益。换言之，各参与者的策略构成"互补品"——对手的行动越"激进"，自己的最优反应也越"激进"。这一概念由 Bulow、Geanakoplos 和 Klemperer（1985）在产业组织（Industrial Organization）的框架下系统提出，与战略替代品（Strategic Substitutes）构成分析多主体策略互动的核心二分法。

定义与数学刻画

在包含两个主体的博弈中，设 $x_i$ 为参与者 $i$ 的策略变量，$u_i(x_i, x_j)$ 为其收益函数。策略$x_i$与$x_j$之间存在战略互补性的充要条件是收益函数具有正的交叉偏导数：

这一条件表明，对手 $j$ 提高 $x_j$ 会增加 $i$ 提高 $x_i$ 的边际收益，因此 $i$ 的最优反应函数 $R_i(x_j)$ 是向上倾斜的——即 $\frac{dR_i}{dx_j} > 0$。更一般地，对于 $n$ 个参与者，若对于任意 $i \neq k$ 均有 $\partial^2 u_i / (\partial x_i \partial x_k) \geq 0$ 且对某些 $k$ 严格为正，则称该博弈表现出战略互补性。

Bulow 等人区分了两种相关的互补性概念：战略互补性关注的是对手策略变量变动对自身边际收益的影响（即最优反应函数的斜率）；而需求或成本互补性关注的是产品本身的替代或互补关系。两类互补性可以独立存在——例如在差异化产品的价格竞争中，即使产品本身是替代品，价格策略之间仍可能表现出战略互补性。

经典案例：差异化产品的价格竞争

在差异化产品的伯特兰竞争（Bertrand Competition）中，两家厂商分别定价 $p_1$ 和 $p_2$。假设厂商 1 面临的需求函数为 $D_1(p_1, p_2) = a - b p_1 + c p_2$（其中 $c > 0$ 反映产品的替代性，边际成本简化为零）。其利润为 $\pi_1 = p_1(a - b p_1 + c p_2)$。由一阶条件可得最优反应函数：

因为 $\partial R_1 / \partial p_2 = c / (2b) > 0$，两厂商的价格为战略互补品——对手提价使得自己的客户流失减少，提价的边际收益上升，故最优反应也是提价。由此形成的纳什均衡价格高于边际成本，且坡度越陡峭（$c$ 越大），均衡价格越高，竞争越缓和。

与此相对照，在古诺竞争（Cournot Competition）中，厂商选择的是产量。增产压低市场价格，减少对手增产的边际利润，因此产量为战略替代品——最优反应函数向下倾斜，竞争更为激烈。

核心经济含义

多重均衡与协调失灵

战略互补性是产生多重均衡（Multiple Equilibria）和协调失灵（Coordination Failure）的关键机制。由于最优反应函数向上倾斜，当足够多的主体采取高行动水平时，每个个体的最优反应也是高行动水平——反之亦然。经济因此可能落入一个所有人均压低行动的低水平均衡陷阱，即使存在另一个帕累托更优的高水平均衡。银行挤兑（Bank Run）、贫困陷阱（Poverty Trap）和技术标准锁定于次优方案，均为战略互补性导致多重均衡的经典实例。

乘数效应与波动放大

战略互补性引入了类似凯恩斯交叉（Keynesian Cross）中的乘数机制：一个外生冲击不仅直接改变受影响主体的行为，还通过最优反应函数的正斜率向其他主体传导并逐轮放大。在新凯恩斯经济学（New Keynesian Economics）中，企业定价决策间的战略互补性是导致价格粘性、总需求外部性和货币非中性的微观基础之一。

组织互补性与全面配套改革

米尔格罗姆（Paul Milgrom）与 Roberts（1990, 1992）将战略互补性原理推广至组织设计：企业的各项管理实践——如柔性生产技术、团队化工作组织和高绩效薪酬制度——之间存在互补性，采用一种实践会提高采纳另一种实践的边际收益。这意味着成功的组织变革通常需要配套式全面改革而非零敲碎打，因为单独改变某一环节的收益可能被其他环节的滞后严重削弱。

与超级模博弈的关联

战略互补性是超级模博弈（Supermodular Game）理论的核心构件。在超级模博弈中，每个参与者的策略空间为完全格（Complete Lattice），且收益函数满足递增差条件（Increasing Differences）。Topkis（1979）和维韦斯（Xavier Vives, 1990）证明，超级模博弈的纳什均衡集合构成完全格，存在最大和最小均衡，使得无需凸性或可微假设即可进行稳健的比较静态分析（Comparative Statics）：参数外生增加导致所有均衡策略单调上升。这一框架已被广泛应用于宏观经济、产业组织和网络经济学中协调问题的研究。