CLRS 6.4堆排序算法

6.4-1
此题画图太多，在此省略。

6.4-2
初始化：子数组 $A[i+1\dots n]$ 为空，成立；
保持：$A[1]$ 是 $A[1 \ldots i]$ 中最大的元素，但又比 $A[i + 1 \ldots n]$ 中元素要小。当我们把它放到第 $i$ 的位置时，$A[i \ldots n]$ 包含已排序的最大一些元素。然后减小堆的大小并调用MAX-HEAPIFY使 $A[1 \ldots i-1]$ 成为最大堆。将 $i$ 减一进入下一次循环。
终止：当 $i = 1$，意味着 $A[2 \ldots n]$ 已排序，且 $A[1]$ 是数组中最小的元素。这时候数组就有序了。

6.4-3
都是 $\Theta(n\lg n)$

6.4-4
最坏情况是排序阶段每次调用MAX-HEAPIFY时都进行最大次数的交换，总的交换次数为：

$$T \ge \sum_{i=2}^{n} {\lfloor \lg n \rfloor} = \Theta(n \lg n) = \Omega (n \lg n)$$

6.4-5
证明请参考Schaffer 和 Sedgewick 在 1992 年发表的堆排序性能分析 “The analysis of heapsort”。