归并排序递归与非递归实现

一、归并排序

1、归并排序递归实现

基本思想：归并排序是建立在归并操作上的一种有效的排序算法,该算法是采用分治法的一个非常典型的应用。将已有序的子序列合并，得到完全有序的序列,即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表。

代码实现:

void _MergeSort(int* a, int begin, int end, int* tmp)
{
	if (begin == end)
		return;
	int mid = (begin + end) / 2;
	_MergeSort(a, begin, mid, tmp);
	_MergeSort(a, mid+1, end, tmp);
	int begin1 = begin, end1 = mid;
	int begin2 = mid + 1, end2 = end;

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

// 归并排序递归实现
void MergeSort(int* a, int n)
{
	int tmp = (int*)malloc(sizeof(int)*n);
	_MergeSort(a, 0, n - 1, tmp);
}

运行结果如下:

2、归并排序非递归实现

归并从非递归的思想和递归其实是差不多的，只不过我们不用递归去控制，而是改用循环去控制，本质上还是通过区间去合并最终整个数组都有序，不过非递归我们需要注意的细节有很多。
代码实现:

// 归并排序非递归实现
void MergeSortNonR(int* a, int n)
{
	int gap = 1;
	int* tmp = (int*)malloc(sizeof(int)*n);
	while (gap<n)
	{
		for (int k = 0; k < n; k+=2*gap)
		{
			int begin1 = k, end1 = k+ gap - 1;
			int begin2 =k + gap, end2 = k + 2 * gap - 1;

			if (end1 >= n||begin2 >= n)
				break;
			if (end2 >= n)
				end2 = n - 1;
			int i = begin1;

			int begin = begin1, end = end2;
			while (begin1 <= end1&&begin2 <= end2)
			{
				if (a[begin1] <= a[begin2])
				{
					tmp[i++] = a[begin1++];
				}
				else
				{
					tmp[i++] = a[begin2++];
				}
			}
			while (begin1 <= end1)
			{
				tmp[i++] = a[begin1++];
			}
			while (begin2 <= end2)
			{
				tmp[i++] = a[begin2++];
			}
			for (int j = begin; j <= end; j++)
			{
				a[j] = tmp[j];
			}
		}
		gap *= 2;
	}
}

这里结合代码我给大家一步步分析，这里gap控制的是每次合并数据的个数，第一次gap==1就是一个一个数去合并，区间其实就是(0,0)(1,1)，(2,2)(3,3)以此类推，这里打印给大家看一下。

这里k每次都是加二倍的gap的意思其实是跳过一组区间，拿第一组区间举例子第一组区间为(0,0)(1,1)当它们完成了合并的时候，这一组区间其实就不需要进行合并了，这时+=2*gap其实就跳到了(2,2)(3,3)这组区间。
我们这里需要注意的是区间的控制，因为区间可能会越界，因为gap这里是一直乘2当数据的个数不是2的倍数的时候就会崩溃。

另外这里的begin1是不会越界的，因为begin1就是k当begin1>=n的时候其实就不会进入循环了。
运行结果如下:

归并排序的特性总结：

1. 归并的缺点在于需要O(N)的空间复杂度，归并排序的思考更多的是解决在磁盘中的外排序问题。
2. 时间复杂度：O(N*logN)
3. 空间复杂度：O(N)
4. 稳定性：稳定