堆有序

當一顆二叉樹的每個結點都大於等於它的兩個子結點時，它被稱之為堆有序。相應地，在堆有序的二叉樹中，每個結點都小於等於它的父結點（如果有的話）。從任意結點向上，我們都能得到一列非遞減的元素；從任意結點向下，我們都能得到一列非遞增的元素。特別地：根結點是堆有序的二叉樹中最大的結點。