简述

归并排序与基于交换、选择等排序的思想不一样，“归并”的含义是将两个或两个以上的有序表组合成一个新的有序表。

算法思想

假定序列有n个记录，则可以将其看成是n个有序子序列，每个子序列的长度为1，然后两两合并，得到\(\lceil n/2 \rceil\)个长度为2或1的有序序列；再两两归并，······如此重复，直到合并成一个长度为n的有序表为止，这种方法被称为2-路归并排序。

故我们将整个算法分为两个部分，一个部分用来进行序列的归并，一个部分用来递归排序。归并的算法需要一个缓存数组，用来临时存放归并过程中的数据，归并过程中，每次从两个子序列中选择一个较小（或较大）的数放入缓存数组，需要注意的是，最后可能有部分子序列有剩余的元素，需要单独把这部分剩余元素置入缓存数组，最后再把缓存数组中的序列复制到原数组则完成归并。递归排序的算法使用两个边界数来划分递归的区间，每一趟划分都把序列划分为两个子序列，再对两个子序列分别排序，排序结束后，把两个子序列归并到一个序列中，完成一趟递归排序。

我们在这里使用了一个缓存数组，如果缓存数组在每一趟递归排序中分配，则每次递归排序的算法中需要进行缓存数组内存的分配与释放，反复多次，会造成较大的时间开销，故我们采用一次动态分配的数组作为缓存数组。

算法性能分析

• 空间效率：辅助空间需要n个单元，故空间复杂度为\(O(n)\)。
• 时间效率：每一趟归并的时间复杂度为\(O(n)\)，共需要\(\lceil log_2n \rceil\)趟归并，因此时间复杂度为\(O(nlog_2n)\)。
• 稳定性：merge函数不会改变大小相同的关键字相对次序，因此是一个稳定的算法。

C++实现

#include <iostream>
using namespace std;

// 归并两个子序列
void merge(int a[], int b[], int low, int mid, int high) {
    int i = low, j = mid + 1, k = low;
    while (i <= mid && j <= high) {
        if (a[i] <= a[j])       // 选取较小的元素放入
            b[k++] = a[i++];
        else
            b[k++] = a[j++];
    } 

    // 处理剩余元素
    while (i <= mid)
        b[k++] = a[i++];
    while (j <= high)
        b[k++] = a[j++];

    // 将缓存数组中的序列归还至原数组
    for (int i = low; i <= high; ++i)
        a[i] = b[i];
}

// 递归排序
void mSort(int a[], int b[], int low, int high) {
    if (low < high) {
        int mid = (low + high) / 2;
        mSort(a, b, low, mid);          // 递归排序子序列
        mSort(a, b, mid + 1, high);
        merge(a, b, low, mid, high);    // 合并两个子序列
    }
}

// 归并排序
void mergeSort(int a[], int n) {
    int* b = new int[n];        // 分配辅助空间内存
    mSort(a, b, 0, n - 1);
    delete[] b;
}

int main() {
    const int SIZE = 10;
    int a[SIZE] = { 0 };
    for (int i = 0; i < SIZE; ++i) {
        a[i] = rand() % 10;
        cout << a[i] << " ";
    }
    cout << "\n\n";

    mergeSort(a, SIZE);

    for (auto elem : a)
        cout << elem << " ";

    return 0;
}