对于n个元素的关键字序列｛K1，K2，…，Kn｝，当且仅当满足Ki ≤ K2i且Ki ≤ K2i+1 (1 ( )是大顶堆。