数据结构与算法C#版排序Sort（二）

5、堆排序(HeapSort)

在接触“堆排序”前，先回顾一下数据结构C#版笔记--树与二叉树 ，其中提到了“完全二叉树”有一些重要的数学特性：

上图就是一颗完全二叉树，如果每个节点按从上到下，从左至右标上序号，则可以用数组来实现顺性存储，同时其序号：

1、如果i>1，则序号为i的父结节序号为i/2(这里/指整除) 言外之意：整个数组前一半都是父节点，后一半则是叶节点

2、如果2*i<=n（这里n为整颗树的节点总数），则序号为i的左子节点序号为2*i

3、如果2*i +1 <=n，则序号为i的右子节点序号为2*i + 1

好了，再来看看"堆(Heap)"是个神马玩意儿？

其实，堆就是一颗完全二叉树，由上面的知识点回顾可以知道，任意给定一个数组，我们就能将它构造成一颗完全二叉树，也就是创建一个“堆”--ps：还好业内标准称它为一堆，而不是一坨 ：）

其中，堆又可以分为最大堆与最小堆，下图就是一个最大堆：

简言之：每个(父)节点的值，都比其子节点值大，这样的堆就称为最大堆；反过来类推，如果每个（父）节点的值，都比其子节点小，就叫最小堆。

下面该"堆排序"(HeapSort)登场了，其思路为：

1、先将给定待排序的数组通过一定处理，形成一个“最大堆”

2、然后将根节点(root)与最后一个序号的节点(lastNode)对换，这样值最大的根节点，就“沉”到所有节点最后了(也就是垫底了)，下轮处理就不用理会它了.

3、因为第2步的操作，剩下的这些节点肯定已经不满足最大堆的定义了(因为把小值的末节点换成根节点了，它的子节点中肯定会有值比它大的)，然后再类似第1步的处理，把这些剩下的节点重新排成“最大堆”

4、重复第2步的操作，将“新最大堆的根节点”与“新最大堆的末结点”(其实就是整个数组的倒数第二个节点，因为在第一轮处理中，最大值的节点已经沉到最后了，所以新最大堆的最末节点就是整个数组的倒数第二个节点)对换，这样第二大的元素也沉到适当的位置了，以后就不用理它了，然后继续把剩下的节点，重组成最大堆

5、反复以上过程，直到最后剩下的节点只剩一个为止（即没办法再继续重组成最大堆），这时排序结束，最后剩下的节点，肯定就是值最小的

假设给定数组new int[] {1,3,5,6,4,2}，要求用“堆排序算法”从小到大排序，上面的算法描述图解为：

理解以上思路后，堆排序就拆分成了二个问题：

A、如何将数组指定范围的N个元素创建一个"最大堆"？

B、如何用一定的算法，反复调用A中的"最大堆创建"方法，以处理剩下的节点，直到最终只剩一个元素为止

创建最大堆的算法，完全依赖于完全二叉树的数学特性，代码如下：

/// <summary>
/// 创建最大堆
/// </summary>
/// <param name="arr">待处理的数组</param>
/// <param name="low">指定连续待处理元素范围的下标下限</param>
/// <param name="high">指定连续待处理元素范围的下标上限</param>
static void CreateMaxHeap(int[] arr, int low, int high)
{
    if ((low < high) && (high <= arr.Length - 1))
    {
        int j = 0, k = 0, t = 0;
 
        //根据完全二叉树特性，前一半元素都是父节点，所以只需要遍历前一半即可
        for (int i = high / 2; i >= low; --i)
        {
            k = i;
            t = arr[i];//暂存当前节点值
            j = 2 * i + 1;//计算左节点下标(注意：数组下标是从0开始的，而完全二叉树的序号是从1开始的，所以这里的2*i+1是左子节点，而非右子节点！)                    
            while (j <= high) //如果左节点存在
            {
                //如果右节点也存在，且右节点更大
                if ((j < high) && (j + 1 <= high) && (arr[j] < arr[j + 1]))
                {
                    ++j;//将j值调整到右节点的序号，即经过该if判断后，j对应的元素就是i元素的左、右子节点中值最大的
                }
 
                //如果本身节点比子节点小
                if (t < arr[j])
                {
                    arr[k] = arr[j];//将自己节点的值，更新为左右子节点中最大的值
 
                    //然后保存左右子节点中最大元素的下标(因为实际上要做的是将最大子节点与自身进行值交换，
                    //上一步只完成了交换值的一部分，后面还会继续处理才能完成整个交换)
                    k = j;
                    j = 2 * k + 1;//交换后，j元素就是父节点了，然后重新以j元素为父节点，继续考量其"左子节点"，准备进入新一轮while循环
                }
                else //如果本身已经是最大值了，则说明元素i所对应的子树，已经是最大堆，则直接跳出循环
                {
                    break;
                }
            }
            //接上面的交换值操作，将最大子节点的元素值替换为t(因为最近的一次if语句中，k=j 了，
            //所以这里的arr[k]其实就是arr[j]=t，即完成了值交换的最后一步，
            //当然如果最近一次的if语句为false,根本没进入，则这时的k仍然是i，维持原值而已)
            arr[k] = t;
        }
    }
}

反复调用该算法排序的代码：

/// <summary>
/// 堆排序
/// </summary>
/// <param name="arr"></param>
static void HeapSort(int[] arr)
{
    int tmp = 0;
    //初始时，将整个数组排列成"初始最大堆"
    CreateMaxHeap(arr, 0, arr.Length - 1);
    for (int i = arr.Length - 1; i > 0; --i)
    {
        //将根节点与最末结点对换
        tmp = arr[0];
        arr[0] = arr[i];
        arr[i] = tmp;
        //去掉沉底的元素，剩下的元素重新排列成“最大堆”
        CreateMaxHeap(arr, 0, i - 1);
    }
}

6、归并排序算法（MergeSort）点评：这是一种思维方式很独特的排序方式，时间复杂度跟快速排序类似，也是跟二叉树有关，为O(Nlog2N)，同样它也是一种不稳定的排序。

思路：将数组中的每个元素看作一个小序列，然后二二合并成一个有序的新序列(这样序列个数从N变成了N/2，但是每个小序列的长度从1变成2)，然后继续将这些新序列二二合并，得到N/4个序列(每个序列的长度从2变成4)，如此反复，最终得到一个全部排列好的完整序列。这也是算法中"分治法"的经典案例之一，即分而治之。

这里反复要用到将二个序列合并为新序列的处理，封装成以下方法 ：

/// <summary>
/// 归并处理
/// </summary>
/// <param name="arr">需要归并处理的数组</param>
/// <param name="len">每段小序列的长度</param>
static void Merge(int[] arr, int len)
{
    int m = 0; //临时顺序表的起始位置
    int low1 = 0; //第1个有序表的起始位置
    int high1; //第1个有序表的结束位置
    int low2; //第2个有序表的起始位置
    int high2; //第2个有序表的结束位置
    int i = 0;
    int j = 0;
    //临时表，用于临时将两个有序表合并为一个有序表
    int[] tmp = new int[arr.Length];
 
    //归并处理
    while ((low1 + len) < arr.Length)
    {
        low2 = low1 + len; //第2个有序表的起始位置
        high1 = low2 - 1; //第1个有序表的结束位置
 
        //第2个有序表的结束位置
        high2 = ( (low2 + len - 1) < arr.Length) ? low2 + len - 1 : arr.Length - 1;
                         
        i = low1;
        j = low2;
 
        //如果二个有序表都还没整完
        while ((i <= high1) && (j <= high2))
        {
 
            if (arr[i] <= arr[j])//如果 第1个有序表的元素小于第2个有序表的对应元素，则直接复制第1个有序表的元素到临时表
            {
                tmp[m++] = arr[i++];
            }
            else//否则，复制第2个有序表的元素到临时表
            {
                tmp[m++] = arr[j++];
            }
        }
 
        //经过上面的处理后，如果第1个有序表还有元素
        while (i <= high1)
        {
            tmp[m++] = arr[i++];
        }
 
        //经过上面的处理后，如果第2个有序表还有元素
        while (j <= high2)
        {
            tmp[m++] = arr[j++];
        }
 
        low1 = high2 + 1;//将low1"指针"指到“处理完的2个有序表”之后，以方便下面将剩余未处理完的元素复制到临时表
    }
 
    i = low1;
 
    //将尚未处理到的元素复制到临时表
    while (i < arr.Length)
    {
        tmp[m++] = arr[i++];
    }
 
    //将临时表的元素复制到原数组
    for (i = 0; i < arr.Length; ++i)
    {
        arr[i] = tmp[i];
    }
}

排序处理：

 /// <summary>
    /// 归并排序
    /// </summary>
    /// <param name="arr"></param>
    static void MergeSort(int[] arr)
    {
        int k = 1; //归并增量
        while (k < arr.Length)
        {
            Merge(arr, k);
            k *= 2;
        }
    }
}

 点评：俩俩合并，又是跟2有关的，哈哈，计算机领域真的很2啊！所以其时间复杂度又是O(Nlog2N），但是该算法需要很多的临时数组，所以其空间复杂度较其它算法都要大一些为O(N)，此外它是稳定的排序方法。

排序方法小结：(原书的小结还算不错，就懒得自己再写了，直接从原电子书上copy过来记录下)

     排序在计算机程序设计中非常重要，上面介绍的各种排序方法各有优缺点，适用的场合也各不相同。

    在选择排序方法时应考虑的因素有：

   （1）待排序记录的数目 n 的大小；

   （2）记录本身除关键码外的其它信息量的大小；

   （3）关键码(即元素值)的情况；

   （4）对排序稳定性的要求；

   （5）语言工具的条件，辅助空间的大小等。

   综合考虑以上因素，可以得出如下结论：

   （1）若排序记录的数目 n 较小（如 n≤50）时，可采用直接插入排序或简单选择排序。由于直接插入排序所需的记录移动操作较简单选择排序多，因而当记录本身信息量较大时，用简单选择排序比较好。

   （2）若记录的初始状态已经按关键码基本有序，可采用直接插入排序或冒泡排序。

   （3）若排序记录的数目n较大，则可采用时间复杂度为O（nlog2n）的排序方法（如快速排序、堆排序或归并排序等）。

快速排序的平均性能最好，在待排序序列已经按关键码随机分布时，快速排序最适合。快速排序在最坏情况下的时间复杂度是O（n2），而堆排序在最坏情况下的时间复杂度不会发生变化，并且所需的辅助空间少于快速排序。但这两种排序方法都是不稳定的排序，若需要稳定的排序方法，则可采用归并排序。

   （4）前面讨论的排序算法，都是采用顺序存储结构。在待排序的记录非常多时，为避免花大量的时间进行记录的移动，可以采用链式存储结构。直接插入排序和归并排序都可以非常容易地在链表上实现，但快速排序和堆排序却很难在链表上实现。此时，可以提取关键码建立索引表，然后对索引表进行排序。也可以引入一个整形数组 t[n]作为辅助表，排序前令t[i]=i，1≤i≤n。若排序算法中要求交换记录 R[i]和 R[j]，则只须交换 t[i]和 t[j]即可。排序结束后，数组 t[n]就存放了记录之间的顺序关系