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

本文详细阐述了如何证明一个具有n个节点的堆中任意节点i的子树大小最多不超过2n/3。通过分析堆的结构特性,特别是底层半满时左子树的最大情况,我们推导出了结论,并详细解释了满二叉树条件下节点总数与子树大小的关系。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

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

堆中结点数目为n,因为左树数目肯定大于等于右子树数目,所以底层半满时左子树最大(含结点数目最多)

假设高度为h的堆底层正好半满,此时左子树高度为0的结点数目为k个,则右子树中与左子树在同一层的结点数目也为k个(此时为空)(提醒:一个n个元素堆的高度为[lgn])

当对是满二叉树时,结点数目为n+k个,高度1-h之间有2^(h)-1个结点,高度0有2^(h) == 2k个结点,因此结点总数为2^h – 1 + 2^(h) = 4*k-1个结点(2*k = 2^(h))

可得:n+k = 4*k -1

n = 3*k – 1

左子树结点数目为:(n+k-1)/2 = (4*k-2)/2 = 2*k – 1 = 2*(n+1)/3 – 1 = (2*n-1)/3 < 2*n/3

因此结点i的子树大小至多为2*n/3


评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值