动画 | 什么是二叉堆？

二叉堆的解释

（动态选择优先级最高的任务执行）

堆，又称为优先队列。虽然名为优先队列，但堆并不是队列。堆和队列是两种不同的数据结构，堆是树态的，队列是线性的。在队列中，我们可以向队列添加元素，取出的时候是按照进入队列的先后顺序取出元素的，先进先出；而在堆中，却不是按照元素添加的先后顺序，而是按照元素的优先级取出元素。

所以二叉堆是为了找出最大或最小而生的，“大”和“小”并不是传统意义上的小大，而是优先级的高低。二叉堆分为最大堆和最小堆，最大堆的顶点可以看作是优先级最高的也可以看作是优先级最低的，最小堆也是如此。

二叉堆是一种完全二叉树，因为完全二叉树的特性普遍使用数组结构是非常好用的，所以性注定了二叉堆的存储形式只能是数组或者动态数组（长度可变）。

二叉堆最主要的操作是两个，siftUp上浮和siftDown下沉，来保证二叉堆的性质：

1.父节点的键值总是优先于任何一个子节点的键值；

2.左右子树都是以一个二叉堆。

展示最大堆

用数组存储二叉堆，堆的顶点下标可以从0开始也可以从1开始。看上面图中，以self为参照物，self下标的变量为i：

parent(i) = (i - 1) / 2;
leftChild(i) = 2 * i + 1；
rightChild(i) = leftChild(i) + 1 = 2 * i + 2;

如果是堆顶下标从1开始：

parent(i) = i / 2;
leftChild = 2 * i;
rightChild = 2 * i + 1;

向堆中添加元素siftUp

二叉堆的节点添加，是在数组的最末尾插入新节点的，然后进行自下而上调整子节点和父节点，不满足二叉堆性质则交换，直到当前子树满足二叉堆的性质。如果可以为了减少交换次数的话，可以单向复制，使得添加的节点插入到合适的位置。

动画siftUp

算法动画视频 地址

Code：单向复制

Code：交换法

取出堆中最大的元素siftDown

取出堆中最大的元素其实是取出根节点，这个下沉的操作很有意思了。它有两方面的下沉：一方面是将根节点下沉到数组末尾，然后数组长度假象性减一下；另一方面是将交换后的根节点和左右子树的根节点作比较，不满足堆性质的则交换。

动画siftDown

算法动画视频 地址

Code：siftDown单向复制

Code：siftDown交换法

构建二叉堆

构建二叉堆其实是一个一个子树的下沉操作，将无序的完全二叉树调整为二叉堆。所以它必须从满足高度为2的子树根节点开始，即非叶子节点，然后自底向上对每一个子树执行siftDown操作，直到完成二叉堆化。

动画：构建二叉堆

算法动画视频 地址

Code

喜欢本文的朋友，微信搜索「算法无遗策」公众号，收看更多精彩的算法动画文章