博弈论 101 第 40 讲：没有均衡的博弈

视频封面

视频元信息

主讲：William Spaniel（匹兹堡大学）
系列：Game Theory 101（博弈论 101）
本讲主题：无限策略空间（Infinite Strategy Spaces）与没有均衡的博弈
对应教材：Game Theory 101 完整版教材第 4.1 课

内容摘要（TL;DR）

本讲介绍无限策略空间这一新主题。有限策略博弈可用收益矩阵求解，但无限策略博弈无法画出完整矩阵，纳什定理也不再保证均衡存在。视频用一个具体例子——两名玩家各自选择严格大于零的数 X 和 Y、收益为 X×Y——证明该博弈不存在任何纳什均衡，因为玩家总能通过把数字加一来获得更高收益，从而永远没有最佳反应。

章节笔记

一、开场与课程背景 [00:00]

主讲人 William Spaniel 开场，说明本讲主题是无限策略空间。
这部分内容原本在 Game Theory 101 完整版教材的第 4.1 课中讲过。
作者提到：上一讲曾说那是"最后一讲"，但每年夏天他都会通读教材并做修改，这个夏天决定新增一整课内容，于是给系列课程补充了这几讲。
这几讲讲的就是第 4.1 课的内容，也就是屏幕上显示的内容。

理解：这是一段"补录"性质的课程，说明该系列并非一次性录制完成，而是持续迭代更新。

二、为什么要学无限策略空间 [00:40]

到目前为止看过的每一个博弈都只有有限策略，这让求解变得非常简单——原因很简单，就是数量更少。
但现实情况是，有些博弈确实拥有无限策略。
因此，如果能对如何处理这类博弈有一些思路，是很有好处的。
关键原因：我们之前学过的求解同时行动博弈的方法，在无限策略空间上并不管用。

考点：有限策略 vs 无限策略

有限策略：策略数量有限，可用收益矩阵表示，纳什定理保证均衡存在。

无限策略：策略数量无限（如任意实数、任意正数），无法画出完整矩阵，纳什定理失效。

三、大问题一：无法画出收益矩阵 [01:09]

第一个大问题是：你根本没法为无限策略空间画出一个矩阵。
当一个玩家可以选择的策略有无限多个时，就算把全世界的纸都用上，也不够画完。
这里有一点很重要：是博弈决定了收益矩阵，而不是反过来。
- 并不是说"矩阵就是博弈"，矩阵只是博弈的一种表示方式而已。
回顾囚徒困境的第一堂课：当时有两页幻灯片，写满了关于囚徒困境情境的描述，而我们能把那两页幻灯片上的所有信息浓缩成一个简单的 2×2 博弈矩阵，这样求解起来就简单多了，也更方便使用。
真正的博弈是那两页幻灯片上写的内容。所以即使没有矩阵，它依然是一个博弈。
一个博弈无非就是：一组策略、一些行动、一些玩家，再加上一些收益，就这么简单。
但当面对无限策略空间时，我们没法把这些东西画出来。

理解：矩阵是工具，不是本质。博弈的本质是"玩家—策略—收益"三要素。矩阵只是当策略有限时的一种可视化与计算工具。

思考：这类似于数学中"函数"与"图像"的关系——函数是本质，图像只是表示方式；有些函数画不出完整图像，但函数依然存在。

四、大问题二：纳什定理失效 [02:09]

无限策略空间的另一个问题出在纳什定理上。
有无限策略空间的有限博弈，可能拥有纳什均衡，也可能没有。
回顾纳什定理：所有有限博弈都至少有一个纳什均衡。
- 这里的"有限博弈"指的是：玩家数量有限，策略数量也有限。
当我们面对的是有限个策略时，纳什定理当然很好用。
但本课要讨论的是无限策略空间，所以纳什定理对此完全帮不上忙。
也就是说：当我们面对无限策略空间时，博弈可能有均衡，也可能没有。

易错点：纳什定理的适用条件

纳什定理的前提是"有限博弈"= 玩家有限 + 策略有限。

只要策略是无限的，定理就不适用，不能想当然认为均衡一定存在。

但要注意：定理失效 ≠ 均衡一定不存在。只是"不保证存在"，需要具体问题具体分析。

五、核心案例：一个没有均衡的博弈 [02:43]

本讲在结束前要给大家举一个具体的例子——一个没有均衡的博弈。
博弈设定：
- 玩家一选择一个严格大于零的数 X（必须严格大于零，不能等于零）。
- 玩家二选择一个严格大于零的数 Y（同样是任何严格大于零的数）。
- 两个玩家的收益都是 X×Y（两个数的乘积）。
结论：这个博弈没有任何均衡，而且这一点很容易看出来。

六、证明过程：不存在互为最佳反应的策略组合 [03:01]

证明思路：只需要证明不存在互为最佳反应的策略组合。
- 在双人博弈里，纳什均衡就是一对互为最佳反应的策略。
- 所以只要证明没有任何一对策略是互为最佳反应的，就大功告成了。
更简化的思路：其实只要看其中一个玩家，就能做到这一点。

具体证明（针对玩家一）：

玩家一能选择某个 X 值来构成均衡吗？有没有哪个 X 值能代表一个均衡呢？
答案是不行，不可能。因为 X+1 就是一个有利可图的偏离。
随便给我一个玩家一的策略（任何一个 X 值），它只有在不存在有利可图偏离的情况下，才能被用于均衡之中。
如果玩家一无法改变策略来获得更好的结果，那才可能是均衡；但 X+1 就能带来更好的结果，因为：
- (X+1)×Y > X×Y（当 Y > 0 时恒成立）
所以结果就是：玩家一永远没有最佳反应。
- 无论玩家二选择什么策略，玩家一都没有最佳反应。
而只要玩家一没有任何最佳反应，那就不可能有互为最佳反应的组合。
所以我们甚至都不用去分析玩家二对 Y 的决策，不用去看它的最佳反应，因为这些都不重要了。
只要玩家一没有任何最佳反应，那就不可能存在任何纳什均衡。

推导：设玩家二选择任意 Y > 0。玩家一面对这个 Y 时，收益函数是 U₁(X) = X·Y。由于 Y > 0，U₁ 关于 X 单调递增，X 越大收益越高。因此对任何给定的 X，选 X+1 都严格更好。这意味着玩家一不存在"最优的 X"——永远可以再大一点。这就是"没有最佳反应"的含义。

关于玩家二：

当然，如果真想的话，也很容易证明同样的逻辑对玩家二也成立。
玩家二同样没有任何最佳反应。

考点：无均衡博弈的核心机制

收益函数关于自身策略单调递增且无上界，导致玩家永远可以"再往上加一点"。

这种情况下不存在最佳反应，也就不存在纳什均衡。

证明技巧：只需证明一个玩家没有最佳反应，即可否定整个纳什均衡的存在。

七、总结与后续预告 [04:18]

好了，就是这样，这就是一个没有任何均衡的博弈。
不过你们以后接触到的这类无限策略空间博弈，大多数都是有均衡的。
在接下来的几讲里，我们会看几个非常重要的例子：
- 中位选民定理（Median Voter Theorem）
- 第二价格拍卖（Second-Price Auction）
作者希望大家喜欢这一讲以及接下来这几讲补录的视频，下次再见，保重。

思考：本讲是一个"反例课"——用极端例子说明无限策略空间下均衡不一定存在，为后续讲"大多数有均衡"的重要案例做铺垫。中位选民定理和第二价格拍卖都是无限策略空间中存在均衡的经典例子。

【拓展】相关背景与延伸

【拓展】无限策略空间的常见类型

连续策略空间：如价格博弈中企业选择任意正价格、古诺模型中企业选择任意非负产量。
区间策略空间：如选民在 [0,1] 的政治光谱上选择立场（中位选民定理）。
整数/实数集：如本讲的 X、Y ∈ (0, +∞)。

【拓展】为什么"没有最佳反应"会导致"没有纳什均衡"

纳什均衡的定义：策略组合 (s₁, s₂) 使得每个玩家的策略都是对对方策略的最佳反应。
如果某个玩家在任何情况下都没有最佳反应，那么无论对方选什么，这个玩家都无法"锁定"一个最优策略。
因此不存在满足定义的策略组合，均衡不存在。

【拓展】与现实对照：为什么"大多数无限策略博弈有均衡"

现实中大多数经济博弈的收益函数是凹函数（如利润随价格先增后减），存在内部最大值，因此有最佳反应。
本讲的反例之所以无均衡，是因为收益函数线性且无上界——这是一个刻意构造的极端情形。
常见有均衡的无限策略博弈：
- 古诺双寡头（产量竞争）：有纳什均衡。
- 伯特兰价格竞争：有纳什均衡。
- 中位选民定理：有纳什均衡（双方都选中间位置）。
- 第二价格拍卖：诚实报价是弱占优策略。

【拓展】易踩坑点

易错点提醒

不要因为"纳什定理失效"就断定"均衡一定不存在"——只是不保证存在。

不要混淆"有限博弈"的两个条件：玩家有限 + 策略有限，缺一不可。

证明无均衡时，只需找到一个玩家没有最佳反应即可，无需分析所有玩家。

注意"严格大于零"这个条件：如果允许 X=0，收益为 0，玩家仍可通过 X+1 改进，结论不变；但表述上要严谨。