判断序列是否为堆排序(序列是否为堆)

把这个序列看成一个数组型二叉树，二叉树的上层父节点的个数大于或小于下层左右子节点的个数，那么这个序列就可以看成一个堆。

当且仅当满足上述关系时，n个元素的序列{k1，k2，ki，…，kn}称为堆。

堆是计算机科学中一种特殊数据结构的通称。我们通常把heap看作一棵树的数组对象。

堆分为最大堆和最小堆，两者的区别在于节点的排序方式不同。在最大的堆中，父节点的值大于每个子节点的值。在最小堆中，父节点的值小于每个子节点的值，这是堆的属性，这个属性对堆中的每个节点都成立。根据这个属性，我们可以知道，最大堆中的最大值总是放在二叉树的根节点上，最小堆，根节点的值就是二叉树中的最小值。heap的属性特别有用，heap经常被用作优先级队列，因为“最重要”的元素可以被快速访问。

注意:最大或最小的元素放在堆的根节点中，但节点的顺序未知。唯一可以保证的是最小的元素是叶节点，但不确定是哪一个。