算法导论第六章

---

6.1堆

完全二叉树：所有叶结点深度相同，所有内部结点度为2.
（二叉）堆： 是一个数组，可以被看成一个近似的完全二叉树。
最大堆： 最大堆是指除了根以外的所有结点$i$都要满足: $A[PARENT(i)]⩾A[i]$,最大堆中的最大元素存放在根结点中。
最大堆： 最小堆是指除了根以外的所有结点$i$都要满足: $A[PARENT(i)]\le A[i]$,最小堆中的最小元素存放在根结点中。
高度： 我们定义一个堆中的结点的高度就为该结点的叶结点到最长简单路径上边的数目。
包含$n$个元素的队可以看做一颗完全二叉树，那么该堆的高度是 $\Theta (lgn)$ , 堆结构上的一些基本操作的运行时间至多与树的高度成正比，即时间复杂度为是$O(lgn)$,

6.1练习

6.1-1

---

最多： $2^0+2^1+\dots +2^h=2^{h+1}-1$(高度0排满元素，采用等比数列求和计算）
最少：$2^0+2^1+\dots +2^{h-1}+1=2^h$（高度0只有一个元素）

---

6.1-2

由6.1-1知：$2^h\le n\le 2^{h+1}-1$
两边取对数：$h\le lgn<h+1$
因为h为整数，故而：$h=\lfloor lgn\rfloor$

---

6.1-4

应该位于叶节点上：即 2 h + k ( k ⩾ 1 ） 2^{h}+k(k\geqslant1）