视频元信息
- 讲师：William Spaniel
- 本集主题：Off-the-Path Beliefs（非路径信念 / 路径外信念）
- 时长：约 9 分 39 秒
- 所属单元：完美贝叶斯均衡（Perfect Bayesian Equilibrium, PBE）单元
内容摘要（TL;DR）
本集讨论完美贝叶斯均衡中的"非路径信念"问题：当均衡路径上某个信息集以零概率到达时，贝叶斯法则无法更新信念。视频用"强弱类型揭示/隐藏"的信号博弈证明：当强弱两类型都选择"揭示"时，弱类型存在严格占优的偏离（隐藏），因此无论玩家二的路径外信念如何，都不存在支撑该策略组合的均衡。
一、开场与问题引入 [00:00]
本集是"完美贝叶斯均衡"单元的延续，承接前几讲关于完美贝叶斯均衡的讨论。
- 讲师 William Spaniel 开场，主题为 Off-the-Path Beliefs（非路径信念）。
- 核心问题：当玩家需要更新信念、但无法通过贝叶斯法则完成更新时，会发生什么？
- 沿用本单元一直使用的同一个博弈（强弱类型信号博弈）。
- 理解：所谓"路径外"（off the path），指的是在假定均衡中根本不会发生的事件分支；玩家二若真的走到该分支，说明其面对的是一个零概率事件。
二、待检验的策略组合：两类型都"揭示" [00:29]
本集要检验的是此前尚未考察过的纯策略均衡候选：
- 玩家一（Player 1）的强类型（strong）与弱类型（weak）都选择"揭示"（reveal）。
- 在此策略下：
- 若玩家一是强类型 → 玩家二（Player 2）选择 放弃（quit）；
- 若玩家一是弱类型 → 玩家二选择 战斗（fight）。
难点：均衡路径之外会发生什么？
- 从子博弈完美均衡（SPE）一路到完美贝叶斯均衡（PBE），我们始终关心路径上与路径外的策略。
- 原因：正是"路径外会发生什么"支撑了玩家在路径上选择当前策略的最优性。
- 因此，即便在该均衡中玩家一从不选择"隐藏"（hide），我们仍需定义：如果玩家一真的隐藏了，玩家二会怎么做。
考点： 完美贝叶斯均衡要求策略在路径上和路径外都是最优的，路径外行为是"威慑"偏离的关键，不能因为零概率就忽略。
三、为什么贝叶斯法则在此失效 [01:34]
对比"分离策略"的情形：
- 若强类型揭示、弱类型隐藏：
- 玩家二在看到"隐藏"后行动时，信念是明确的——只有弱类型才会隐藏，因此玩家二确知玩家一是弱类型。
- 但在本集情形（两类型都揭示）下：
- 玩家二在"隐藏"后行动是零概率事件；
- 没有简单或显然的方式更新玩家二的信念。
回到完美贝叶斯均衡的定义：
- 定义要求"在可能的地方通过贝叶斯法则更新信念"；
- 但未给出无法更新时（零概率事件）该如何处理的指引。
推导：因此，当遇到零概率事件时，信念不受约束，我们必须考虑玩家二所有可能的信念，并逐一检验是否存在某个信念能构成均衡（即无有利偏离）。
四、一般化信念设定与期望效用计算 [03:14]
设玩家二在路径外（玩家一隐藏后）的信念为：
- 玩家一是强类型的概率 = p
- 玩家一是弱类型的概率 = 1 − p
思考：之所以用一般化的 p，是因为该信念完全不受约束，p 可取 [0, 1] 内任何值。只要存在某个 p 能构成均衡（即说服强弱两类型都不愿偏离），就存在一个带有该路径外信念的均衡。
玩家二的期望效用计算
选择"战斗"（fight）时：
- 期望效用 = p × (−1) + (1 − p) × (+0.5)
- = 0.5 − 1.5p
选择"放弃"（quit）时：
- 无论玩家一是强是弱，效用恒为 0；
- 与信念无关，是平坦的固定值。
玩家二的最优反应
| 条件 | 玩家二的最优选择 |
|---|---|
| p < 1/3 | 战斗（fight） |
| p > 1/3 | 放弃（quit） |
| p = 1/3 | 无差异（可纯策略任一，也可任意混合） |
结论：信念决定了玩家二在路径外的行为。
易错点： 临界值 p = 1/3 由 0.5 − 1.5p = 0 解出，即 p = 1/3。此处玩家二无差异，可任意混合，这是后续判断均衡存在性的关键分界点。
五、检验玩家一（强类型）是否有有利偏离 [05:38]
在假定的均衡中，强类型选择"揭示"，玩家二放弃，强类型获得收益 0.99。
- 若强类型偏离到"隐藏"，收益将是 0.5 或 1（取决于玩家二战斗还是放弃）。
- 为维持"揭示"作为均衡策略，必须确保强类型没有有利偏离。
关键判断：
- 若玩家二在路径外选择"放弃"（纯策略），强类型偏离隐藏可得 1 > 0.99 → 存在有利偏离，均衡被破坏。
- 因此必须排除"玩家二放弃"的情形，也就排除了 p > 1/3 的信念。
- 若玩家二战斗（收益 0.5），则 0.5 < 0.99，强类型不会偏离。
阶段性结论：
- p > 1/3 → 被排除（会导致强类型有利偏离）；
- 剩余可能性：p ≤ 1/3。
但以上只是"等式的一半"。
六、检验玩家一（弱类型）是否有有利偏离 [07:16]
转向博弈树的另一半，结果直接终结了整个均衡的可能性。
- 在假定均衡中，弱类型选择"揭示" → 玩家二战斗 → 弱类型收益为 −1.01。
- 若弱类型偏离到"隐藏"，收益为 −1 或 +1。
- 两种收益都大于 −1.01。
考点： 对弱类型而言，"隐藏"严格占优"揭示"（hide strictly dominates reveal）。这意味着无论玩家二的路径外信念是什么，弱类型都必然想从"揭示"偏离到"隐藏"。
推论：
- 路径外信念对弱类型的偏离计算完全无关；
- 无论玩家二在隐藏后做什么（由她的信念决定），弱类型都会偏离；
- 因此，不存在任何信念能够支撑"两类型都揭示"这一策略组合。
七、总结与下集预告 [08:56]
- 本集结论：在该博弈中，"强弱两类型都揭示"不存在任何（无论路径外信念如何的）均衡。
- 讲师说明选择这个例子的原因：它极其简单地展示了"无论信念如何都不存在均衡"的情形。
- 但并非总是如此——下一讲将给出反例。
下集预告：
- 将讨论 Beer-Quiche Game（啤酒—蛋奶饼博弈），这是信号博弈的经典入门案例；
- 它有助于说明路径外信念下均衡如何形成；
- 届时将真正看到包含路径外信念的均衡。
八、核心概念解释与拓展
基础概念
1. 完美贝叶斯均衡（Perfect Bayesian Equilibrium, PBE）
- 结合子博弈完美均衡与贝叶斯信念更新的解概念；
- 要求：(a) 策略在每个信息集上最优；(b) 信念在可能处用贝叶斯法则更新。
2. 零概率事件与路径外信念
- 当某信息集在均衡路径上以概率 0 到达时，贝叶斯法则分母为 0，无法更新；
- PBE 定义对此不作约束，需检验所有可能信念。
3. 严格占优（Strict Dominance）
- 若某策略在所有情况下收益都严格高于另一策略，则后者被严格占优；
- 本集中"隐藏"严格占优"揭示"（对弱类型），直接排除了均衡可能。
【拓展】相关背景与经典案例
Beer-Quiche Game（啤酒—蛋奶饼博弈）
- 由 Cho 与 Kreps（1987）提出，是信号博弈的经典模型；
- 情境：一个"弱"类型想装作"强"类型以避免被挑战；
- 关键：路径外信念的设定方式会决定均衡是否存在，是讨论 PBE 精炼（refinement）的起点。
PBE 的局限与精炼
- PBE 对路径外信念过于宽松，可能导致"不合理"的均衡；
- 后续精炼概念（如 直觉标准 Intuitive Criterion、序贯均衡 Sequential Equilibrium）正是为解决此类问题而提出。
易错点提醒：
- 不要因为某事件是零概率就忽略它——路径外行为恰恰是支撑均衡的关键；
- 检验均衡时必须同时检验所有类型（强、弱）的偏离激励，任一类型有有利偏离即均衡不成立；
- 严格占优的存在会使路径外信念"无关紧要"，这既是简化也是排除均衡的利器。
关键标签 / 关键词
博弈论 #GameTheory101 #完美贝叶斯均衡 #PBE #路径外信念 #OffThePathBeliefs #信号博弈 #SignalingGame #贝叶斯法则 #严格占优 #BeerQuicheGame #WilliamSpaniel #匹兹堡大学 #子博弈完美均衡
生成时间：2026-10-12 00:03:51 生成平台：VideoNote www.xygy.top
