【排序】归并排序算法

特别说明：

    对于算法，重在理解其思想、解决问题的方法，思路。因此，以下内容全都假定待排序序列的存储结构为：顺序存储结构。

归并排序算法介绍

    归并排序算法主要是将两个有序的序列合并成一个更大些的有序序列。因此归并排序算法要有个归并操作(这也是其核心操作)。归并操作，总是将两个相邻的有序序列进行合并，直至整个待排序序列最终有序。该算法与快速排序算法类似，也是采用分治思想，将待排序序列每次折半拆分(折半拆分的终止条件为当序列的元素个数为1个时停止)，分别进行归并处理。在每一趟的归并操作过程中，都并非原地执行，而是需要(与待排序序列一样大小的额外)辅助空间进行的。因此，归并排序的空间复杂度为 。另外，在具体实现上，归并排序可以使用递归实现，也可以使用非递归实现。

归并排序算法(递归法)思想

    假设待排序序列为 ，则归并排序算法描述为：

    01.刚开始时，每个元素当成一个有序序列，执行 02 步骤；

    02.将序列相邻两个元素进行归并操作，完成后整个  被划分成  个有序序列，且每个序列元素个数为 2 个或 1 个；

    03.重复 02 步骤，进行归并操作，直至整个待排序序列有序为止。(注意：每经过一次 02 步骤的归并操作后，有序序列的元素个数都增加一倍)；

归并操作

    归并操作是整个排序算法的关键操作，需要申请额外辅助空间 。假设两个领的有序序列分别为  与 ，则可以设置3个标记，标记  指向  中当前待(归并)处理的元素位置，标记  指向  中当前待(归并)处理的元素位置，标记  指当向  的当前可填入元素位置。只要  < 且  < ，就将  与  中较小者拷贝到 ，然后  =  + 1 ，同时  ， 中较小者也加 1。最后，将  与  中仍剩余的元素一并拷贝到辅助空间  中  之后空间上，到此一趟归并操作完成。

    设额外申请的辅助空间为 ，则归并操作描述如下：

    01.设置标记  = ； =  + 1； = ；

        02.如果  < 且  < ，则执行 03 步骤，否则执行 04 步骤；

        03.如果  < ，则执行  = ； =  + 1； =  + 1，跳转并执行 02 步骤；

            如果   ，则执行  = ； =  + 1； =  + 1，跳转并执行 02 步骤；

    04.如果  < ，则将  按顺序拷贝到  及之后的空间中；

    05.如果  < ，则将   按顺序拷贝到  及之后的空间中；

归并排序算法编码实现参考

    说明：此处实现的是递归版本。

// 
// summary     : 归并排序的合并操作.(即:将两个相邻的有序子序列合并为一个大的有序序列)
// in param    : seqlist 待排序列表.同时也是排完序列表.
// in param    : helplist 辅助空间序列.
// in param    : nLow 待合并的相邻有序子序列(序列1)的低端.
// in param    : nMid 待合并的相邻有序子序列(序列1)的高端,同时 nMid + 1 也是相邻有序子序列(序列2)的低端.
// in param    : nHigh 待合并的相邻有序子序列(序列2)的高端.
// out param   : --
// return      : --
// !!!note       : 01.以下实现均假设一切输入数据都合法.即:内部不对参数全法性进行校验,默认它们全都合法有效.
void merge_part(int seqlist[/*nLen*/], int helplist[/*nLen*/], const int nLow, const int nMid, const int nHigh) {
    auto helpIndex = nLow;
    auto lowIndex  = nLow;
    auto highIndex = nMid + 1;
    while (lowIndex <= nMid && highIndex <= nHigh) {
        helplist[helpIndex++] = seqlist[lowIndex] < seqlist[highIndex] ? seqlist[lowIndex++] : seqlist[highIndex++];
    }
    for (; lowIndex <= nMid; ++lowIndex, ++helpIndex) {
        helplist[helpIndex] = seqlist[lowIndex];
    }
    for (; highIndex <= nHigh; ++highIndex, ++helpIndex) {
        helplist[helpIndex] = seqlist[highIndex];
    }
    for (helpIndex = nLow; helpIndex <= nHigh; ++helpIndex) {
        seqlist[helpIndex] = helplist[helpIndex];
    }
}

// 
// summary     : 归并排序算法实现.
// in param    : seqlist 待排序列表.同时也是排完序列表.
// in param    : helplist 辅助空间列表.
// in param    : nLow 待排序序列的低端.
// in param    : nHigh 待排序序列的高端.
// out param   : --
// return      : --
// !!!note       : 01.以下实现均假设一切输入数据都合法.即:内部不对参数全法性进行校验,默认它们全都合法有效.
//               02.排序开始前 seqlist 是无序的,排序结束后 seqlist 是有序的.
void m_sort_recursive(int seqlist[/*nLen*/], int helplist[/*nLen*/], const int nLow, const int nHigh) {
    if (nLow == nHigh) {
        helplist[nLow] = seqlist[nLow];
    } else if (nLow < nHigh) {
        const auto nMid = (nLow + nHigh) >> 1;
        m_sort_recursive(seqlist, helplist, nLow, nMid);
        m_sort_recursive(seqlist, helplist, nMid + 1, nHigh);
        merge_part(helplist, seqlist, nLow, nMid, nHigh);
    }
}

// 
// summary     : 归并排序算法实现.(对外提供,其实功能与m_sort()是完全一样的,只是该接口方便使用)
// in param    : seqlist 待排序列表.同时也是排完序列表.
// in param    : nLen 列表长度
// out param   : --
// return      : --
// !!!note       : 01.以下实现均假设一切输入数据都合法.即:内部不对参数全法性进行校验,默认它们全都合法有效.
//               02.排序开始前 seqlist 是无序的,排序结束后 seqlist 是有序的.
void merge_sort_recursive(int seqlist[/*nLen*/], const int nLen) {
    int* helplist = new int[nLen];
    m_sort_recursive(seqlist, helplist, 0, nLen - 1);
    for (auto nIdx = 0; nIdx < nLen; ++nIdx) {
        seqlist[nIdx] = helplist[nIdx];
    }
    delete [] helplist;
}

归并排序算法分析

    前面已经讲过，归并排序算法的空间复杂度为 ，其时间复杂度为多少？由前面的算法思想可见(注意：前面的算法思想其实是二路归并排序思想)，该算法最终是形成一棵二叉树，且树的深度为 ，该树是自底向上建成的 (即：从树的叶子节点一直往树根方向生成整棵树)。当根节点生成时，则整个待排序序列就已经排好序，除根节点外的任何一个节点的数据元素量都为共父节点的一半。每个树节点执行归并操作的耗时都依赖于该节点的元素个数，每个节点操作的时间计为 ，因此，整个归并排序算法的时间为 ，该递归式的解为  (注：有不明白该解是如何来的，请查阅【排序】快速排序算法 文章介绍)。因此归并排序算法的时间复杂度为 。另外，归并排序算法是稳定排序算法排序算法。