CLRS 6.3建堆

6.3-1

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

6.3-3
堆的叶结点数为 ⌈n/2⌉（⌈n/2⌉+⌊n/2⌋=n）。
当 h=0 时，叶结点（此时为根结点）为 ⌈n/2⌉=⌈n/20+1⌉。
设 h−1 层成立，除去叶结点还剩 n−⌈n/2⌉=⌊n/2⌋，则 h 此时变为 h−1 的新树。它的叶结点为：

T=⌈⌊n/2⌋/2h−1+1⌉<⌈(n/2)/2h⌉=⌈n2h+1⌉