证明:在任何元堆中最多有个高为的结点。
证:堆的最后一个结点的索引为n、高度为0,其父结点的索引为,此父结点必为最后一个高度为1的结点,否则它后面的第一个结点也将是高度为1的结点,且有索引为、高度为0的左子结点,这与题设矛盾。照此类推,最后一个高
证明:在任何元堆中最多有个高为的结点。
证:堆的最后一个结点的索引为n、高度为0,其父结点的索引为,此父结点必为最后一个高度为1的结点,否则它后面的第一个结点也将是高度为1的结点,且有索引为、高度为0的左子结点,这与题设矛盾。照此类推,最后一个高