第4卷 第1章 绝不会输的赌博
从两骰子平局和两硬币条件概率出发,识别彩票没有记忆,再用完整概率树与一万封信解释蒙提霍尔交换策略及其主持人协议。
学习目标
- 能枚举两个骰子的全部结果,把平局与双方胜负分开,并解释对称性究竟保证了什么
- 能构造“至少一枚正面”的条件样本空间,说明信息产生方式为什么会改变条件概率
- 能在标准主持人协议下推导蒙提霍尔的坚持
1/3与交换2/3,并在协议变化时重新建模 - 能用表格、概率树和交互实验检查随机模型,同时区分历史事实与对未来概率的断言
从“↡对称只能交换胜负区域,不能自动消除其他结果”开始
第4卷第1章讨论的是绝不会输的赌博:并非真的能违反概率,而是先检查规则是否偷偷把对手的正常获胜分支删掉。主线是选择与未知未来:过去已经确定,未来尚不知道;我们能做的是把规则允许的路径列清楚,再根据新信息更新判断。
先预测:
- 两个地位完全对称的人比赛,获胜概率一定各为
1/2吗? - 已知两枚硬币至少一枚正面,另一枚是否像新抛一次那样各半?
- 主持人打开一个空信封后,两个未开信封是否真的对称?
这三问的共同方法是:不要只盯着一个结果,而要观察全体样本点,标注哪些结果属于目标事件,以及观察者怎样产生那条信息。
1.1 掷骰子:平局不能凭对称消失
两个骰子
爱丽丝和鲍勃各掷一次公平六面骰,规则是点数大者获胜。两个玩家的角色对称,但结果还有平局。
把结果写成有序对 (a,b):前一项属于爱丽丝,后一项属于鲍勃。全部可能结果为:
独立公平骰子的结果等可能,因此有 6×6=36种,也就是 36个有序对,每个概率为 1/36。
平局位于对角线上:
所以平局6种,也就是平局有6种,得到平局概率1/6,即概率为1/6。
爱丽丝掷出 a 时,鲍勃比她小的结果有 a-1 个,合计:
因此爱丽丝胜有 爱丽丝胜15种,也就是 15种获胜结果:
由对称性,鲍勃胜率也是 5/12;换句话说双方胜率都是5/12。这里的关键术语是↡把被平分的胜负区域之外的平局结果明确保留在样本空间中:如果漏掉平局,就会把 5/12 错写成“各一半”。三类概率核对为:
因此,对称性说明“两人的胜率相同”,不说明“所有结果只有两个胜负类别”。用表格来想,就是用表格观察全体,让对角线上的平局也有位置。
1.2 抛硬币:条件信息会改写样本空间
1.2.1 两枚硬币
现在抛硬币:爱丽丝抛两枚硬币,分别是百元硬币和十元硬币,然后只告诉我们“至少有一枚是正面的”。求两枚都是正面的概率。
用 H 表示正面,T 表示反面。更完整地说,H是Head正面,也就是 H表示正面Head;T是Tail反面,也就是 T表示反面Tail。两枚硬币可区分,原始结果为:
因此我们也可以写作 HH HT TH TT,或用中文标点写作 HH、HT、TH、TT。条件事件“至少一枚正面”排除TT,留下:
也就是说,条件后是 条件后HH HT TH,即留下HH、HT、TH。在公平独立模型中,条件后的三个结果仍等可能,只有 HH 表示两枚都是正面:
这就是↡在至少一枚正面的条件下,两个可区分硬币同时为正面的条件概率,也就是概率是1/3。
尤里最初猜 1/2,把“至少有一枚正面”误读成“某一枚已被指定为正面”。如果题目改成“百元硬币已知为正面”,条件样本只有 HH,HT,此时才是指定硬币正面时概率1/2,也就是概率才是1/2。两个句子听起来接近,条件事件却不同。
1.2.2 信息是怎样产生的
概率不只依赖报告的句子,还依赖信息如何产生。比如观察者先随机挑一枚硬币,看到正面后才报告“至少有一枚正面”,那么不同隐藏结果被报告出来的机会可能不同。这就是信息协议:我们必须写清楚谁看到了什么、随机选择在哪里发生、哪些报告一定会出现。
1.2.3 一枚硬币与“绝不会输”
换成一枚硬币定胜负,尤里宣布:正面尤里赢反面哥哥输;更具体地说,正面,尤里赢,反面时哥哥输,只有硬币立起来哥哥赢,也就是只有硬币立起来时哥哥才赢。
如果硬币按正常方式只有正反两面,那么哥哥没有任何正常获胜分支,尤里便声称自己能百分百获胜。但这个结论来自收益规则,不来自硬币随机性:他没有给对方任何正常获胜分支。任何“保证获胜”的说法都应该先画出结果到收益的映射。
随后两人又争论哪一面叫正面。造币时把印有年号的一面是反面,也就是印有年号的一面称为反面,只是标签约定;标签不改变概率,但会影响双方是否在谈同一个事件。
1.3 彩票:历史不自动变成未来优势
彩票的记忆
彩票的记忆是一个很好的直觉测试。母亲想起妈妈的新汤:如果一锅汤上一勺味道合适,下一勺是不是更容易合适?同样,她看到海报说“本店诞生了一等奖”,便猜测中奖店下次更容易中,也就是下次更容易中奖。
“我”指出:若每张票的抽取机制相同且彼此独立,那么过去卖出一等奖只是一条历史事件 H,并不改变下一张票中奖事件 F 的概率:
这就是↡在抽取机制不受历史结果影响的模型中,过去中奖不会改变下一张票的概率。不过,要先分清证据与推断:海报只在海报只陈述历史事实,也就是只陈述历史事实;事实不蕴含未来优势,不等于不蕴含下一张彩票更容易中奖的反面口号,而是说这条事实本身不足以推出那个概率结论。
如果店铺销量、票种或配额会改变,模型就要加入这些变量。真正的检查问题是:历史信息是否提供了新的机制信息?不能把“真实广告”偷换成“未来有利”。这类概率问题与直觉相悖,正是一个直觉陷阱。
1.4 ↡主持人知道奖品位置并按固定规则打开空信封的经典条件概率问题
1.4.1 三个信封和标准规则
桌上有3个信封:一个礼品券两个空信封,换句话说,一个有礼品券,两个为空。原电视节目使用的是汽车和山羊;本章改用信封,概率结构不变。
玩家先选一个信封,主持人随后打开另一个空信封,玩家面对“坚持还是交换”。题目必须明确:主持人知道奖品位置,也知道主持人知道哪些信封为空;他主持人总打开空信封,也就是总在未选的两个信封中打开一个空信封。如果玩家初选中奖,主持人要初选中奖时随机开一个空信封,即在两个空信封中随机开一个。
这就是↡规定主持人知道奖品、总开空信封且总提供交换的条件概率规则,不是背景装饰,而是题目的一部分。
先只看玩家初选是否正确:
因此初选中奖概率1/3,也就是初选中奖概率是1/3;剩余未选集合的“桌上中奖概率2/3”,即桌上两封信原先合计的2/3,在主持人动作后集中到唯一未开信封。
坚持只有初选正确时获胜,所以坚持胜率1/3;交换恰好在初选为空时获胜,所以交换胜率2/3。
1.4.2 主持动作进入概率树
假设玩家选 A,主持人打开 C。当奖在 A 时,他可以开 B 或 C,所以:
当奖在 B 时,他只能打开空的 C,所以:
这里看见的是主持动作的概率分支,也是主持动作进入概率树:初选正确时概率分成两份,因为主持人会在两个空信封中随机选择;初选错误时则只有一条合法动作路径。
在已经看到主持人开 C 后:
两个未开信封在外观上对称,但在产生“主持人开 C”这条观察的路径上不对称。
1.4.3 一万封信:把概率集中看清楚
把游戏改成一万封信:初选命中只有初选命中1/10000,也就是初选命中概率1/10000;其余集合含奖为 其余9999封含奖9999/10000,即 9999/10000。
知情主持人打开打开9998个空信封,换句话说是打开其中9998个空信封。最后一个未开的信封不是重新从两封中均匀抽出,而是承接“初选之外的集合”原来的概率:这就是概率熬干浓缩,也可以说概率被熬干浓缩到唯一候选上。
如果主持人不知道奖品、可能误开奖品,或者只在部分局面提供交换,那么协议改变必须重新建模,答案会变,亦即答案会变。交换 2/3 不是道具外观带来的魔法,而是固定主持人协议下的条件概率。
1.4.4 上帝视角与未来
所谓上帝视角,不是预知未来,而是同时观察全部隐藏状态:把每条规则允许的路径都摊开,再从观察到的报告中筛选。骰子表暴露平局,硬币表区分 HT 与 TH,蒙提霍尔树则暴露主持人动作的概率分支。
这张全体路径的地图仍然不是人生预言。谈到中考与高考、毕业和未来时,尤里想起那位可以畅谈所思所想的伙伴。他们仍不知道未来会怎样,也无法决定未来必然未来会走向哪一条。章末她突然问“哥哥被亲过吗”,这是一个与未来选择有关的问题,保留到下一章。
概念地图:把同义说法接回同一模型
下面把本章的概念锚点按推理顺序收拢。每一行既保留 manifest 中的说法,也说明它在模型中的作用;同义短语不是额外结论,而是同一个结构的不同入口。
- 绝不会输的赌博:标题提醒我们检查收益映射;删掉对手正常获胜分支,才能制造表面上的“必胜”。
- 选择与未知未来:概率模型能比较当前选择的路径,但不能把未来事实当成已知数据。
- 掷骰子 / 两个骰子 / 爱丽丝和鲍勃 / 点数大者获胜:这些词共同确定实验、参与者和胜负规则。
- 对称所以各一半 / 对称性:交换玩家只说明两侧胜负数相同,不包括平局。
- 遗漏平局 / 漏掉平局:把对角线从样本空间删掉,会把两侧胜率错误归一化成
1/2。 - 6×6=36种 / 36个有序对:两枚可区分骰子形成六乘六个等可能结果。
- 平局6种 / 平局有6种 / 平局概率1/6 / 概率为1/6:六个对角线结果占
6/36。 - 爱丽丝胜15种 / 15种获胜结果 / 爱丽丝获胜概率5/12 / 胜率都是5/12:下三角与上三角各十五格,双方胜率为
15/36。 - 用表格来想 / 用表格观察全体 / 观察全体:先看全集,再为事件着色,是避免直觉漏项的工作习惯。
- 抛硬币 / 两枚硬币 / 百元硬币和十元硬币:硬币是否可区分决定
HT与TH是否是两个样本点。 - 至少有一枚是正面的 / 至少一枚正面:这是条件事件
E,它排除TT,不是指定某一枚。 - HH HT TH TT / HH、HT、TH、TT:四个结果完整列出两枚可区分硬币的原始样本空间。
- H是Head正面 / H表示正面Head / T是Tail反面 / T表示反面Tail:字母是标签,必须先声明含义。
- 排除TT / 条件后HH HT TH / 留下HH、HT、TH:条件化就是在原空间中筛选并重新归一化。
- 两枚都是正面概率1/3 / 概率是1/3:
HH在三个条件结果中占一个。 - 指定硬币正面时概率1/2 / 概率才是1/2:若指定百元硬币为正面,另一枚才在
H/T间均分。 - 信息如何产生 / 信息协议:报告机制决定隐藏状态被观察到的权重。
- 一枚硬币 / 正面尤里赢反面哥哥输 / 正面,尤里赢:收益表必须给正反面分别指定结果。
- 硬币立起来哥哥赢 / 只有硬币立起来:若立起不是正常结果,便不能作为对手的公平分支。
- 百分百获胜 / 没有给对方任何正常获胜分支:所谓必胜可能只是在规则层面预先删掉对手的胜利。
- 印有年号的一面是反面 / 印有年号的一面称为反面:这是标签约定,不是概率事实。
- 彩票的记忆 / 妈妈的新汤 / 母亲:生活类比把“过去是否影响下一次”变成可检验的独立性问题。
- 本店诞生了一等奖 / 中奖店下次更容易中 / 下次更容易中奖:过去卖出大奖的事实不足以推出下一张概率上升。
- 彩票没有记忆力:在抽取机制稳定且独立的模型中,历史事件不会改变下一张概率。
- 海报只陈述历史事实 / 只陈述历史事实:广告的语句可能真实,但它表达的信息范围有限。
- 事实不蕴含未来优势 / 不蕴含下一张彩票更容易中奖:从历史事实到未来优势还缺少机制证据。
- 概率问题与直觉相悖 / 直觉陷阱:感到“应该一半”时,应退回样本空间和生成机制。
- 蒙提霍尔问题 / 3个信封:三选一是最小的主持人信息协议示例。
- 一个礼品券两个空信封 / 一个有礼品券,两个为空:奖品位置有三个等可能状态。
- 主持人知道哪些信封为空 / 知道奖品位置:主持人的知识限制了可行动作。
- 主持人总打开空信封 / 总在未选的两个信封中打开一个空信封:他不会随机误开中奖信封。
- 初选中奖时随机开一个空信封 / 在两个空信封中随机开一个:初选正确时,主持人动作确实分成两条半概率路径。
- 坚持还是交换:坚持追随初选,交换追随“初选为空”的集合。
- 汽车和山羊:经典道具可换成信封,概率结构仍由规则决定。
- 列举全部情况 / 9种情况 / 3×3=9:把奖品位置和初选位置组成九个状态,可直接检验策略。
- 初选中奖概率1/3 / 初选中奖概率是1/3:坚持策略的胜率由初选事件直接给出。
- 桌上中奖概率2/3 / 桌上两封信原先合计的2/3:未选集合合并了两种初选错误状态。
- 坚持胜率1/3 / 交换胜率2/3:两种确定策略分别对应初选正确和初选错误。
- 主持动作的概率分支 / 主持动作进入概率树:观察主持人打开哪一个信封,需要把动作也纳入路径。
- 初选正确时概率分成两份 / 两个空信封中随机选择:奖在初选信封时,主持人有两条可行分支。
- 一万封信:放大问题规模,让“初选几乎不会中”变得直观。
- 初选命中1/10000 / 初选命中概率1/10000:坚持只继承这一个极小的初选事件。
- 其余9999封含奖9999/10000 / 9999/10000:交换追随其余信封集合的总概率。
- 打开9998个空信封 / 打开其中9998个空信封:知情主持人把集合压缩到唯一未开信封。
- 概率熬干浓缩 / 熬干浓缩:这是对集中过程的直观比喻,不是新的概率运算。
- 主持人协议:知识、动作规则、随机选择和是否提供交换共同定义题目。
- 协议改变必须重新建模 / 答案会变:改变报告机制,条件概率不能照搬
2/3。 - 上帝视角 / 同时观察全部隐藏状态 / 观察全体:列出全部状态是检查而非预言。
- 中考与高考 / 可以畅谈所思所想的伙伴:叙事把概率的“可计算选择”和生活的“未知未来”并置。
- 不知道未来会怎样 / 未来会走向哪一条:模型能给出条件下的比例,不能替人选择人生路径。
- 哥哥被亲过吗 / 与未来选择有关的问题:章末问题把概率讨论转向下一章的选择主题。
本章回顾:先列全体,再解释信息
- 两个骰子产生
36个等可能有序结果;对角线的6个结果是平局。 - 爱丽丝与鲍勃各有
15种获胜结果,双方胜率都是5/12,平局概率是1/6。 - “至少一枚正面”留下
HH、HT、TH,所以P(HH|E)=1/3;指定某一枚正面则是另一道题。 - 彩票海报可能只是真的陈述历史事实,不能单独推出下一张彩票更容易中奖。
- 标准蒙提霍尔协议下,初选中奖为
1/3,初选为空为2/3;坚持赢1/3,交换赢2/3。 - 一万封信把
1/10000与9999/10000的分配放大;主持人协议改变时必须重新建模。 - 表格、条件样本空间、概率树和交互实验都在做同一件事:把隐藏状态与信息生成过程显式化。
Monty Hall Lab
在固定主持人协议下切换策略,观察胜率来自哪一类初选。
当前策略:交换
理论胜率:2/3
初选为空时获胜;切换不会改变主持人协议。
1. 骰子表:分开胜负与平局
先填满六乘六的有序结果,再给爱丽丝胜、平局和鲍勃胜着色;检查 15/36+6/36+15/36=1。
练习与答案
练习
- 问题 1:骰子与平局。 两个公平六面骰的
36个有序结果中,平局有多少个?爱丽丝胜率是多少?为什么不能写成1/2?
- 问题 2:条件硬币。 已知两枚可区分硬币至少一枚正面,求两枚都正面的概率;若改为“百元硬币已知正面”,答案又是多少?
- 问题 3:蒙提霍尔。 玩家先选
A,主持人知道奖品位置且总打开一个空信封,并总提供交换。坚持与交换的胜率分别是多少?
- 问题 4:改变协议。 在一万封信的版本中,主持人知道奖品并打开
9998个空信封。若主持人不知道奖品、可能误开中奖信封,原来的交换结论还能直接使用吗?
名词解释
本章出现的专业名词,用大白话再讲一遍。
- 对称所以各一半
对称只保证两侧胜负区域数量相同;若还有平局或其他结果,不能把总概率直接分成两半。
- 遗漏平局
统计比赛胜负时没有把平局结果放回样本空间,导致概率错误归一化。
- 两枚都是正面概率1/3
在至少一枚正面的条件下,三个等可能结果
HH、HT、TH中只有一个是HH。- 彩票没有记忆力
在抽取机制稳定且独立的模型中,过去的中奖事实不会改变下一张票的概率。
- 蒙提霍尔问题
主持人知道奖品位置并总打开空信封的三选一条件概率问题。
- 主持人协议
对主持人知识、可行动作、随机选择与交换机会的完整规则说明。
正式目录节点:逐项释义
下面补齐本章正文已经涉及、但容易被公式或叙事压缩掉的节点。每一项都给出对象、验证动作与边界;它们是第4卷 第1章 绝不会输的赌博的知识证据,不是把目录标题重复一遍。
- 蒙提霍尔问题:“蒙提霍尔问题”在第4卷 第1章 绝不会输的赌博中承担一个可检查的概念节点:先说明它所描述的对象与问题,再沿本章的推导或实验观察一次结果,最后用边界或反例复核适用范围;这段解释把术语和可复现的判断步骤绑定起来,而不是只保留名称。