数据结构 -- 堆 heap

介绍

堆就是用数组实现的完全二叉树，所以它没有使用父指针或者子指针。
堆根据“堆属性”来排序，“堆属性”决定了树中节点的位置。

属性

堆的根节点中存放的是最大或者最小元素，但是其他节点的排序顺序是未知的。

例如，在一个最大堆中，最大的那一个元素总是位于 index 0 的位置，但是最小的元素则未必是最后一个元素。–唯一能够保证的是最小的元素是一个叶节点，但是不确定是哪一个。

最大堆

父节点的值比每一个子节点的值都要大

最小堆

父节点的值比每一个子节点都要笑

数组表示

数组可以存储为

[ 10, 7, 2, 5, 1 ]

如果 i 是节点的索引，那么下面的公式就给出了它的父节点和子节点在数组中的位置

parent(i) = floor((i - 1)/2)
left(i)   = 2i + 1
right(i)  = 2i + 2

right(i) 就是简单的 left(i) + 1。左右节点总是处于相邻的位置
验证：

注：根节点(10)没有父节点，因为 -1 不是一个有效的数组索引。同样，节点 (2)，(5)和(1) 没有子节点，因为这些索引已经超过了数组的大小，所以我们在使用这些索引值的时候需要保证是有效的索引值。

最大堆

在最大堆中，父节点的值总是要大于（或者等于）其子节点的值。这意味下面的公式对数组中任意一个索引 i都成立

array[parent(i)] >= array[i]

公式

高度

树的高度是指从树的根节点到最低的业绩点所需要的步数
即：高度是指节点之间的边的最大值。
一个高度为h的堆有h+1层

如果一个堆有 n 个节点，那么它的高度是 h = floor(log2(n))。
这是因为我们总是要将这一层完全填满以后才会填充新的一层。上面的例子有 15 个节点，所以它的高度是 floor(log2(15)) = floor(3.91) = 3。

节点数

如果最下面的一层已经填满，那么那一层包含 2^h 个节点。

树中这一层以上所有的节点数目为 2^h - 1

运算

插入

存在最大堆，堆的数组是： [ 10, 7, 2, 5, 1 ]。

插入16到数组尾部，数组变为：[ 10, 7, 2, 5, 1, 16 ]

当前，堆属性不满足
恢复堆属性：

删除

存在最大堆

删除后的树：

取出数组的最后一个元素，将其放在树的顶部，再修复堆属性

删除任意节点

移除堆的元素会破坏最大堆或最小堆属性
将要删除的元素和最后一个元素交换