堆排序（HeapSort）
(2008-07-30 10:43:52)
- 堆的介绍：堆是一种数组，但是以树的结构形式来看待它，如下标 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] .
- 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)
-
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 堆排序(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)
堆排序的图解过程如下：
|
