归并排序

转载：归并排序算法

基本思想

归并排序采用的是分治算法的思想，其中最重要的操作就是归并操作。

主要思想是，将数组平分为A，B两部分，分别将A,B两部分排好序，然后再合并，对A排序的时候，也是同样的思路，将A分为两份，同样先分别排序，再合并。一直递归下去，直到不能再分解为止。

网上看到一张图很好的解释了这个过程：

归并算法过程.png

再用动画展示一下这个过程：

 

归并过程动画.gif

归并过程

假设数组已经被分解成了两个有序的数组，这个时候就应该将这两个有序数组合并成一个新的有序数组。这个时候需要额外的存储空间来辅助这个归并过程（所以归并排序不是原地排序）。

下面来张图展示这个过程：

归并过程.png

代码实现--递归版

#include <iostream>
using namespace std;

// 主函数
template<typename T>
void mergeSort(T arr[], int n){
    __mergeSort( arr , 0 , n-1 );
}

// 递归函数
// 使用归并排序算法, 对arr[l...r]的范围进行排序
template<typename T>
void __mergeSort(T arr[], int l, int r){

    // 递归的终点 数组只剩一个元素的时候就可以停止了
    if( l >= r ){
        return;
    }

    int mid = l + (r-l) / 2;
    __mergeSort(arr, l, mid); //对左侧数组进行归并排序
    __mergeSort(arr, mid+1, r); //对右侧数组进行归并排序
    __merge(arr, l, mid, r);  //对左右两个有序数组进行归并
}

// 将arr[l...mid]和arr[mid+1...r]两部分进行归并
template<typename  T>
void __merge(T arr[], int l, int mid, int r){

    T *aux = new T[r-l+1]; //分配辅助空间， 大小为 r-l+1

    for( int i = l ; i <= r; i ++ )
        aux[i-l] = arr[i]; //将原数组的数据复制给aux(注意aux和arr的实际长度不一样)

    // 初始化，i指向左半部分的起始索引位置l；j指向右半部分起始索引位置mid+1
    int i = l, j = mid+1;
    for( int k = l ; k <= r; k ++ ){
        if( i > mid ){  // 如果左半部分元素已经全部处理完毕
            arr[k] = aux[j-l]; j ++; //直接将j指向的元素复制给arr[k]
        }
        else if( j > r ){  // 如果右半部分元素已经全部处理完毕
            arr[k] = aux[i-l]; i ++; //直接将i指向的元素复制给arr[k]
        }
        else if( aux[i-l] < aux[j-l] ) {  // 左半部分所指元素 < 右半部分所指元素
            arr[k] = aux[i-l]; i ++; //将i指向的元素复制给arr[k]
        }
        else{  // 左半部分所指元素 >= 右半部分所指元素
            arr[k] = aux[j-l]; j ++; //将j指向的元素复制给arr[k]
        }
    }

    delete[] aux; //主要要删除辅助空间！！！
}

结论

归并排序总的平均时间复杂度为O(nlogn)，最好，最坏，平均时间复杂度均为O(nlogn)。所以归并排序是稳定的排序算法，缺点是需要额外的存储空间（貌似也有原地归并排序，无需额外存储空间，待研究）。

参考

1. 图解排序算法(四)之归并排序
2. 慕课网算法课程

作者：StormZhu
链接：https://www.jianshu.com/p/c6969378e946