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

最新推荐文章于 2024-03-16 00:34:15 发布

原创最新推荐文章于 2024-03-16 00:34:15 发布 · 5.1k 阅读

14 ·

CC 4.0 BY-SA版权

文章标签：

#算法

算法导论/数据结构专栏收录该内容

24 篇文章

订阅专栏

本文通过数学归纳法证明了在任一含n个元素的堆中，至多有ceiling(n/(2^(h+1)))个高度为h的节点，并且证明了二叉堆中以节点i为根的、大小为n的子树上，i节点的子树大小至多为2n/3。

本人做特殊整理。

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

问题：在任一含n个元素的堆中，至多有ceiling(n/(2^(h+1)))个(即 $\left \lceil \frac{n}{2^{h+1}} \right \rceil$ )高度为h的节点。

分析：

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

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

数学归纳法证明：

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

问题：二叉堆中以节点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。得证。

5 条评论

〇八〇 2024.01.16
“二叉堆为完全二叉树” 这是必要的条件吗
- 风云龙儿回复〇八〇 2024.01.16
  充分条件

辍之耕 2021.04.16
i节点子树大小的概念是什么
- 辍之耕回复风云龙儿 2021.04.20
  我也正在学习算法导论，现在是看懂了，很感谢你，你的文章给了我一个指引
- 风云龙儿回复辍之耕 2021.04.20
  “i节点子树大小”摘自算法导论6.2节《保持堆的性质》。表示以索引i为根的子树大小（树大小表示树中节点的总个数）。该章节中，有这样一句话，“i结点的子树大小至多为2n/3”, 文中给出这句话的证明。二叉堆肯定是完全二叉树，而完全二叉树都具有该性质。