1.1 发展历史与里程碑

1.1 发展历史与里程碑

本节摘要：本节是全书寻访路线的入口。博弈论的两个世纪不是概念的自然堆积，而是一场接力：每当旧的均衡概念在某类真实情境里给出荒唐预测，就有人补上新的一环。本节沿时间线走过前史、奠基、体系化与市场设计四个阶段，并在最后完整推演古诺双寡头的均衡产量——那是历史上第一个被算出来的博弈均衡，也是你在这本书里亲手算的第一个均衡。

本节在知识体系中的位置很明确：它是全书的"动机章"。后面每个解概念——纳什均衡、子博弈精炼、完美贝叶斯、演化稳定——都对应时间线上的某次修补，先把来路看清，后面的概念就更像"修 bug"而不是"背定义"。

一、前史：均衡概念被两次提前摸到

最早把策略互动写成数学的人是法国经济学家古诺。1838 年他在《财富理论的数学原理研究》里分析了两家矿泉水厂如何定产量：每家在假设对方产量不变的前提下选择自己的最优产量。这个"假设对方不变"的套环，正是后来纳什均衡的原始形态——古诺比纳什早了超过百年，只是他没有把这套逻辑抽象成一般概念，也没有证明解一定存在。

第二次提前出现是在 1913 年，数学家泽梅洛研究国际象棋时证明：在完全信息、有限步数的棋类游戏里，要么先手必胜，要么后手必胜，要么必和——不存在"看谁发挥"的暧昧空间。这个定理背后隐藏的"从终局往回推"的思路，就是第三章逆向归纳法的雏形。前史时期的问题是：这些洞见都散落在具体问题上，没有统一的语言。

二、奠基年代：从极小极大到不动点

现代博弈论的正式生日通常记在 1928 年：冯·诺依曼证明了极小极大定理——任何两人零和博弈中，双方都存在最优混合策略，且"我最大化自己的最小保证收益"与"对方最小化我的最大可能收益"会算出同一个数值。证明用到的数学很重，但结论非常干净：严格对抗的世界里存在确定的最优打法，扑克牌桌上的虚张声势第一次有了理论身份。

1944 年，冯·诺依曼与经济学家摩根斯坦出版《博弈论与经济行为》，把这套工具从赌桌推向整个经济世界。这本书的贡献不止于内容：它发明了"标准型""特征函数"这套至今仍在使用的术语体系，并首次认真讨论了多人合作与联盟分配。不过它认为多人非零和博弈必须借助联盟理论才能求解——这个悲观的判断，两年后被一位二十出头的博士生打破。

1950 年，普林斯顿的约翰·纳什用不动点定理证明：任何有限博弈都至少存在一个混合策略均衡。纳什均衡不要求零和、不要求两人、不要求联盟，只要求"没有谁想单方面换策略"。这个概念优雅到近乎平淡，却让"预测互动结果"第一次有了普适工具。同年，兰德公司的弗勒德与德雷希尔在实验中让两名同事玩后来被称为囚徒困境的博弈，两人毫不意外地互相背叛、双双受损——理论从此有了自己的标志性病例。

三、体系化年代：补上时间与信息

纳什均衡带来繁荣，也带来新问题。它假设所有人同时出手，可现实充满先后手；它假设人人知道收益结构，可现实充满底牌。两块短板各由一位以色列学者补齐。1965 年，泽尔腾提出子博弈精炼均衡，要求策略在每一个可能到达的决策节点上都最优——空头威胁从此在理论上失重。1967 至 1968 年，海萨尼发表三连文，建立不完全信息博弈的贝叶斯框架：把"我不知道你的成本"翻译成"我不知道你的类型，但我知道类型的概率分布"，谈判、拍卖、保险这些信息不对称场景从此可算。

同期，奥曼把共同知识的形式化做了起来，"我知道你知道我知道"的递归终于有了严格表达；他和谢林分别从数学与叙事两端深化了重复互动与承诺的理解，并分享了 2005 年诺贝尔经济学奖。1994 年，纳什、海萨尼、泽尔腾三人同台获奖，标志着非合作博弈论的体系正式封顶。

四、市场设计年代：理论变成基础设施

二十世纪后半叶，博弈论开始从"解释世界"转向"改造世界"。1961 年维克里分析二级价格拍卖，证明"报出真实估值"是占优策略；1996 年他与米尔里斯凭不对称信息下的激励理论获奖。2001 年阿克洛夫、斯宾塞、斯蒂格利茨因柠檬市场与信号理论获奖——那正是本书第四章的素材。2007 年赫维茨、马斯金、迈尔森因机制设计理论获奖；2012 年罗斯与沙普利因稳定匹配理论及市场设计获奖，肾交换配对与学校录取系统直接受益。2020 年，米尔格罗姆与威尔逊因拍卖理论获奖，他们设计的同步多轮拍卖被全球频谱监管机构采用。博弈论至此完成了从论文到公共基础设施的身份转变。

里程碑速查表

五、案例推演：把古诺的算术完整走一遍

背景。两座泉眼相邻的矿泉水厂，边际成本都是每单位 20 元，市场需求是 p = 140 − q₁ − q₂，其中 q₁、q₂ 是两家的产量。两家同时决定产量，价格由市场出清。这是一个典型的产量竞争博弈：策略是产量，收益是利润。

操作。厂 1 的利润是 π₁ = (p − 20)·q₁ = (120 − q₁ − q₂)·q₁。把 q₂ 当成常数对 q₁ 求导并令其为零，得反应函数 q₁ = (120 − q₂) ÷ 2；由对称性，厂 2 的反应函数是 q₂ = (120 − q₁) ÷ 2。把两条反应函数联立：代入得 q₁ = (120 − (120 − q₁) ÷ 2) ÷ 2，整理得 q₁ = 40，同样 q₂ = 40。

结果。总产量 80，市场价 140 − 80 = 60 元，每家利润 (60 − 20) × 40 = 1600 元。

解读。这组产量之所以是均衡，是因为谁都懒得单独动：若厂 1 把产量提到 50，价格跌到 50，利润反而变成 1500，不如原来。注意均衡不是集体最优——若两厂合谋各产 30，价格升到 80，每家利润 1800。但合谋不稳定：给定对方产 30，自己偷偷产到 45 能赚 2025。古诺均衡告诉我们的第一课正是这个：个体理性与集体理性之间隔着一段无法自动弥合的距离，这段距离就是全书反复出现的主题。

变式。把对称成本改成 c₁ = 10、c₂ = 20，低成本的厂 1 会占据更大份额；把厂商数量推广到 n 家，每家均衡产量是 120 ÷ (n + 2)，总产量随 n 上升、价格随 n 下降，n 很大时市场逼近完全竞争——古诺模型由此成了"竞争程度"的度量尺。再进一步让两家比价格而不是比产量，就得到伯特兰模型，结论会剧烈翻转，这个对比留给 2.3 节。

本节寻访要点

• 要点一：古诺 1838 年的产量竞争是历史上第一个均衡计算，纳什 1950 年的存在性定理使它成为一般方法。
• 要点二：极小极大定理解决严格对抗，纳什均衡解决一般互动，子博弈精炼与贝叶斯框架分别补上时间与信息。
• 要点三：机制设计与市场设计让博弈论从解释工具变成公共基础设施，这一转向是第 7 章的主角。
• 要点四：古诺均衡的数值含义——均衡不是最优，而是"谁都不想单独改动"；个体理性与集体理性可以共存于同矩阵却互不兼容。