归并排序模板

---

前言

归并排序模板

---

一、归并排序模板

//这里为需要背诵的部分，要求：给一个相关题目，能快速写出该模板并调试通过。
//归并排序
void merge_sort(int q[], int l, int r)
{
    //递归出口
    if (l >= r) return;
    
    //第一步，分成两个子区间
    int mid =  l + r >> 1;
    
    //第二部，递归处理子区间
    //要注意这里用的mid和mid+1来划分两区间，建议不要用mid-1和mid来划分
    merge_sort(q, l, mid);
    merge_sort(q, mid + 1, r);
    
    //第三步，合并排序好的子区间
    //tips：k为temp下标，i和j为两个子区间起始位置
    int k = 0, i = l, j = mid + 1;
    //排序好的两边取大小，暂存数组temp挑小的取
    while (i <= mid && j <= r) 
    {
        if (q[i] <= q[j]) temp[k++] = q[i++];
        else temp[k++] = q[j++];
    }
    //很可能存在有一子区间没有比较完，由于该区间是排好序的，后面的没比较完，说明都是最大的，直接往temp后面加即可。
    while (i <= mid) temp[k++] = q[i++];
    while (j <= r) temp[k++] = q[j++];
    //在[l, r]范围中，将temp数组存的有序值赋给q数组完排序，注意<=r的等号不要漏
    for (int i = l, j =0; i <= r; i++, j++) q[i] = temp[j];
}

二、归并排序模板题

1.题目要求

给定你一个长度为 n 的整数数列。

请你使用归并排序对这个数列按照从小到大进行排序。

并将排好序的数列按顺序输出。

输入格式
输入共两行，第一行包含整数 n。

第二行包含 n 个整数（所有整数均在 1∼109 范围内），表示整个数列。

输出格式
输出共一行，包含 n 个整数，表示排好序的数列。

数据范围
1≤n≤100000
输入样例：
5
3 1 2 4 5
输出样例：
1 2 3 4 5

2.题解

代码如下（示例）：

#include <iostream>

using namespace std;

const int N = 1e5 + 10;

int a[N], tmp[N];

void merge_sort(int q[], int l, int r)
{
    if (l >= r) return;

    int mid = l + r >> 1;

    merge_sort(q, l, mid), merge_sort(q, mid + 1, r);

    int k = 0, i = l, j = mid + 1;
    while (i <= mid && j <= r)
        if (q[i] <= q[j]) tmp[k ++ ] = q[i ++ ];
        else tmp[k ++ ] = q[j ++ ];
    while (i <= mid) tmp[k ++ ] = q[i ++ ];
    while (j <= r) tmp[k ++ ] = q[j ++ ];

    for (i = l, j = 0; i <= r; i ++, j ++ ) q[i] = tmp[j];
}

int main()
{
    int n;
    scanf("%d", &n);
    for (int i = 0; i < n; i ++ ) scanf("%d", &a[i]);

    merge_sort(a, 0, n - 1);

    for (int i = 0; i < n; i ++ ) printf("%d ", a[i]);

    return 0;
}

---

总结

具体内容见代码注释，补充内容如下：
1、为什么不用 mid - 1 作为分隔线呢？
即 merge_sort(q, l, mid - 1 ), merge_sort(q, mid, r)，因为 mid = l + r >> 1 是向下取整，mid 有可能取到 l (数组只有两个数时)，造成无限划分，比如l = 0,r = 1,求得mid = 0.
解决办法: mid 向上取整就可以了, 即 mid = l + r + 1 >> 1
了解就好，没必要这样，记住用mid和mid+1划分子区间即可。
2、为什么 用 mid 作为分隔线时不会造成无限划分呢
因为此时 mid 是向下取整的, merge_sort(q, l, mid ) 中的 mid 一定不会取到 r 值
∴ merge_sort(q, l, mid ) 不会无限划分
3、至于复杂度和稳定性这些知识，不考虑作为算法基础的重点，这些考研时也学过，比较简单需要学时再补充。