常见的五类排序算法图解和实现（归并类：二路归并排序）

归并类的排序算法

归并：将两个或两个以上的有序表组合成一个新的有序表。

内部排序中，通常采用的是 2-路归并排序。即：将两个位置相邻的记录有序子序列归并为一个记录有序的序列。归并排序是建立在归并操作上的一种有效的排序算法。该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。

图解如下

看成是 n 个有序的子序列（长度为 1），然后两两归并。

得到 n/2 个长度为2 或 1 的有序子序列。继续亮亮归并

最后一趟

代码如下：

//二路一次归并过程的算法
//low为本次二路归并排序的第1有序区的第1个元素，i指向第1个元素, mid为第1有序区的最后1个元素
void merge(int List[], int low, int mid, int high)
{
    //mid+1为第2有序区第1个元素，mid为第1有序区的最后1个元素
    //i 指向第 1 有序区的第 1 个元素
    int i = low;
    //j 指向第 2 有序区的第 1 个元素，high 为第 2 有序区的最后一个元素
    int j = mid + 1;
    //temp数组暂存合并的有序序列
    int *temp = new int[high - low + 1];
    //设置临时数组的指示标志 k
    int k = 0;
    //内存分配失败
    if(!temp){
        cout<<"数组分配失败！";
        exit(0);
    }
    //顺序选取两个有序区的较小元素，存储到t数组中，因为是递增排序
    while(i <= mid && j <= high){
        //较小的元素，存入temp临时数组中
        if(List[i] <= List[j]){
            temp[k++] = List[i++];
        }else{
            temp[k++] = List[j++];
        }
    }// end of while
    //比完之后，假如第1个有序区仍有剩余，则直接全部复制到 temp 数组
    while(i <= mid){
        temp[k++] = List[i++];
    }
    //比完之后，假如第2个有序区还有剩余，则直接全部复制到 temp 数组
    while(j <= high){
        temp[k++] = List[j++];
    }
    //将排好序的序列，重存回到 list 中 low 到 high 区间
    for(i = low, k = 0; i <= high; i++, k++){
        List[i] = temp[k];
    }
    //delete [] 删除动态数组的内存
    delete []temp;
}

//递归实现二路归并排序（也就是分治法的思想）
void mergeSort(int List[], int low, int high)
{
    //二路归并排序，分为二路
    int mid = (low + high) / 2;
    //终止条件，low >= high， 不是while，且不含等号，否则死循环
    if(low < high)
    {
        //递归过程，二路归并排序递归过程
        mergeSort(List, low, mid);
        mergeSort(List, mid + 1, high);
        //归并
        merge(List, low, mid, high);
    }
}

int main(void)
{
    int source[7] = {49, 38, 65, 97, 76, 13, 27};
    
    mergeSort(source, 0, 6);
    
    for (int i = 0; i < 7; i++) {
        printf(" %d  ", source[i]);
    }
    
    return 0;
}

上述代码使用的是递归的方式，递归函数里，递归语句之前的语句和各级被调的递归函数执行顺序一致，而递归语句之后的语句和被调的递归函数执行顺序相反。这就是为什么 merge 函数要放在递归语句（两条递归语句）之后，因为是逆向执行的。联系二路归并排序的过程！！

还可以使用非递归的方式，代码如下：

//非递归算法实现二路归并排序，length代表数组长度，即数组最大下标是 legth - 1
void mergeSort(int List[],int length)
{
    //回忆图解的过程，二路归并算法的流程，不同于递归，递归是先递归语句，然后归并函数，这样归并函数是倒序执行（和递归函数执行顺序相反）
    int size = 1;
    int low;
    int mid;
    int high;
    //size 是标记当前各个归并序列的high-low，从1，2，4，8，……，2*size
    while(size <= length - 1)
    {
        //从第一个元素开始扫描，low代表第一个分割的序列的第一个元素
        low = 0;
        //当前的归并算法结束的条件
        while(low + size <= length - 1)
        {
            //mid代表第一个分割的序列的最后一个元素
            mid = low + size - 1;
            //high 代表第二个分割的序列的最后一个元素
            high = mid + size;
            //判断一下：如果第二个序列个数不足size个
            if(high > length - 1){
                //调整 high 为最后一个元素的下标即可
                high = length - 1;
            }
            //调用归并函数，进行分割的序列的分段排序
            merge(List, low, mid, high);
            //打印出每次归并的区间
            cout << "low:" << low << " mid:" << mid << " high:" << high << endl;
            //下一次归并时第一序列的第一个元素位置
            low = high + 1;
        }// end of while
        //范围扩大一倍，二路归并的过程
        size *= 2;
    }// end of while
}

二路归并排序算法分析

每趟归并的时间复杂度为O(n)，共需进行 log2 n 趟。

二路归并排序的时间复杂度：等于归并趟数与每一趟时间复杂度的乘积。时间复杂度为O(nlog2n)。

利用二路归并排序时，需要利用与待排序数组相同的辅助数组作临时单元，故该排序方法的空间复杂度为O(n)，比前面介绍的其它排序方法占用的空间大。

由于二路归并排序中，每两个有序表合并成一个有序表时，若分别在两个有序表中出现有相同排序码，则会使前一个有序表中相同排序码先复制，后一有序表中相同排序码后复制，从而保持它们的相对次序不会改变。所以，二路归并排序是一种稳定的排序方法。

归并的思想主要用于外部排序：

外部排序可分两步

①待排序记录分批读入内存，用某种方法在内存排序，组成有序的子文件，再按某种策略存入外存。

②子文件多路归并，成为较长有序子文件，再记入外存，如此反复，直到整个待排序文件有序。

外部排序可使用外存、磁带、磁盘，最初形成有序子文件长取决于内存所能提供排序区大小和最初排序策略，归并路数取决于所能提供排序的外部设备数。

欢迎关注

dashuai的博客是终身学习践行者，大厂程序员，且专注于工作经验、学习笔记的分享和日常吐槽，包括但不限于互联网行业，附带分享一些PDF电子书，资料，帮忙内推，欢迎拍砖！