堆排序是利用堆的性質進行的一種選擇排序。下面先討論一下堆。
1.堆堆實際上是一棵完全二叉樹，其任何一非葉節點滿足性質：
key[i]<=key[2i+1]&&key[i]<=key[2i+2]或者key[i]>=key[2i+1]&&key>=key[2i+2]
即任何一非葉節點的關鍵字不大於或者不小於其左右孩子節點的關鍵字。
堆分為大頂堆和小頂堆，滿足key[i]>=key[2i+1]&&key>=key[2i+2]稱為大頂堆，滿足 key[i]<=key[2i+1]&&key[i]<=key[2i+2]稱為小頂堆。由上述性質可知大頂堆的堆頂的關鍵字肯定是所有關鍵字中最大的，小頂堆的堆頂的關鍵字是所有關鍵字中最小的。
2.堆排序的思想
利用大頂堆(小頂堆)堆頂記錄的是最大關鍵字(最小關鍵字)這一特性，使得每次從無序中選擇最大記錄(最小記錄)變得簡單。
其基本思想為(大頂堆)：
1)將初始待排序關鍵字序列(r1,r2....rn)構建成大頂堆，此堆為初始的無序區；
2)將堆頂元素r[1]與最後乙個元素r[n]交換，此時得到新的無序區(r1,r2,......rn-1)和新的有序區(rn),且滿足r[1,2...n-1]<=r[n];
3)由於交換後新的堆頂r[1]可能違反堆的性質，因此需要對當前無序區(r1,r2,......rn-1)調整為新堆，然後再次將r[1]與無序區最後乙個元素交換，得到新的無序區(r1,r2....rn-2)和新的有序區(rn-1,rn)。不斷重複此過程直到有序區的元素個數為n-1，則整個排序過程完成。
操作過程如下：
1)初始化堆：將r[1..n]構造為堆；
2)將當前無序區的堆頂元素r[1]同該區間的最後乙個記錄交換，然後將新的無序區調整為新的堆。
因此對於堆排序，最重要的兩個操作就是構造初始堆和調整堆，其實構造初始堆事實上也是調整堆的過程，只不過構造初始堆是對所有的非葉節點都進行調整。
下面舉例說明：
給定乙個整形陣列a=，對其進行堆排序。
首先根據該陣列元素構建乙個完全二叉樹，得到
然後需要構造初始堆，則從最後乙個非葉節點開始調整，調整過程如下：
即每次調整都是從父節點、左孩子節點、右孩子節點三者中選擇最大者跟父節點進行交換(交換之後可能造成被交換的孩子節點不滿足堆的性質，因此每次交換之後要重新對被交換的孩子節點進行調整)。有了初始堆之後就可以進行排序了。
這樣整個區間便已經有序了。
從上述過程可知，堆排序其實也是一種選擇排序，是一種樹形選擇排序。只不過直接選擇排序中，為了從r[1...n]中選擇最大記錄，需比較n-1次，然後從r[1...n-2]中選擇最大記錄需比較n-2次。事實上這n-2次比較中有很多已經在前面的n-1次比較中已經做過，而樹形選擇排序恰好利用樹形的特點儲存了部分前面的比較結果，因此可以減少比較次數。
對於n個關鍵字序列，最壞情況下每個節點需比較log2(n)次，因此其最壞情況下時間複雜度為nlogn。堆排序為不穩定排序，不適合記錄較少的排序。
測試程式
/*堆排序(大頂堆) 2011.9.14
*/ #include #includeusing
namespace std;
void heapadjust(int *a,int i,int size) //
調整堆
if(rchild<=size&&a[rchild]>a[max])
if(max!=i)
}
}void buildheap(int *a,int size) //
建立堆
} void heapsort(int *a,int size) //
堆排序
} int main(int argc, char *argv)
;int a[100];
int size;
while(scanf("
%d",&size)==1&&size>0)
堆排序 大根堆
include include using namespace std define max 100010 int heap max heap i 的孩子是 2 i 1 2 i 2 父親是 i 1 2 int heapsize 0 初始化堆的大小 void heapinsert int index ...
堆排序（大根堆 小根堆）
堆 堆實際上是一棵完全二叉樹，其任何一非葉節點滿足性質 key i key 2i 1 key i key 2i 2 或者key i key 2i 1 key key 2i 2 即任何一非葉節點的關鍵字不大於或者不小於其左右孩子節點的關鍵字。堆分為大頂堆和小頂堆，滿足key i key 2i 1 ke...
排序 堆排序 大根堆 大頂堆
1.小根堆 若根節點存在左子女則根節點的值小於左子女的值 若根節點存在右子女則根節點的值小於右子女的值。2.大根堆 若根節點存在左子女則根節點的值大於左子女的值 若根節點存在右子女則根節點的值大於右子女的值。3.結論 1 堆是一棵完全二叉樹 如果公有h層，那麼1 h 1層均滿，在h層連續缺失若干個右...