《算法导论》习题6.1-7答案

最新推荐文章于 2025-09-08 14:32:55 发布

原创最新推荐文章于 2025-09-08 14:32:55 发布 · 517 阅读

2 ·

本内容遵循CC 4.0 BY-SA版权协议

收录于

本文详细证明了在n元堆中，叶节点的索引范围为⌊n/2⌋+1到n。通过分析堆的最后一个结点及其父结点的特性，我们得出了这一结论。

证明：n元堆的叶是索引为⌊n / 2⌋+ 1, ⌊n / 2⌋+ 2, ... , n的结点。

证：堆的最后一个结点的索引为n，其父结点的索引就是 $\left \lfloor \frac{n}{2} \right \rfloor$ ，该父结点之后的结点必然是叶，否则它后面的第一个结点必有左子结点，且其索引为 $2 \left ( \left \lfloor \frac{n}{2} \right \rfloor+1 \right )\geq \left \lfloor n \right \rfloor+1> n$ ，这与题设矛盾。得证。