堆排序（HeapSort）

1. 堆的介绍：堆是一种数组，但是以树的结构形式来看待它，如下标 i 节点的求解Parent和Children节点如下：
   

   PARENT(i)
      return ⌊i/2⌋
   
   
   LEFT(i)
      return 2i
   
   
   
   
   RIGHT(i)
      return 2i + 1
   

    堆分为MAX-堆和MIN-堆，
   MAX堆满足的条件为： A[PARENT(i)] ≥ A[i] ,
   MIN堆满足的条件为： A[PARENT(i)] ≤ A[i] .
   
2. MAX和MIN堆的维持：
   这里只对MAX堆，MIN对类似：数组A的LEFT(i) 和 RIGHT(i) 都是MAX堆，但可能A[ i ]可能小于它的Children节点，所以需要调整，调整伪代码如下：

   MAX-HEAPIFY(A, i)
    1 l ← LEFT(i)
    2 r ← RIGHT(i)
    3 if l ≤ heap-size[A] and A[l] > A[i]
    4    then largest ← l
    5    else largest ← i
    6 if r ≤ heap-size[A] and A[r] > A[largest]
    7    then largest ← r
    8 if largest ≠ i
    9    then exchange A[i] ↔ A[largest]
   10         MAX-HEAPIFY(A, largest)
   
   

3. MAX堆建立：
   BUILD-MAX-HEAP(A)
   1  heap-size[A] ← length[A]
   2  for i ← ⌊length[A]/2⌋ downto 1
   3       do MAX-HEAPIFY(A, i)
   
       如下面建立MAX过程：
   
   
   
   

4. 4 堆排序(HeapSort)
   首先是把一个给定的数组变成MAX堆，然后把根节点和堆的最后一个交换，堆的大小减1，再调整堆，
   这样下去，直到堆的大小为1：
   伪代码如下：
   HEAPSORT(A)
   1 BUILD-MAX-HEAP(A)
   2 for i ← length[A] downto 2
   3    do exchange A[1] ↔ A[i]
   4       heap-size[A] ← heap-size[A] - 1
   5       MAX-HEAPIFY(A, 1)
       
           
   堆排序的图解过程如下：