归并排序详解

一、定义

归并排序 (merge sort) 是一种 稳定的 基于分治比较的 高效的排序算法。

二、 性质

归并排序是 基于分治思想 将数组分段排序后合并。时间复杂度在最优、最坏与平均情况下均为 $\Theta (n\log n)$，空间复杂度为 $\Theta (n)$。

归并排序可以只使用 $\Theta (1)$的辅助空间，但为便捷通常使用与原数组等长的辅助数组，即 $\Theta (n)$。

三、步骤与实现

1，步骤

加入我们现在需要把 数组$a$ 中的元素按从小到大的顺序排序，我们要排序的区间为 $[l,r]$。

• 如果区间长度为 1 （$r-l+1=1$）就直接退出；否则将区间 $[l,r]$ 分为两个区间，$[l,mid]$ 和 $[mid+1,r]$，其中 $mid=(l+r)/2$
• 递归对这两个子区间进行归并排序
• 将两个 已经排好序的子区间 合并起来

所以在一开始，我们只需要对整个区间 $[1,n]$ 进行排序即可。

2.代码

// f 是待排序的数组
// temp 是辅助数组
void merge_sort(int l,int r){
    //如果区间[l,r] 只有一个元素，即 r - l + 1 == 1 , l == r 就直接返回
    if(l == r) return;
    
    //先递归的处理两个子区间
    int mid = l + r >> 1;
    merge_sort(l,mid);
    merge_sort(mid+1,r);
    
    //等到回溯的时候 再合并数组
    //此时 区间[l , mid] 和 区间[mid + 1 , r] 中的元素已经是有序的了
    //所以我们需要用两个指针 i 和 j，把这两个区间的元素，按从小到大的顺序放到辅助数组 temp 中
    int i = l,j = mid + 1,k = 0;
    while(i<=mid&&j<=r){
        if(f[i]<=f[j]) temp[k++] = f[i++];
        else temp[k++] = f[j++];
    }
    
    //可能会出现一个区间的元素用完了，另一个区间的还剩下一些元素，这样就直接将剩下的元素接到temp的后面
    while(i<=mid) temp[k++] = f[i++];
    while(j<=r) temp[k++] = f[j++];
    
    //最后将辅助数组 temp 中的，即两个区间合并好的元素，重新放回元素中，即 [l,r] 的位置上
    for(int i = l,j = 0;i <= r;i++,j++) f[i] = temp[j];
}

可以试试这道例题：排序

完整代码：

#include<iostream>
using namespace std;

const int N = 1e5+10;
int f[N],temp[N];

void merge_sort(int l,int r){
    if(l == r) return;
    int mid = l + r >> 1;
    merge_sort(l,mid);
    merge_sort(mid+1,r);
    
    int i = l,j = mid + 1,k = 0;
    while(i<=mid&&j<=r){
        if(f[i]<=f[j]) temp[k++] = f[i++];
        else temp[k++] = f[j++];
    }
    
    while(i<=mid) temp[k++] = f[i++];
    while(j<=r) temp[k++] = f[j++];
    for(int i = l,j = 0;i <= r;i++,j++) f[i] = temp[j];
}

int main(){
    int n;
    scanf("%d",&n);
    for(int i = 0;i < n;i++) scanf("%d",&f[i]);
    merge_sort(0,n-1);
    for(int i = 0;i < n;i++) printf("%d ",f[i]);
    return 0;
}