CLRS 6.3建堆

6.3-1

6.3-2
那样的话就不能保证最大堆性质了，比如 $1,3,5,7$就不能建成最大堆。

6.3-3
堆的叶结点数为 $\lceil n/2 \rceil$（$\lceil n/2 \rceil + \lfloor n/2 \rfloor = n$）。
当 $h=0$ 时，叶结点（此时为根结点）为 $\lceil n/2 \rceil=\lceil n/2^{0+1} \rceil$。
设 $h-1$ 层成立，除去叶结点还剩 $n-\lceil n/2 \rceil=\lfloor n/2 \rfloor$，则 $h$ 此时变为 $h-1$ 的新树。它的叶结点为：

$$\begin{align} T = \bigg\lceil \lfloor n/2 \rfloor / 2^{h-1+1} \bigg\rceil &< \bigg\lceil (n/2)/2^h \bigg\rceil = \bigg\lceil \frac{n}{2^{h+1}} \bigg\rceil \end{align}$$