概率 dp、期望 dp

· · 算法·理论

常用概念 几何概型

概率

概率本质上就是从事件到一个实数值的函数,通常记作 𝑃。概率必须满⾜三个条件:

概率的解释

概率的解释到现在都是一个有争议的话题。学者分为两派:

独⽴事件与条件概率

全概率公式

全概率公式:如果样本空间可以被划分为两两互斥的若⼲部分 A_1,\dots,𝐴_𝑘,即 𝐴_1+𝐴_2+\dots+𝐴_𝑘=Ω,那么 𝑃(𝐵)=\sum\limits_{𝑖=1}^k𝑃(𝐵|𝐴_𝑖)𝑃(𝐴_𝑖)

全概率公式⽤于将不好算的事件拆分成若⼲个⼩的事件,分别计算。

⻉叶斯公式

公式

⻉叶斯公式:对于事件 𝐴𝐵,如果 𝑃(𝐴)>0𝑃(𝐵)>0,那么 P(𝐴|𝐵)=\dfrac{𝑃(𝐵|𝐴)𝑃(𝐴)}{𝑃(𝐵)}

通常我们会有样本空间的一个划分 𝐴_1,\dots,𝐴_𝑘,结合全概率公式, 对于任意 1\le 𝑖\le 𝑘 有:

P(𝐴_𝑖|𝐵)=\dfrac{𝑃(𝐵|𝐴_𝑖)𝑃(𝐴𝑖)}{P(B)}\\ P(𝐴_𝑖|𝐵)=\dfrac{𝑃(𝐵|𝐴_𝑖)𝑃(𝐴𝑖)}{\sum\limits_{j=1}^kP(B|A_j)P(A_j)}

⻉叶斯公式的解释

⻉叶斯公式其实是条件概率公式的直接推论。它描述的是这样的事实:

⻉叶斯公式的应用:垃圾邮件识别

我们可以利⽤⻉叶斯公式做一个简单的⼩程序来识别垃圾邮件。

所有邮件分为两类:𝐴_1 代表垃圾邮件,𝐴_2 代表非垃圾邮件。根据经验,𝑃(𝐴_1)=0.7𝑃(𝐴_2)=0.3。(先验概率)

𝐵 表示邮件包含“免费”这一关键词,由历史邮件得知,P(𝐵|𝐴_1)=0.9𝑃(𝐵|𝐴_2)=0.01(似然函数,注意:它们之和无意义且并不一定等于 1)。

新收到一封邮件,其中包含了“免费”词汇,它是垃圾邮件的概率是:

𝑃(𝐴_1|𝐵)=\dfrac{0.9\times0.7}{(0.9\times0.7)+(0.01\times0.3)}≈0.995

三门问题

有三扇⻔,其中一扇⻔背后有奖⾦,剩下两扇背后什么也没有。 你选择了其中一扇⻔,此时主持⼈从剩下的两扇⻔中选择了一扇打开,后⾯什么也没有。此刻你是否应当更改选择另一扇没开的⻔?

直觉似乎是改不改⽆所谓,但我们可以⽤⻉叶斯的理论计算一下。

不妨设你选择的⻔是第 1 扇,主持⼈打开的是第 3 扇。设每扇⻔后⾯有奖⾦的事件为 𝐴_𝑖,那么先验概率为 𝑃(𝐴_𝑖)=\dfrac{1}{3},我们想知道的是 𝑃(𝐴_1|\overline{𝐴_3}) 是多少。根据⻉叶斯公式有:

𝑃(𝐴_1|\overline{𝐴_3})=\dfrac{𝑃(\overline{𝐴_3}|A_1)P(A_1)}{𝑃(\overline{𝐴_3}|A_1)P(A_1)+𝑃(\overline{𝐴_3}|A_2)P(A_2)+𝑃(\overline{𝐴_3}|A_3)P(A_3)}

其中:

带入可得 𝑃(𝐴_1|\overline{𝐴_3})=\dfrac{1}{3},因此更换选择后中奖概率更高,𝑃(𝐴_2|\overline{𝐴_3})=\dfrac{2}{3}

更直观的认识:

随机变量

表示将样本点映射到实数域的函数 𝑋:Ω→𝑅

例如,投掷一个骰子,得到的结果有 1,2,3,4,5,6

最简单的实值函数即为结果本身,即投掷结果。

如果考虑投掷两个骰子,那么这个实值函数可以为两者之和和两者中的较⼤值。

例如记随机变量 𝑋 为两个投掷结果之和,则 𝑋 的可能取值为 2,3,\dots,12

记随机变量 𝑌 为两个投掷结果中的较⼤值,则 𝑋 的可能取值为 1,2,3,4,5,6

期望

定义

随机变量在概率意义下的平均值 E[𝑋]=\sum\limits_{𝜔∈Ω}𝑋(𝜔)𝑃(𝜔)

举个例子,假设抽奖得到一⼆三等奖和谢谢惠顾的事件分别为 A_1,\dots,𝐴_4,其概率分别为 0.01,0.02,0.07,0.9。那么设随机变量 𝑋 代表抽奖得到的奖⾦,𝑋(𝐴_1)=1000,𝑋(𝐴_2)=500,𝑋(𝐴_3)= 100,𝑋(𝐴_4)=0,其期望为 𝐸[𝑋]=1000\times0.01+500\times0.02+100\times0.07+0\times0.9=27

这意味着抽奖券⾄少得卖 27 元。

期望的性质

线性:对于任意随机变量 𝑋𝑌,满⾜ E[𝛼𝑋 +𝛽𝑌]=𝛼𝐸[𝑋]+𝛽𝐸[𝑌]

期望的线性性是始终成立的,⽆论两随机变量是否独立。

做题最常⽤的性质。

OI 中解概率题的常见套路

矩形粉刷

有一块 𝑁\times𝑀 的矩形⽹格要进⾏粉刷。每次粉刷会等概率选取两个格子,粉刷以这两个格子为顶点的矩形区域。求经过 K 次粉刷后,⾄少被刷了一次的格子数的期望。

## 容斥原理 见 [oiwiki](https://oiwiki.com/math/combinatorics/inclusion-exclusion-principle/)。