堆排序

$\color{green}{1/5\ 堆}$

$\color{green}{i/iii \ 基本结构}$

(二叉)堆是一个数组A[1 . . A.length]，可以被看成一个近似的完全二叉树：除最底层外，该树是完全充满的，而且是从左向右填充。
树上的每一个节点对应数组中的一个元素，树的根节点为A[1]。

给定一个结点的下标 i ,可以得到：
父结点下标 Parent(i) : $\lfloor\frac i2\rfloor$
左孩子结点下标 Left(i) : $2 \ast i$
右孩子结点下标 Right(i) : $2 \ast i +1$

$\color{green}{ii/iii \ 分类}$

最大堆：除了根以外的所有结点 i 都有 $A[Parent(i)] \geq A[i]$
最小堆：除了根以外的所有结点 i 都有 $A[Parent(i)] \leq A[i]$

$\color{green}{iii/iii \ 基本性质}$

a/c.$\ $在高度为h的堆中，元素个数最多和最少分别是多少 ?
最多：最底层全满
$1+2^ 1+2 ^ 2+2 ^ 3+ . . . +2 ^ {h-1}+2^{h}=2^{h+1}-1$
最少：最底层只有一个结点
$1+2^ 1+2 ^ 2+2 ^ 3+ . . . +2 ^ {h-1}+1=2^h$

b/c.$\ $含 n 个元素的堆的高度为 $\lfloor\lg n \rfloor$.
假设含 n 个元素的堆的高度为 h ，则$2^h\leq n \leq2^{h+1}-1$ ,两边取对数则有：$h\leq \lg n < {h+1}$
故堆的高度为 $\lfloor\lg n \rfloor$.

c/c.$\ $当用数组表示存储 n 个元素的堆时，叶结点下标分为为$\lfloor\frac n2\rfloor$+1，$\lfloor\frac n2\rfloor$+2，… , n.
最后一个叶结点N的下标为 n ,则其父结点P下标为 $\lfloor\frac n2\rfloor$.
若结点P右侧的结点含有孩子结点，则 N 就不是最后一个叶结点。
故P右侧的结点均为叶结点，即叶结点下标分为为$\lfloor\frac n2\rfloor$+1，$\lfloor\frac n2\rfloor$+2，… , n.

---

$\color{green}{2/5 \ 维护堆的性质}$

---

$\color{green}{3/5 \ 建堆}$

---

$\color{green}{4/5 \ 堆排序算法}$

---

$\color{green}{5/5 \ 堆排序应用：优先队列}$