本人做特殊整理。
算法导论: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。得证。