《算法导论》笔记第6章 6.2保持堆的性质

最新推荐文章于 2022-04-28 18:50:29 发布

cyendra

最新推荐文章于 2022-04-28 18:50:29 发布

阅读量1.2k

点赞数

分类专栏：算法导论

本文链接：https://blog.csdn.net/cyendra/article/details/23081857

版权

本文是《算法导论》第六章关于堆的笔记，重点讨论了MAX_HEAPIFY函数。该函数在假设左右子树都是最大堆的情况下，确保节点i满足最大堆属性。若子节点中存在比A[i]大的元素，则进行交换并递归调用MAX_HEAPIFY。对于高度为h的节点，MAX_HEAPIFY的运行时间为O(h)。此外，文章还包含了关于MIN_HEAPIFY的伪代码及与MAX_HEAPIFY运行时间的比较，探讨了MAX_HEAPIFY在不同情况下的行为，包括元素A[i]大于子节点时及在堆的下半部分调用时的效果。

摘要由CSDN通过智能技术生成

【笔记】

当 MAX_HEAPIFY(A, i) 被调用时，我们假定LEFT(i)、RIGHT(i)为根的两棵二叉树都是最大堆。

若子结点中有最大元素，将 A[i] 与其交换，对该子树调用 MAX_HEAPIFY。若 A[ i ] 为最大元素，结束循环。

MAX_HEAPIFY 作用于一个高度为 h 的结点所需的运行时间为 O(h)。

    void maxHeapify(int i) {
        int l = left(i);
        int r = right(i);
        int largest = i;
        if (l <= heapSize && A[l] > A[largest]) largest = l;
        if (r <= heapSize && A[r] > A[largest]) largest = r;
        if (largest != i) {
            swap(A[i],A[largest]);
            maxHeapify(largest);
        }
    }