算法导论-第六章堆排序

• 堆：堆是一个数组，近似看作一个完全二叉树。
  length:可能具有得长度
  heap-size：堆存放的有效元素
  结点下标表示： 父亲结点：i/2(向下取整) LEEF: 2i RIGHT： 2i+1
  大部分情况，在堆排序中，我们建立的是最大堆，而最小堆我们常用于构造优先队列。

（补充知识点：[左移右移])(https://blog.csdn.net/u011240016/article/details/53573792)）
左移（<<）右移(>>)比单纯的乘除更快。 大部分左移1位相当于乘以2, 左移n位就是乘以2的n次方了

习题：
6.1-1：

6.1-2：（写对了，但是格式问题直接放答案了）

6.1-3
我的：如果存在一个子树，他的根结点值小于左孩子，则与最大堆的性质相反
答案：max-heap属性确保堆的子树中的最大元素位于子树的根。
6.1.-4
我的：叶子结点，emm
答案:假设所有元素都是不同的，则max-heap中的最小元素始终位于树的叶子中。
6.1-5
我的：是
答案：不一定是最小堆
（我简直傻了，排序可以小到大，也可以大到小）
6.1-6
no，有一颗子树6，5，7违背了性质
6.1-7
这个我一直只知道不知道证明嘻嘻
根据完全二叉树的性质：某节点下标为i（非根节点），其父节点的下标为floor(i/2)，最后一个结点下标为n，因此它的父节点的下标为floor(n/2)，所以从下标floor(n/2)+1开始到n都是叶节点。

• MAX-HEAPIFY:维护堆的性质
  每次改变一个结点，都会引起起子树的变化
  书上伪代码：
  
  代码实现：

  void MAXHEAPIFY(int A[],int length,int i)
   {
       int l,k,largest=0;
       l = 2 * i;
       k = 2 * i + 1;
       if(l <= length && A[l] > A[i])
           largest = l;
       else
           largest = i;
       if(k <= length && A[k] > A[largest])
           larges