堆的基本知识

堆 是一种经过排序的完全二叉树，其中任一非终端节点的数据值均不大于（或不小于）其左孩子和右孩子节点的值。

二叉堆 是一种特殊的堆，二叉堆是完全二元树（二叉树）或者是近似完全二元树（二叉树）。二叉堆有两种：最大堆和最小堆。

最大堆 根结点的键值是所有堆结点键值中最大者，父结点的键值总是大于或等于任何一个子节点的键值。

最小堆 根结点的键值是所有堆结点键值中最小者，父结点的键值总是小于或等于任何一个子节点的键值。

最大-最小堆 是最大层和最小层交替出现的二叉树，即最大层结点的儿子属于最小层，最小层结点的儿子属于最大层。

以最大（小）层结点为根结点的子树保有最大（小）堆性质：根结点的键值为该子树结点键值中最大（小）项。