6.4-1

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

6.4-2

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

6.4-3

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

6.4-4

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

算法导论第三版习题6.4相关推荐

算法导论第三版习题4.5
4.5-1 a f(n)=1,nlogba=nlog42=n12f(n)=1,n^{log_b a} = n^{log_4 2} = n^{\frac{1}{2}} 当0<ϵ≤12时,f(n)= ...
算法导论第三版习题4.3
4.3-1 假设对∀m≤n0,∃c≥0,\forall m\le n_0,\exists c\ge0,使得: T(m)≤cm2 \begin{align} T(m) \le cm^2 \end{ali ...
算法导论第三版第二章思考题答案
算法导论第三版第二章思考题答案第二章思考题算法导论第三版第二章思考题答案 2.1 2.2 2.3 2.4 汇总传送门 2.1 #include<iostream> using name ...
算法导论第三版2.3答案
算法导论第三版2.3答案 2.3 算法导论第三版2.3答案 2.3-1 2.3-2 2.3-3 2.3-4 2.3-5 2.3-6 2.3-7 汇总传送门 2.3-1 划分: {3}, {41}, { ...
算法导论第三版2.2答案
算法导论第三版2.2答案 2.2 算法导论第三版2.2答案 2.2-1 2.2-2 2.2-3 2.2-4 汇总传送门 2.2-1 O(n3)O(n^3)O(n3) 2.2-2 /* * @Autho ...
算法导论第三版3.1答案
算法导论第三版3.1答案这一章数学公式实在太多了..打不过来,为了节约时间就用纸笔写了. 2.2 算法导论第三版3.1答案汇总传送门汇总传送门链接: [算法导论习题答案汇总]
给出TREE_INSERT过程的非递归版本（算法导论第三版12.3-1）
给出TREE_INSERT过程的非递归版本(算法导论第三版12.3-1) template<typename T> void insert_recursive(BinaryTree< ...
写出TREE-PREDECESSOR的伪代码（算法导论第三版12.2-3）
写出TREE-PREDECESSOR的伪代码(算法导论第三版12.2-3) TREE-PREDECESSOR(x)if x.left != NILreturn TREE-MAXIMUM(x.left) ...
写出TREE-MINIMUM 和TREE-MAXIMUM的递归版本（算法导论第三版12.2-2）
写出TREE-MINIMUM 和TREE-MAXIMUM的递归版本(算法导论第三版12.2-2) template<typename T> BinaryTreeNode<T>* ...

算法导论第三版习题6.4

6.4-1

6.4-2

6.4-3

6.4-4

算法导论第三版习题6.4相关推荐

最新文章

热门文章