《算法导论》6.3-3

《算法导论》6.3-3
第一次写博客，不完美之处，多多包涵

证明：在任一含n个元素的堆中，至多有$\lceil n/2^{h+1}\rceil$个高度为h的结点。
1.先看简单情况：$n=2^k-1$
则高度为h的节点数易知为
$2^{k-h-1}$
而$\lceil n/2^{h+1}\rceil$=$\lceil 2^k-1/2^{h+1}\rceil$=$2^{k-h-1}$
则两者相等
2.假设此时该堆叶节点并非都处于同一行
令n = $2^k$+m-1 (m<$2^k$)
则高度为h的节点数为
$\lceil m/2^h\rceil$+$2^{k-1-h}-\frac{2\ast \lceil m/4\rceil }{2^h}$
而$\lceil n/2^{h+1}\rceil$=$\lceil 2^k-1+m/2^{h+1}\rceil$=$2^{k-1-h}$+$\lceil \frac{m-1}{2^{h+1}}\rceil$
再令m = $k\ast 2^h+c$
若c=0
则$\lceil m/2^h\rceil$=$k$
$2\ast \lceil m/4\rceil /2^h$=$k/2$
$\lceil \frac{m-1}{2^{h+1}}\rceil$ =$\lceil k/2\rceil$
易知不等式成立
若c=1
则$\lceil m/2^h\rceil$=$k+1$
$2\ast \lceil m/4\rceil /2^h$=$\lceil \frac{k\ast 2^h+1}{4}\rceil /2^{h-1}$
$\lceil \frac{m-1}{2^{h+1}}\rceil$ =$\lceil k/2\rceil$ =$\lceil k/2\rceil$
易知不等式成立