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

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

证：堆的最后一个结点的索引为n，其父结点的索引就是，该父结点之后的结点必然是叶，否则它后面的第一个结点必有左子结点，且其索引为，这与题设矛盾。得证。