归并 排序

归并排序：

step1：

递归停止条件：if (l == r)，此时区间内只有一个数，那么就不用进行排序，return

step2：

确定分界点 mid = (l+r)>>1

step3：

递归处理左右两段，将分界点左右两段区间排列好

（将递归命令放在排序代码之前，能够保证每一层递归进行排序操作时，进行比较的两段区间内

的元素都是排好序的）

step4：

将 [l,mid] 区间内的元素和 [mid+1,r] 内的元素逐个进行比较，将较小的那个数（如果是 q[i] ）加入到 tmp 数组中，然后i指针向后移一位，将 q[i+1] 和 q[j] 继续比较

step5：

处理两端区间 [l,mid] 和 [mid+1,j] 中存在一个区间的数已经全部加入到 tmp 数组中的情况（如果这这个区间是 [mid+1,r] ），此时说明另一个区间剩下的数（ [i,mid] 内的数）一定比区间[mid+1,r] 中所有的数都大，那么直接将剩下的数 [i,mid] 中的数全部加入到 tmp 数组中

step6：

将 tmp 数组中的数赋给 q 数组（注意：这段被排序的区间在 q 数组的下标范围是 [l,r] ，在 tmp 数组中的下标范围是 [0,r-1] ）

题目如下：

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

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

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

输入格式

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

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

输出格式

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

数据范围

1≤n≤100000

代码如下：

#include<iostream>
#include<cstring>

using namespace std;

const int N = 100010;

int q[N];
int 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 i = l,j = mid+1;
    int k = 0,tmp[r-l+1];
    
    while(i<=mid && j<= r)//这里需要是<=，不然q[mid]无法和q[j]进行比较；或者是q[r]和q[i]无法比较大小
    {
        if (q[i] < q[j])
        tmp[k++] = q[i++];//将比较过后的较小的一个数加入到tmp数组中去
                          //等到将这个区间的所有都加入到tmp数组中后，tmp数组就是这个区间排过序后的结果
                          
        else if (q[i] >= q[j])
        tmp[k++] = q[j++];
    }
    
    while(i <= mid)
    tmp[k++] = q[i++];
    
    while(j<=r)
    tmp[k++] = q[j++];
    
    for (i = l,k = 0;i<=r;++k,++i)
    q[i] = tmp[k];//此时tmp数组中记录的就是q[l]到q[r]这个区间内排好序的结果
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.tie(0);
    
    cin >> n;
    for (int i = 0;i<n;++i)
    cin >> q[i];
    
    merge_sort(q,0,n-1);
    
    for (int i = 0;i<n;++i)
    cout << q[i] <<" ";
    
    return 0;
}

（1）首先要明确一点：merge_sort(q,l,r) 的作用是使 q 数组中下标范围在 [l,r] 之间的元素排序好

          （要带着这样的认识，才能理解递归处理分界点左右两边，使它们各自排列好） 

（2）为什么要先递归？

使分界点左右两边区间内的元素都排列好。

 （3）为什么是while(i<=mid && j <= r)，而不是while(i<mid && j < r)

因为指针 i 和指针 j 永远指向的是下一个要进行比较的元素，也就是说，当前 i 和 j 指向的数是还还没有比的数，因此如果 i< mid && j < r 的话，当 i = mid 或 j = r 时，循环就会退出，而 q[mid] 和 q[r] 还没有比较，因此需要让 i<= mid && j<= r ，这样就不会漏掉 q[mid] 和 q[r] 的比较

（4）为什么要for (int i = l,k = 0;i<=r;++k,++i)

因为这段进行排序的区间，在 q 数组中的下标范围是 [l,r]，而在 tmp 数组中的下标范围是 [0,r-l]，

所以需要将 q 数组的指针 i 初始化为 l ，将 tmp 数组的指针 k 初始化为 0