• 堆是一个完全二叉树；
    • 堆中每一个节点的值都必须大于等于（或小于等于）其子树中每个节点的值。

    对于每个节点的值都大于等于子树中每个节点值的堆，我们叫做“大顶堆”。
    对于每个节点的值都小于等于子树中每个节点值的堆，我们叫做“小顶堆”。

    image.png
    其中第 1 个和第 2 个是大顶堆，第 3 个是小顶堆，第 4 个不是堆。