CLRS 17.4动态表

17.4-1
1) 根据书上第十一章的定理11.6或11.7知，如果装填因子 $\alpha=1$，不成功的探测次数将会是无穷大，因此严格小于 1。
2) 动态开发地址散列表的插入算法在 $\alpha\ge 0.75$ 时进行扩张，$\alpha\le 0.25$ 时进行收缩。证明略。
3) 这是因为将第 $m$ 个元素插入到一个满的表要花费 $O(m)$ 的代价。

17.4-2
证明略

17.4-3
删除时不引起收缩时，在操作前后势能值的改变是 2 或 -2，所以$\hat{c}_i=c_i+Φ(D_i)-Φ(D_{i-1})\le 1+2=3\in O(1)$。若引起收缩，则有

$$\hat{c}_i=c_i+Φ(D_i)-Φ(D_{i-1})\le num[T_i]+1+|2num[T_i]-size[T_i]|-|2num[T_{i-1}]-size[T_{i-1}]|=1\in O(1)$$