算法导论第三版习题6.4

6.4-1

(a) 首先调用BUILD-MAX-HEAP(A)得到最大堆$A_1=\{25,13,20,8,7,13,2,5,4\}$
(b) 然后将$A[1]和A[9]$交换得到$A_2=\{4,13,20,8,7,17,2,5,25\}$，然后调用MAX-HEAPIFY(A,1)，此时$A.length=8$，得到$A_3=\{20,13,17,8,7,4,2,5,25\}$，此时交换$A[1]和A[A.length]$得到$A_3^{'}=\{5,13,17,8,7,4,2,20,25\}$，继续循环得到$A_{sorted}=\{2,4,5,7,8,13,17,20,25\}$

6.4-2

初始化：第一次循环时，$i=A.length$，显然$A[1..A.length]$是包含了数组$A[1..n]$中第$A.length$小元素的最大堆，而子数组$A[A.length..n]=\emptyset$显然包含里$n-A.length=0$个最大元素，循环不变式成立。
保持：在第$i$次循环中，由于堆A已经经过MAX-HEAPIFY(A,1)成为了最大堆，故A的根节点元素是堆中最大的元素，然后将A的根节点与$A[A.$heap-size$]$交换，然后A.heap-size$=$A.heap-size$-1$，继续调用MAX-HEAPIFY(A,1)，然后堆A又成为了新的最大堆。由于在每次循环中堆A中最大的元素都会交换到A.heap-size位置，故交换后$A[$A.heap-size$+1]$大于$A[$A.heap-size$]$，依次类推，子数组$A[i+1..n]$包含了数组$A[1..n]$中已排序的$n-i$个最大元素，而子数组$A[1..i]$就是包含了数组$A[1..n]$中第$i$小元素的最大堆，所以循环不变式保持。
终止：当$i=2$时，此时所有$A[3..n]$包含了数组$A[1..n]$中已排序的$n-2$个最大元素，然后$A[1..2]$还是最大堆，将A[1]和A[2]交换之后整个数组A就排序好了

6.4-3

若本身A就是升序序列，首先生成最大堆需要$O(n)$时间，然后再要调用$n-1$次MAX-HEAPIFY(A,1)，需要$O(lgn)$时间，所以总的需要$O(nlgn)$时间

6.4-4

最坏的情况就是当A已经是升序排列时，此时需要$O(nlgn)$时间，故HEAPSORT的时间复杂度为$\Omega(nlgn)$