介绍
堆就是用数组实现的完全二叉树,所以它没有使用父指针或者子指针。
堆根据“堆属性”来排序,“堆属性”决定了树中节点的位置。
属性
堆的根节点中存放的是最大或者最小元素,但是其他节点的排序顺序是未知的。
例如,在一个最大堆中,最大的那一个元素总是位于 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 ]
当前,堆属性不满足
恢复堆属性:
删除
存在最大堆
删除后的树:
取出数组的最后一个元素,将其放在树的顶部,再修复堆属性
删除任意节点
移除堆的元素会破坏最大堆或最小堆属性
将要删除的元素和最后一个元素交换