看图轻松理解最小(大)堆

前言

推出一个新系列，《看图轻松理解数据结构和算法》，主要使用图片来描述常见的数据结构和算法，轻松阅读并理解掌握。本系列包括各种堆、各种队列、各种列表、各种树、各种图、各种排序等等几十篇的样子。

最小(大)堆

最小(大)堆是一颗完全二叉树，该树中的某个节点的值总是不大于(不小于)其左右子节点的值。可以通过下图理解，另外，为什么会使用数组来保存呢？因为利用完全二叉树的性质，我们可以通过数组来表示完全二叉树(数组下标与完全二叉树节点存在映射关系，比如父节点可以通过Math.floor((index-1)/2)来获取)，从而简化了实现及开销，避免使用额外的指针来实现树结构。

最小(大)堆性质

• 树根节点的值是所有堆节点值中最小(大)值。
• 树中每个节点的子树也都是最小(大)堆。

最小(大)堆作用

最小(大)堆能保证堆顶元素为最小，而如果使用数组无法达到该效果。数组如果要访问最小值则需要遍历查找最小值，时间复杂度至少O(n)。而最小堆访问最小值时间复杂度为O(1)，当然天底下没有免费的午餐，我们需要做额外的工作去维护最小(大)堆的结构，这也是需要复杂度花销的。

当然这也是最小(大)堆的优势，通过动态维护使得最小值的获取代价很小，实际上维护的时间复杂度为O(logN)。而数组则无法做到如此，如果数组