《算法导论》笔记 第6章 6.1堆

【笔记】

堆是一棵完全二叉树，树的根为 A[ 1 ] ，给定某个节点的下标 i ， 其父节点为 i/2 、左儿子为 i*2 、右儿子为 i*2+1。

二叉堆有两种，最大堆、最小堆（或称大根堆、小根堆）。大根堆中 A[ PARENT(i) ] >= A[ i ] ， 最大元素在根部。

结点在根部的高度定义为从本结点到叶子的最长简单下降路径上边的数目。堆的高度为树的根的高度。

【练习】

6.1-1 在高度为h的堆中，最多和最少的元素个数是多少？

最多：

最少：

6.1-2 证明：含n个元素的堆的高度为 logn

6.1-3 证明：在一个最大堆的某棵子树中，最大元素在该子树的根上。

假设存在一个子树，其最大元素不在根上，设最大元素编号为 m ，则  A[ m ] >= A[ PARENT(m) ] 。

∵ 在最大堆上，A[ PARENT(i)