堆的定义:

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

    大顶堆:

    对于每个节点的值都大于等于子树中每个节点值的堆。

    小顶堆:

    对于每个节点的值都小于等于子树中每个节点值的堆。