算法导论习题11.5-1

题目：

《算法导论》Exercise 11.5-1
假设采用了开放寻址法和均匀散列计数将n个关键字插入到一个大小为m的散列表中。设$p(n,m)$，为没有冲突发生的概率。试证明：$p(n,m)\le e^{-n(n-1)/2m}$。（提示：见式（3.12）。）论证当$n$超过$\sqrt{m}$时，不发生冲突的概率快速趋于0。

式（3.12）：$e^x\ge x+1$

Answer:
在开放寻址法中，当采用了均匀散列时，默认关键字插入是完全随机的，那么$p(n,m)$就是一个很常见的概率问题：
$$p(n,m)=\prod _{i=1}^n\frac{m-(i-1)}{m}$$

显然乘积的各项都大于$0$，使用均值不等式：
$$\frac{{\sum }_{i=1}^n{a}_i}{n}\ge \sqrt[n]{\prod _{i=1}^n{a}_i}$$

得到：
$$p(n,m)\le {\left(\frac{{\sum }_{i=1}^n\frac{m-(i-1)}{m}}{n}\right)}^n={\left(\frac{n(m+m-(n-1))}{2mn}\right)}^n={\left(1-\frac{n-1}{2m}\right)}^n$$

进一步变形：
$$p(n,m)\le e^{n\ln (1-\frac{n-1}{2m})}$$

令$I=n\ln (1-\frac{n-1}{2m})$，分析$I$：
$$I=n\left(\frac{1-n}{2m}-\frac{1}{2}{\left(\frac{n-2}{2m}\right)}^2+o({\left(\frac{n-2}{2m}\right)}^2)\right)\le n\left(\frac{1-n}{2m}\right)=\frac{-n(n-1)}{2m}$$

已知$e^x$为单调递增函数，故：
$$p(n,m)\le e^{n\ln (1-\frac{n-1}{2m})}\le e^{-n(n-1)/2m}$$

证毕。下论证当$n$超过$\sqrt{m}$时，不发生冲突的概率快速趋于0。\

显然，当$n$等于$\sqrt{m}$时有：
$$\frac{-n(n-1)}{2m}=\frac{-\sqrt{m}(\sqrt{m}-1)}{2m}=\frac{1}{2}\left(\frac{1}{\sqrt{m}}-1\right)\approx -\frac{1}{2}$$

即：
$$p(n,m)\le e^{-n(n-1)/2m}=e^{\frac{1}{2}\left(\frac{1}{\sqrt{m}}-1\right)}\approx e^{-0.5}\approx 0.6065$$

同理可得，当$n$等于$2\sqrt{m}$时：
$$p(n,m)\le e^{-n(n-1)/2m}=e^{\frac{1}{\sqrt{m}}-2}\approx e^{-2}\approx 0.1353$$

当$n$等于$3\sqrt{m}$时：
$$p(n,m)\le e^{-n(n-1)/2m}=e^{\frac{3}{2\sqrt{m}}-4.5}\approx e^{-4.5}\approx 0.0111$$

从上述计算中可以看出，当$n$小于$\sqrt{m}$时，不发生冲突的概率大于$0.6$，当$n$超过$\sqrt{m}$时，不发生冲突的概率快速下降，在$n$等于$3\sqrt{m}$时概率已经下降到$0.0111$以下。

如果有关于这道习题的看法，欢迎讨论！