6.3-2
func(A)
1 A.heap-size=A.len
2 \quad for i=$?\frac{A.len}{2}?$ downto 1
3 \qquad MAX-HEAPIFY(A,i)
對于第2行的循環控制變量i來說，為啥要求它是從$?\frac{A.len}{2}?$到1遞減，而不是從1到$?\frac{A.len}{2}?$遞增呢？
這樣就不被允許執行第三行了
6.3-3 證明：包含n個元素的堆中，至多有$?\frac{n}{2^{h+1}}?$個高度為h的結點
h=0時，結點數為n-$?\frac{n}{2}?$=$?\frac{n}{2}?$，滿足
假設高度為h-1時成立，