「营业日志 2020.11.21」随机父节点树的期望树高

注意这里的树高是最大的那个深度，因此不能用第 $n$ 个点的期望深度来计算。

首先根据琴生不等式，有 $2^{\mathbf{E}[X]}\le \mathbf{E}[2^X]$，因此我们考虑先计算 $2^h$ 的期望。设 $d_k$ 为第 $k$ 个节点的深度，令 $t_k=2^{d_k}$。那么由于 h = max ⁡ { d k } h=\max \{d_k\} h=max{dk​}，所以 2 h = max ⁡ { t k } ≤ ∑ t k 2^h = \max\{t_k\} \le \sum t_k 2h=max{tk​}≤∑tk​，因为 $t_k\ge 0$。由此：

$$\begin{array}{rl}& \mathbf{E}[2^h]\\ & \le \mathbf{E}\left[\sum t_k\right]\\ & =\sum \mathbf{E}[t_k]\end{array}$$

我们记 $f_k=\mathbf{E}[t_k]$，易得

$$\begin{array}{rl}{f}_k& =\frac{2}{k-1}\sum _{j=1}^{k-1}{f}_j\\ S_k-S_{k-1}& =\frac{2}{k-1}{S}_{k-1}\\ S_k& =\frac{k+1}{k-1}{S}_{k-1}\\ & =\frac{(k+1)\cdots 3}{(k-1)\cdots 1}{S}_1\\ & =\frac{k(k+1)}{2}\end{array}$$

由 $S_n\ge \mathbf{E}[2^h]$，可知 $\mathbf{E}[h]\le {\log }_2{S}_n=2{\log }_{2}n+O(1)$。由此我们证明了其树高是期望 $\Theta (\log n)$ 级别。