数据结构--归并排序（复习）

对于归并排序而言，最基本的类型是2-路归并，具体来说就是将待排序序列中前后两个相邻的有序序列归并为一个有序序列，注意，这里的两个序列都需要是有序的，两个无序的序列是无法归并的。但是很多时候待排序的数组中并没有现成的两个有序子数组供归并排序，这时候就需要人为制造局部有序的数组，在数组的每一个小区间都人为制造出有序数组，就可以从局部到整体，积少成多的将整个数组变为有序，这就是归并排序的思路。

注：按照归并排序的思路，对于两个有序数组而言，如果直接将元素插入到它在排序后应该在的位置上，那势必会覆盖掉原来的元素，因此在使用归并排序时，需要额外申请一块空间，将数组中的元素按顺序放到新申请的空间后，在将新空间中的元素原封不动的拷贝回原数组。因此归并排序的空间复杂度较高，这时它的缺点。

1，用递归方法实现归并排序：递归的上楼阶段是将数组分割为一个一个的小数组，直到每一个小数组中都只有一个元素为止（由于归并排序要求两个待排序的小数组需要有序，而待处理的数组是无序的，但是，一个元素组成的数组一定是有序的，因此我只需要保证将数组分割成一个一个的只有一个元素的小数组即可，这也就是为什么当right=left时需要return）。而下坡阶段则是将分割好的数组两两一组按照归并排序的方式进行合并。

这里需要注意的一点是，每一次局部排序完成时，都需要将排好序的元素依次拷贝到tmp数组中，在局部排序完成后，再将tmp中的数据有多少算多少，有一个算一个拷贝到原数组中（替换掉原来的元素，因为原来的元素是无序的，不再需要了），保存排序成果的同时为下一次排序做好准备。

void _MergeSort(int* a, int left, int right, int* tmp)
{
	if (left >= right)
	{
		return;
	}

	int mid = (left + right) / 2;
	// [left, mid] [mid+1, right] 有序
	_MergeSort(a, left, mid, tmp);
	_MergeSort(a, mid + 1, right, tmp);//只有当这两个递归中的函数都到达left>=right的情况时，才会retrun，亦即在这之后才会有_MergeSort函数向下运行到下面的代码，
	//对于这两行递归的代码而言，当第一行的return发生后，才会开始执行递归的第二行代码，当两行代码都return时，此时的left均等于right,亦即每一个小数组中都只有一个元素，
	//而一个元素一定有序，这就人为实现了归并排序的条件，从而可以将两个元素排好序，依此类推，依据两行递归下面的代码，可以依次按照归并排序的思维将两个有序的数组合并成一个
	//有序的数组

	int begin1 = left, end1 = mid;
	int begin2 = mid+1, end2 = right;
	int i = left;
	while (begin1 <= end1 && begin2 <= end2)//以下的三个while就是将待排序的两个小数组中的元素依次按从小到大的顺序放到tmp数组中
	{
		if (a[begin1] < a[begin2])//数值小的元素先放进去，放进去元素的那个小数组在这之后下标向后挪动一位，以便下一个元素参与到比较中
		{
			tmp[i++] = a[begin1++];
		}
		else
		{
			tmp[i++] = a[begin2++];
		}
	}

	while (begin1 <= end1)//当begin2 <= end2的条件不满足时，亦即第二个小数组中的元素已经全部放到tmp数组当中去了，这时就将第一个数组中的元素依次放到tmp数组中即可
	{
		tmp[i++] = a[begin1++];
	}

	while (begin2 <= end2)//该while循环同理
	{
		tmp[i++] = a[begin2++];
	}

	// tmp 数组拷贝回a，以便于下一次更大的小有序数组的归并（把之前排序的成果保存起来）
	for (int j = left; j <= right; ++j)
	{
		a[j] = tmp[j];
	}
}

void MergeSort(int* a, int n)
{
	int* tmp = (int*)malloc(sizeof(int)*n);
	if (tmp == NULL)
	{
		printf("malloc fail\n");
		exit(-1);
	}

	_MergeSort(a, 0, n - 1, tmp);

	free(tmp);
	tmp = NULL;//tmp的使命完成了，由于tmp是由mallloc申请的，这块空间不会自动释放，所以在程序结束之前需要专门释放该空间
}

2，用非递归方式实现归并排序：由于递归方法的实质是将数组分割成适合归并排序的由一个元素组成的必然有序的小数组，因此这也会是非递归的实现方式。非递归的思路不同于递归之处在于非递归直接在数组上进行划分，第一次将数组分割成若干个只有一个元素的小数组，并将这些数组两两一组排好序，保存好排序结果之后开始第二次循环。第二次循环则是两两一组，然后再次用归并排序的方式进行排序，不断倍增小数组中元素的数量，直到整个数组都被排好序为止。

void MergeSortNonR(int* a, int n)
{
	int* tmp = (int*)malloc(sizeof(int)*n);
	if (tmp == NULL)
	{
		printf("malloc fail\n");
		exit(-1);
	}

	int gap = 1;
	while (gap < n)
	{
		for (int i = 0; i < n; i += 2 * gap)
		{
			// [i,i+gap-1] [i+gap,i+2*gap-1]
			int begin1 = i, end1 = i + gap - 1;
			int begin2 = i + gap, end2 = i + 2 * gap - 1;

			// 核心思想：end1、begin2、end2都有可能越界
			// end1越界 或者 begin2 越界都不需要归并
			if (end1 >= n || begin2 >= n)
			{
				break;
			}
			
			// end2 越界，需要归并，修正end2
			if (end2 >= n)
			{
				end2 = n- 1;
			}

			int index = i;
			while (begin1 <= end1 && begin2 <= end2)//这三个while和归并的程序中的三个while完全相同，都是将两个有序的数组合并成一个有序数组的方法
			{
				if (a[begin1] < a[begin2])
				{
					tmp[index++] = a[begin1++];
				}
				else
				{
					tmp[index++] = a[begin2++];
				}
			}

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

			while (begin2 <= end2)
			{
				tmp[index++] = a[begin2++];
			}
			//以上的三个while将数组中的局部元素排成有序并存放到数组tmp中
			//这个for循环则是把存放在tmp中的局部排序的数组拷贝回a数组中，保存过去排序的成果，以便下一次继续排序
			for (int j = i; j <= end2; ++j)
			{
				a[j] = tmp[j];
			}
		}

		gap *= 2;//gap扩大二倍，以便下一循环的排序
	}

	free(tmp);
	tmp = NULL;
}