排序（9）——归并排序非递归版

最新推荐文章于 2024-08-30 15:21:38 发布

垂柳斜下茉莉雨

最新推荐文章于 2024-08-30 15:21:38 发布

阅读量344

点赞数 7

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

本文链接：https://blog.csdn.net/linxiaogua123/article/details/136723485

版权

数据结构专栏收录该内容

25 篇文章 0 订阅

订阅专栏

本文介绍了如何使用栈模拟非递归方式实现归并排序，特别关注了在处理大量数据的外部排序场景中遇到的越界问题以及时间复杂度分析。作者通过斐波那契数列的思想指导合并过程，展示了归并排序在内存和硬盘之间数据排序的应用。

摘要由CSDN通过智能技术生成

前面快排的非递归版我们用了栈来实现，这里我们还能用栈实现吗？

快速排序可以用栈

快速排序的递归：前序递归
快速排序的非递归：借用栈
快排没有最后回归的过程，所以栈空就意味着结束。

而归并排序不一样。

归并排序的递归：后序递归
归并排序的非递归：直接分解
归并排序回归需要处理，而借助栈模拟非递归，根本没有回归这个过程。

借助栈模拟非递归，比较适合前序，后序需要复杂处理是不适合的。

基本思路

利用斐波那契数列的思想
顺着走
一一合并，二二合并，四四合并...
每小组合并之后拷贝回原数组（❗不要在每大组合并完再去拷贝❗）
设置一个gap表示归并每组的数据个数
直接实行合并的过程。往回走

每一组

设置【begin1，end1】和【begin2，end2】，控制两个区间的序列的合并
注意第一组begin1=i end1=i+gap-1 gap表示归并每组的数据个数，最后-1是因为end1表示的是下标
第二组是begin2=i+gap end2=i+2*gap-1
i+=2*gap

整体

一一归，二二归，四四归通过一个循环进行控制，gap=gap*2
结束条件：gap< n

问题

最后会有越界？

合并的组数不一定都是2的次方倍，越界问题。（可以尝试打印区间来查看越界问题）

越界问题存在三种情况（begin1=i<n不会越界）

end1>=n（后面两个肯定越界，第一序列存在数，第二序列不存在数）break;
begin2>=n（end2肯定越界，第二序列不存在数）break;
end2>=n（可能第二序列区间还存在数）要修改处理为end2 = n - 1;

代码实现

void MergeSortNonR(int* a, int n)
{
	int* tmp = (int*)malloc(sizeof(int) * n);
	if (tmp == NULL)
	{
		perror("malloc fail");
		return;
	}

	int gap = 1;
	while (gap < n)
	{
		//printf("gap:%2d->", gap);
		for (size_t i = 0; i < n; i += 2 * gap)
		{
			int begin1 = i, end1 = i + gap - 1;
			int begin2 = i + gap, end2 = i + 2 * gap - 1;
			// [begin1, end1][begin2, end2] 归并
			//printf("[%2d,%2d][%2d, %2d] ", begin1, end1, begin2, end2);

			// 边界的处理
			if (end1 >= n || begin2 >= n)
			{
				break;
			}

			if (end2 >= n)
			{
				end2 = n - 1;
			}

			//printf("[%2d,%2d][%2d, %2d] ", begin1, end1, begin2, end2);

			int j = begin1;
			while (begin1 <= end1 && begin2 <= end2)
			{
				if (a[begin1] < a[begin2])
				{
					tmp[j++] = a[begin1++];
				}
				else
				{
					tmp[j++] = a[begin2++];
				}
			}

			while (begin1 <= end1)
			{
				tmp[j++] = a[begin1++];
			}

			while (begin2 <= end2)
			{
				tmp[j++] = a[begin2++];
			}

			memcpy(a + i, tmp + i, sizeof(int) * (end2 - i + 1));
		}

		//printf("\n");

		gap *= 2;
	}


	free(tmp);
}