一、堆排序的性质
堆又称二叉堆,是一个近似完全二叉树,最大堆性质是指除了根以外的所有节点i都要满足:A[parent(i)] >= A[i]
冒泡排序和插入排序都是不需要额外内存,但时间复杂度较高;归并排序的时间复杂度更小,但它需要额外的内存。而堆排序结合了两者的优点,能够做到既有归并排序的低时间复杂度,又有冒泡与插入的低空间复杂度。后面介绍的快速排序的性能一般高于堆排序,一般用于大数组排序。
最大堆的堆排序是从小到大,最小堆的堆排序是从大到小
维护堆的性质
函数MaxHeapify适用于维护最大堆性质的重要过程:
void MaxHeapify(int o)
{
int maxa = 0;
if (ls(o) <= n && a[ls(o)] > a[o])
maxa = ls(o);
else maxa = o;
if (rs(o) <= n && a[rs(o)] > a[maxa])
maxa = rs(o);
if (maxa != o)
{
int res = a[o];
a[o] = a[maxa];
a[maxa] = res;
MaxHeapify(maxa)