点数问题
概述
点数问题(Problem of Points, 法文:problème des partis)是概率论历史上最重要的经典问题。问题表述为:两名技术相等的玩家进行"先赢n局者为胜"的赌局,约定赢者获得全部赌注。但当玩家A已赢a局、玩家B已赢b局时(a<n, b<n),赌局被迫中止。问:赌注应该如何在A和B之间公平分配?
这个问题最早由卢卡·帕西奥利在1494年提出,困扰数学家长达160年,直到1654年被布莱兹·帕斯卡和皮埃尔·德·费马分别独立地且正确地解决,从而开创了现代概率论。
关键内容
问题的历史
- 1494年:卢卡·帕西奥利首次提出这个问题
- 1564年:吉罗拉莫·卡尔达诺尝试解答,给出错误答案
- 1556年:尼科罗·塔尔塔利亚讨论该问题,同样失败
- 1654年:梅雷骑士向帕斯卡提出这个赌博问题
- 1654年7月–10月:帕斯卡和费马通过书信独立地、正确地解决了这个问题
"公平分配"的定义
关键在于理解什么是"公平": - 错误理解:按已经赢的局数比例分配(如4:3就分4:3) - 正确理解:每个人应得的份额 = 他在假设赌局继续进行下去时赢得全部赌注的概率
这个定义的深刻性在于:它要求计算一个尚未发生的事件的概率——即将未来的不确定性量化为一个确定的数值。
帕斯卡的递推方法
设 f(a, b) 为当A还差a局获胜、B还差b局获胜时,A应得的赌注份额。则:
- 边界条件:
- f(0, b) = 全部赌注(A已经赢了)
-
f(a, 0) = 0(B已经赢了)
-
递推关系: $$f(a, b) = \frac{f(a-1, b) + f(a, b-1)}{2}$$
-
解释:下一局A赢或B赢各有1/2概率,所以A应得的份额是两种情况下的平均值
费马的组合枚举方法
关键洞察:不管实际赌局是否会提前结束,我们可以想象双方总共再进行 (a + b - 1) 局(这一定足够决出胜负)。
- 这(a+b-1)局共有 2^(a+b-1) 种等可能的结果序列
- A获胜的序列是那些其中至少有a个回合A赢的序列
- A获胜的概率 = 有利序列数 / 总序列数 = $\binom{a+b-1}{a} / 2^{a+b-1}$
具体例子
A需要再赢2局,B需要再赢3局(a=2, b=3)。假设再进行4局(2+3-1=4),共 2^4 = 16 种可能。其中A至少赢2局的情况有11种:
| A赢数 | B赢数 | A赢? | 序列数 |
|---|---|---|---|
| 4 | 0 | ✓ | 1 |
| 3 | 1 | ✓ | 4 |
| 2 | 2 | ✓ | 6 |
| 1 | 3 | ✗ | 4 |
| 0 | 4 | ✗ | 1 |
因此 A 应得赌注的 11/16。
与帕斯卡三角形的联系
帕斯卡注意到,点数问题的解答与他同期研究的"算术三角形"(帕斯卡三角形,即二项式系数表)有密切联系。有利序列数 $\binom{a+b-1}{a}$ 正是帕斯卡三角形中的元素,这是概率论与组合数学联系的最早范例。
意义
为什么这个问题重要
- 方法论突破:首次将"不确定性"转化为精确的数学计算问题
- 期望值的原型:隐含了数学期望的定义
- 样本空间思想的萌芽:先明确所有可能结果,再计算概率
- 概率论的诞生标志:这个问题的解决标志着概率论作为独立数学学科的诞生
解决这个问题的瓶颈
在帕斯卡和费马之前,包括卡尔达诺和塔尔塔利亚在内的数学家都给出了错误解答(例如简单地按已赢局数比例分配)。核心瓶颈在于:缺乏将"尚未发生的随机事件"量化的概念框架。帕斯卡和费马的突破是认识到,公平分配取决于未来所有可能情景中各方获胜的概率,而不仅仅取决于过去已经发生的事情。
现代价值
- 后向归纳法:帕斯卡的递推方法是后向归纳的思想原型,广泛应用于博弈论、动态规划和金融衍生品定价
- 样本空间:费马的枚举方法体现了样本空间思想的萌芽,是 Kolmogorov 公理化体系的基本出发点
- 期望值理论:点数问题的解决建立了期望值的直觉,是现代决策论和风险管理的基础