算法导论第6章思考题

6.3-2
func(A)
1 A.heap-size=A.len
2 \quad for i=$\lfloor \frac{A.len}{2}\rfloor$ downto 1
3 \qquad MAX-HEAPIFY(A,i)
对于第2行的循环控制变量i来说，为啥要求它是从$\lfloor \frac{A.len}{2}\rfloor$到1递减，而不是从1到$\lfloor \frac{A.len}{2}\rfloor$递增呢？
这样就不被允许执行第三行了
6.3-3 证明：包含n个元素的堆中，至多有$\lceil \frac{n}{2^{h+1}}\rceil$个高度为h的结点
h=0时，结点数为n-$\lfloor \frac{n}{2}\rfloor$=$\lceil \frac{n}{2}\rceil$，满足
假设高度为h-1时成立，