Hopping and Skipping


Table of Contents

题目

一只青蛙沿着一长排荷叶往前跳。每到一片荷叶,它就抛一次公平硬币:

  • 正面:向前跳\(2\)片;
  • 反面:向后跳\(1\)片。

问:长期看,这排荷叶里有多少比例会被它踩到?

分析

转换一下思路:如果能求出“某一片荷叶最终被踩到”的概率,那么对很长的一段荷叶取平均,这个单点概率就对应整体覆盖率(由平移不变性与大数平均可知,局部概率会转化为全局比例)。

把荷叶按顺序标成整数。先计算一个基础概率:

\[ p=\text{青蛙从}1\text{出发,未来某时刻回到}0\text{的概率}.\]

于是\(1-p\)就是“从1出发,永不回到0”的概率。

若青蛙想“永不回到0”,第一步必须先向前跳到3(概率\(\frac{1}{2}\));到3后还要一直不回到0。由平移不变性和强马尔可夫性1,从3回到0可看成连续跨过三个“回退一级”的门槛,每级回退成功概率都是\(p\),所以从3回到0的概率是\(p^3\),不回到0的概率是\(1-p^3\)

因此\(1-p=\frac{1}{2}(1-p^3)\),求解并取\(0\)\(1\)之间的根:

\[ p=\frac{\sqrt5-1}{2}\]

这是黄金分割比例啊!

接着算“漏掉某片荷叶”的概率。考虑某一次向前跳,它跨过中间一片荷叶(设为0)。这片荷叶最终被永久漏掉,需要三件事同时成立:

  • \(A\):这一步确实是向前跳(概率\(\frac{1}{2}\));
  • \(B\):跳到前方后,未来不再回落到0(概率\(1-p\));
  • \(C\):在这一步之前,过去也从未到过0。

关键是求\(C\)的概率。这个事件看起来是“过去信息”,不太直观。处理方法是时间反演:

  • 正向看,青蛙每一步是“\(+2\)\(-1\)”,各概率\(\frac{1}{2}\)
  • 反向看(把时间倒放,并把空间方向同时反过来),过程分布不变,仍是“\(+2\)\(-1\)”,各概率\(\frac{1}{2}\)

因此,“过去从未到过0”与“未来不再回落到0”是同分布事件,所以\(P(C)=1-p\)

另外,\(A,B,C\)可以视为独立:

  • \(A\)只由当前这一次抛硬币决定;
  • \(B\)只由未来抛硬币序列决定;
  • \(C\)只由过去抛硬币序列决定。

三段抛硬币互不重叠,且抛硬币独立同分布,所以三事件独立。

于是“某次向前跳恰好跨过一片永久漏掉荷叶”的概率是\(\frac{1}{2}(1-p)^2\)

下面把“按跳数的概率”换成“按空间位置的比例”。

上式是每一步的概率,不是每一片荷叶的比例。要转成比例,需要除以“每一步平均前进多少距离”。青蛙每步平均位移是

\[ \frac{1}{2}\cdot2+\frac{1}{2}\cdot(-1)=\frac{1}{2}.\]

可以用\(N\)步来直观理解:

  • 大约有\(N\cdot\frac{1}{2}(1-p)^2\)次“跨过永久漏点”的跳跃;
  • 总位移大约是\(N\cdot\frac{1}{2}\)

所以每单位空间长度中的“永久漏掉荷叶”比例(空间密度)约为

\[ \frac{\frac{1}{2}(1-p)^2}{\frac{1}{2}}=(1-p)^2.\]

于是“被漏掉”的比例是\((1-p)^2\),因此“被踩到”的比例为

\[ 1-(1-p)^2.\]

代入\(p=\frac{\sqrt5-1}{2}\)

\[ 1-(1-p)^2=\frac{3\sqrt5-5}{2}\approx0.854102.\]

所以青蛙最终会踩到的荷叶比例约为\(85.41\%\)


  1. 这里用到的意思是:青蛙一旦到达某个位置,之后怎样跳只与“当前在哪一片荷叶上”有关,而与它之前是怎么走到这里的无关;“强马尔可夫性”进一步允许把这个判断放在“第一次到达某个位置的时刻”来使用。 

Next