堆

堆是具有以下性质的完全二叉树：

1. 每个结点的值都大于或等于其左右孩子结点的值，称为大顶堆；

2. 每个结点的值都小于或等于其左右孩子结点的值，称为小顶堆。