《算法导论》第六章练习题 Exercise

Posted 2020-10-22 大峰子的博客

tags:

篇首语：本文由小常识网(cha138.com)小编为大家整理，主要介绍了《算法导论》第六章练习题 Exercise相关的知识，希望对你有一定的参考价值。

6.1-1

　　在高度为 h 的堆中，元素最多有 2^h+1 - 1 个，最少有 2^h 个。注意算法导论里的高度是指深度，从 0 开始而不是从 1 开始。

6.1-2

　　这很好想，但是不好证明。

　　由已知高度为 h 的堆，它的元素个数满足 2^h <= n <= 2^h+1 - 1 ，解出 lg(n+1) - 1 <= h <= lgn ，但是它不够“合理”，因为当 n = 2^h+1-1 时，n 等于 2的幂 - 1，此时 lg(n+1) -1 = ⌊lgn⌋ ，所以 ⌊lgn⌋ <= h <= lgn 。而我们默认高度 h 是一个自然数，所以左右界一致，得出 h = ⌊lgn⌋ 。

6.1-3

　　最大堆的属性告诉我们除了根结点以外的所有结点都要满足 A[PARENT(I)] >= A[I] ，一棵树是递归定义的，所以子树的最大结点肯定是其根结点。

6.1-4

　　它一定是叶子结点，位于 ⌊lgn⌋ 或 ⌊lgn⌋ - 1 层

6.1-5

　　按递增排序的话，是的

6.1-6

　　不是，"PARENT" 6 < "CHILD" 7

6.1-7

　　通过反证法比较好证明。

　　假设 i ∈ { ⌊n/2⌋+1, ⌊n/2⌋+2, ... , n } ，那么它的孩子的序号至少是 2·(⌊n/2⌋+1), 2·(⌊n/2⌋+2) ，显然不在数组内。

　　所以可以得到结论：堆中叶子结点数 = ⌈n+1⌉

6.2-1

　　 3 先与左右儿子比较，找到其中最大的关键字并记录它的索引，让它与 3 交换，递归调用实现 3 的子树堆化。

6.2-2

　　维护最小堆的算法如下：

#define LEFT(i) (2*i + 1)
#define RIGHT(i) (2*i + 2)

MIN-HEAPIFY (A, i)
    left = LEFT (i)
    right = RIGHT (i)
    if left <= A.HEAPSIZE && A[left] < A[i]
        min_index = left
    else
        min_index = i
    if right <= A.HEAPSIZE && A[right] < A[min_index]
        min_index = right
    if min_index != i
        exchange A[i] and A[min_index]
        MIN-HEAPIFY(A, min_index)

　　时间一样，都是 Θ(lgn)

6.2-3

　　不会进行递归堆化。　　

6.2-4

　　其子结点的序号超出了堆的大小，程序将视为其子结点不存在，所以不会进行堆化操作。

6.2-5

　　尾递归改循环控制结构如下：　　

#define LEFT(i) (2*i + 1)
#define RIGHT(i) (2*i + 2)

MAX-HEAPIFY (A, i)
    while i < A.HEAPSIZE
        left = LEFT(i)
        right = RIGHT(i)

        if left < A.HEAPSIZE && A[left] > A[i]
            max_index = left
        else
            max_index = i

        if right < A.HEAPSIZE && A[right] > A[max_index]
            max_index = right

        if max_index != i 
            exchange A[max_index] and A[i]
        else
            return;