堆中i结点的子树大小至多为2n/3的证明

本人做特殊整理。

算法导论：6.2 保持堆的性质

 问题：在任一含n个元素的堆中，至多有ceiling(n/(2^(h+1)))个(即)高度为h的节点。

分析：

注意“高度为h的节点”的概念，是按照当前结点的子树决定的，而不是由整棵树决定，也就是所有的叶子结点的高度全部为0。

，如图所示，高度为1的节点有3个，分别为③，④，⑤。

数学归纳法证明：

（1）对于h=0， 即叶子结点的个数，由6.1-7习题可知，叶子结点的个数最多为,即初始化成立。
（2）假设h=x成立，即高度为x的结点最多有,
那么对于高度为h=x+1的结点应该为高度为x的父结点，所以高度为x+1的结点个数最多为.
命题得证。

问题：二叉堆中以节点i为根的、大小为n的子树上，i节点的子树大小至多为2n/3（最坏情况：底层恰好半满的时候），怎么证明？

证明：

二叉堆为完全二叉树，规定总size为n，要求根的左子树的最大size。（由于右子树size总是<=左子树size）。

那么显然，观察最底层节点数目为0, 1, 2...的情况，显然半满的时候左子树达到了最大。以下求此时左子树的大小：

设底层半满时节点数为x，则再加x个节点就是满树。

满树size=n + x = 2x * 2 - 1=4x-1 ①

可得n = 3x - 1，进而

x =（n+1)/3  ②。
满树时，左子树节点数 = (满树size - 1) / 2 ，代入① ②式，得到

 2x -1 = 2n/3 - 1/3 ＜ 2n / 3。得证。