算法导论第三版习题6.1

6.1-1

最多的情况是高度为$h$的完全二叉树，元素一共有

$$N_{max}=\sum_{i=0}^h2^i=2^{h+1}-1$$
最少的情况是高度为0的这一层的叶子只有一个，元素一共有

$$N_{min}=\sum_{i=0}^{h-1}2^i+1=2^h$$

6.1-2

由题6.1-1可知，高度为$\lfloor lgn\rfloor$的堆元素最多的情况下，元素数量为

$$\begin{align} N_{max}&=2^{\lfloor lgn\rfloor+1}-1\\ &\gt2^{lgn}-1\\ &=n-1\\ &\ge n \end{align}$$
元素最少的情况下，元素数量为
$$\begin{align} N_{min}&=2^{\lfloor lgn\rfloor}\\ &\le2^{lgn}\\ &=n \end{align}$$
故高度为$\lfloor lgn\rfloor$的堆，元素最多的时候比$n$多，元素最少的时候比$n$少，所以可知含$n$个元素的堆高度应该为$\lfloor lgn\rfloor$

6.1-3

显然可知。。。

6.1-4

在任意一个叶子上

6.1-5

显然是的，由于在堆中父节点始终在孩子节点的左边，因为数组已经排序好，故所有的父节点都小于或等于孩子节点，所以是一个最小堆

6.1-6

不是，因为索引为4的元素，其右边孩子的索引为$RIGHT(4)=2*4+1=9$，而第4个元素为6，第9个元素为7，孩子节点元素大于根节点元素，故不是最大堆

6.1-7

首先我们可以来看看索引为$\lfloor n/2\rfloor$的节点是否有孩子节点，若有其左孩子节点索引应该为

$$LEFT(\lfloor n/2\rfloor)=2\cdot \lfloor n/2 \rfloor\le n$$ 故其存在左孩子节点，不是叶子结点。
然后当索引$i\ge\lfloor n/2\rfloor+1\gt n/2$时，
$$LEFT(i)=2i\gt n$$ 故叶子节点的下标是$\lfloor n/2\rfloor+1,\lfloor n/2\rfloor+2,\cdots,n$