#include <stdio.h>
#include <assert.h>
void swap(int *a, int *b)
{
int c;
c = *a;
*a = *b;
*b = c;
}
void set_sorted_value(int array[], int length)
{
int index = length;
if(length <= 1)
return;
while(index > 1)
{
if(array[index >> 1] >= array[index])
break;
swap(&(array[index >> 1]), &array[index]);
index >>= 1;
}
}
void construct_heap(int array[], int length)
{
int index = 1;
for(index = 1; index <= length; index ++)
{
set_sorted_value(array, index);
}
}
void _heap_sort(int array[], int length)
{
int index;
construct_heap(array, length);
for(index = length; index > 1; index --)
{
swap(&array[1], &array[index]);
construct_heap(array, index - 1);
}
}
void heap_sort(int array[], int length)
{
assert(NULL != array && 0 != length);
_heap_sort(array - 1, length);
}
void test()
{
int i;
int array[10] = {1,3,4,5,8,6,7,9,0,2};
heap_sort(array, 10);
for(i = 0; i < 10; i ++)
{
printf("%d, ", array[i]);
}
printf("
");
}
void test2()
{
int i;
int array[6] = {16,7,3,20,17,8};
heap_sort(array, 6);
for(i = 0; i < 6; i ++)
{
printf("%d, ", array[i]);
}
printf("
");
}
int main()
{
test();
}
http://www.cnblogs.com/dolphin0520/archive/2011/10/06/2199741.html
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[]={16,7,3,20,17,8}，对其进行堆排序。
首先根据该数组元素构建一个完全二叉树，得到
20和16交换后导致16不满足堆的性质，因此需重新调整
这样就得到了初始堆。
此时3位于堆顶不满堆的性质，则需调整继续调整
