前言
归并排序采用“分治”思想,在一组待排序的数字中,从中间将数组断成两段,进行递归处理,处理完成后左右两段已经是有序的了,再将左右两段进行合并。即“先分后合”,将原问题分割为子问题,逐个解决后再合并,得到原问题的结果。
详解
假设有一个数组为 2 5 4 3 1 7
mid
为该数组的中点下标
我们以 mid
为界,将原数组分割为左右两段(将问题转换为子问题,即分治思想)
之后分别对左右两段进行递归处理,递归处理后,左右两段都已经是排好序的状态了
此时,我们定义一个临时数组 temp[]
,用来合拢后的结果
定义两个指针 i
与 j
,分别指向前段开头、后段开头
然后我们比较 q[i]
与 q[j]
的大小,把小的放入 temp[k]
,并移动指针
然后再对 q[i]
和 q[j]
进行比较,小的放入 temp[k]
再移动指针……以此类推,直到 i
或 j
有一个指针走到了末尾
此时再将左段和右段剩余的元素放入 temp[]
即可完成排序
代码模板
void merge_sort(int q[], int l, int r) {
if (l >= r) return; // 看左边界是否大于等于有边界,如果大于等于右边界,表明只有 1 个数或没有数
int mid = (l + r) / 2; // 中点下标,用于分段
merge_sort(q, l, mid);
merge_sort(q, mid + 1, r); // 递归处理左右两段
int temp[100010]; // 此处 temp[] 的长度可以跟 q[] 一致,也可以定义一个非常长的数组,不影响
int k = 0, i = l, j = mid + 1; // i 指向前段开头,j 指向后段开头
while (i <= mid && j <= r)
if (q[i] <= q[j]) temp[k++] = q[i++]; // 归并:把小的那个赋值给 temp[] ,再移动指针
else temp[k++] = q[j++];
while (i <= mid) temp[k++] = q[i++]; // 把左段剩余的元素放入 temp[]
while (j <= r) temp[k++] = q[j++]; // 把右段剩余的元素放入 temp[]
for (i = l, j = 0; i <= r; i++, j++) q[i] = temp[j]; // 将 temp[] 赋值回去给 q[],完成排序。注意此处的条件是小于等于
}