浅析归并排序

最新推荐文章于 2024-07-23 22:06:37 发布

Arandot

最新推荐文章于 2024-07-23 22:06:37 发布

阅读量113

点赞数

分类专栏：算法基础文章标签：算法排序算法数据结构

本文链接：https://blog.csdn.net/Arandot/article/details/128222541

版权

算法基础专栏收录该内容

4 篇文章 0 订阅

订阅专栏

浅析归并排序

归并排序的思想

归并排序是一种采用了分治思想的算法。对于正在操作的区间，这个算法假定这个区间被分为左右两段，左段和右段都已经完成从小到大的排序，然后再利用双指针将两段已排序的数据进行合并。为了使左段右段都排好序，我们需要进行递归。

递归的 $\ case$ :区间中只有一个元素或没有元素，此时结束递归

直接利用双指针对数组进行修改会导致数据的丢失，故需要定义一个临时数组来存放已经从小到大归并好的数据，随后再把数据从这个临时数组复制到原数组中。

归并排序的模板、算法正确性和边界问题

两种模板

下面给出模板I：

const N = 1e5 + 10;
int 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, a = l, b = mid + 1;
	while (a <= mid && b <= r){
		if (q[a] <= q[b]){tmp[k++] = q[a++];}
		else {tmp[k++] = q[b++];}
	}
	while (a <= mid) {tmp[k++] = q[a++];}
	while (b <= r) {tmp[k++] = q[b++];}
	// 复制的过程
	for (int i = l, j = 0; i <= r; i++){
		q[i++] = tmp[j++];
	}
}

模板来自闫总。
按照算法导论上的思路，有另一种模板，其中在双指针部分有不同：
模板II

int tmp1[N];
int tmp2[N];
int j1 = 0, j2 = 0;
for (int i = l; i <= mid; i++){
	tmp1[j++] = q[i];
}
for (int i = mid + 1; i <= r; i++){
	tmp2[j++] = q[i];
}
// 放置两张哨兵牌
tmp1[j1] = 1e5 + 1;
tmp2[j2] = 1e5 + 1;
// 要求哨兵牌的值在排序数据范围之外
int a = 0, b = 0, k = 0;
while (a <= j1 || b <= j2){
	if (q[a] <= q[b]){tmp[k++] = tmp1[a++];}
	else {tmp[k++] = tmp2[b++];}
} 
// 这时候临时数组最后一张牌将会是一张哨兵牌，但是不要紧，复制时候不要复制过去就行（复制前r - l + 1个数据就好）
for (int i = l, j = 0; i <= r;){
	q[i++] = tmp[j++];
}

但这个方法肉眼可见的繁琐…所以还是尽量不要用了。

边界问题

（1）当int mid = (l + r) >> 1;时，不可以用merge_sort(q, l, mid - 1), merge_sort(q, mid, r)，因为这样定义的 $m i d$ 是下取整的，故而 $m i d$ 可以取到 $l$ （e.g. 当区间中只有两个数据，则 $m i d = l$ ）；
不过当int mid = (l + r + 1) >> 1（即上取整）时，我们是可以这么写的。但这时就不能写merge_sort(q, l, mid), merge_sort(q, mid + 1, r)因为 $m i d$ 可以取到 $r$ 。