《算法导论》p75的最后一段话讲到: 当MAX-HEAPIFY作用在一棵以结点i为根的、大小为n的子树上时……………i结点的子树大小至多为2n/3(最坏情况发生在最低层恰好半满的时候)………. 为什么子树大小至多为2n/3? 思索N久: n0+n1+n2=n (1) n1+2n2+1=n (2) 由(1),(2)得, n0=n2+1,因为二叉堆是完全二叉树,且最后一层半满,即n1=0,得: n0=(n+1)/2 则最后一层为x,倒数第二层的叶子结点为x/2: x+x/2=n0=>x=(n+1)/3 所以子树大小至多为 (x+n-1)/2=((n+1)/3+n-1)/2=(2n-1)/3<=2n/3