算法导论 思考题 11-2

（链接法中槽大小的界）假设有一个含n个槽的散列表，向表中插入n个关键字，并用链接法来解决冲突问题。每个关键字被等可能地散列到每个槽中。所有关键字被插入后，设M是各槽中所含关键字数的最大值。读者的任务是证明M的期望值E[M]的一个上界为O(lgn/lglgn)。

a. 证明：正好有k个关键字被散列到某一特定槽中的概率  为

b. 设  为M = k的概率，即包含最多关键字的槽中有k个关键字的概率。证明： 。

c. 应用斯特林近似公式（3.18）来证明： 。

d. 证明：存在常数c>1，使得  对  成立。并有结论：对  ， 成立。

e. 证明：

并有结论：。

---

a、这问没什么好说的，从n个关键字中选k个落在某一特定槽中，每个概率均为1/n，另外的n-k个关键字不落在该特定槽中，每个概率为1-1/n，因此有：

---

b、考虑不等式右边  的含义，不难想到这是所有槽中有一个槽有k个关键字的概率，然后可分为两部分来看，一部分是其余槽中的关键字数量不超过k，即不等式左边的，另一部分是其余槽中存在关键字大于k的槽，不妨记其概率为，有 和 ，因此：

---

c、斯特林近似公式（3.18）为：

结合a中结论有：

将  放大为 ，并根据斯特林近似公式对分母  进行放缩，将其缩小至 ，代入上式得到：

---

d、考虑结合c中结论，只需使  即可，对其两边取以2为底的对数有：

代入  并两边同除以 ，化简得到：

前两项和后两项结合有：

这里我们只需取c=7即可令上式成立，因为前半部分在c>e时大于零，后半部分在(0, +∞)上最小值在lglgn为e时取得，约为0.47c

不难发现，随k是递减的，结合b中结论，在 时，总有：

---

e、感觉没啥好写的，通过把关键字最大值大于  时对应的最大值放大为n，小于  时对应的最大值放大为  即可得到：

结合d中结论，有：

即：