堆

堆总是一棵完全树；堆中某个节点的值总是不大于或不小于其父节点的值。