CLRS 17.3势能法

17.3-1
令 $Φ'(D_i)=Φ(D_i)-Φ(D_0)$即可。

17.3-2
定义势函数： $Φ(D_0)=0,Φ(D_i)=2i-2^{\lfloor \lg i\rfloor+1}+1,for \ i>0$。
对 $i$ 不是 2 的幂时有：$Φ(D_i)-Φ(D_{i-1})=2-i$，所以 $\hat{c}_i=c_i+Φ(D_i)-Φ(D_{i-1})=2$;
对 $i$ 是 2 的幂时有：$Φ(D_i)-Φ(D_{i-1})=2$，得 $\hat{c}_i=c_i+Φ(D_i)-Φ(D_{i-1})=3$。

17.3-3
令