设有键值序列(k1,k2,…,kn),当i>n/2时,任何一个子序列(ki,ki+1,…,kn)一定是堆。
出自:计算机科学