C++-数据结构-归并排序

感谢skywang12345博主提供相关内容的借鉴，https://www.cnblogs.com/skywang12345/p/3602369.html

1、基本思想（自上而下）：

将两个的有序数列合并成一个有序数列，我们称之为"归并"。归并排序(Merge Sort)就是利用归并思想对数列进行排序。

2、工作过程（自上而下）（对照下图）：

a)如图所示的数组进入mergeSortUp2Down1函数，此时start=0，mid=3，end=7。

（由于使用了递归，因此在mergeSortUp2Down函数右方添加1意味着此为第一层函数）

b)再次进入mergeSortUp2Down1++，进入下一层，也就是mergeSortUp2Down2函数，此时start=0，mid=1，end=3。

（由于使用了递归，因此在mergeSortUp2Down函数里有两个mergeSortUp2Down函数，因此定义上方的函数为mergeSortUp2Down++，下方为mergeSortUp2Down1--）

c)再次进入mergeSortUp2Down2++ ，进入下一层，也就是mergeSortUp2Down3函数，此时start=0，mid=0，end=1。

d)再次进入mergeSortUp2Down3++，进入下一层，也就是mergeSortUp2Down4函数，由于start=mid=0，因此return，返回mergeSortUp2Down3++函数。

e)在mergeSortUp2Down3继续执行 mergeSortUp2Down3--，由于mid+1=end=1，进入下一层时会触发return条件，因此return。

f)在mergeSortUp2Down3继续执行merge函数，融合a[start...mid] 和 a[mid+1...end]，它们排序成一个有序空间a[start...end]，即a[0...1]。

g)执行完后，由于mergeSortUp2Down3函数执行完，因此跳到mergeSortUp2Down2执行mergeSortUp2Down2--。

h)同理分析，如同{（c）、（d）、（e）、（f）}一般，但start、mid、end数值发生改变，即mergeSortUp2Down2--执行完

i)跳到mergeSortUp2Down2执行merge函数，即融合a[0...1]和a[2...3]。

j)同样上述步骤融合a[4...7]，执行mergeSortUp2Down1--

k)执行mergeSortUp2Down1的merge函数，融合a[0...7]

3、基本思想（自下而上）：

将待排序的数列分成若干个长度为1的子数列，然后将这些数列两两合并；得到若干个长度为2的有序数列，再将这些数列两两合并；得到若干个长度为4的有序数列，再将它们两两合并；直接合并成一个数列为止。这样就得到了我们想要的排序结果。（自下而上）

4、工作过程（自下而上）：

通过"从下往上的归并排序"来对数组{80,30,60,40,20,10,50,70}进行排序时：
1. 将数组{80,30,60,40,20,10,50,70}看作由8个有序的子数组{80},{30},{60},{40},{20},{10},{50}和{70}组成。
2. 将这8个有序的子数列两两合并。得到4个有序的子树列{30,80},{40,60},{10,20}和{50,70}。
3. 将这4个有序的子数列两两合并。得到2个有序的子树列{30,40,60,80}和{10,20,50,70}。
4. 将这2个有序的子数列两两合并。得到1个有序的子树列{10,20,30,40,50,60,70,80}。

5、复杂度：

6、源代码：

#include <iostream>
using namespace std;

/*
* 将一个数组中的两个相邻有序区间合并成一个
*
* 参数说明：
*     a -- 包含两个有序区间的数组
*     start -- 第1个有序区间的起始地址。
*     mid   -- 第1个有序区间的结束地址。也是第2个有序区间的起始地址。
*     end   -- 第2个有序区间的结束地址。
*/
void merge(int* a, int start, int mid, int end)
{
	int *tmp = new int[end - start + 1];    // tmp是汇总2个有序区的临时区域
	int i = start;            // 第1个有序区的索引
	int j = mid + 1;        // 第2个有序区的索引
	int k = 0;                // 临时区域的索引

	while (i <= mid && j <= end)
	{
		if (a[i] <= a[j])
			tmp[k++] = a[i++];
		else
			tmp[k++] = a[j++];
	}

	while (i <= mid)
		tmp[k++] = a[i++];

	while (j <= end)
		tmp[k++] = a[j++];

	// 将排序后的元素，全部都整合到数组a中。
	for (i = 0; i < k; i++)
		a[start + i] = tmp[i];

	delete[] tmp;
}

/*
* 归并排序(从上往下)
*
* 参数说明：
*     a -- 待排序的数组
*     start -- 数组的起始地址
*     endi -- 数组的结束地址
*/
void mergeSortUp2Down(int* a, int start, int end)
{
	if (a == NULL || start >= end)
		return;

	int mid = (end + start) / 2;
	mergeSortUp2Down(a, start, mid); // 递归排序a[start...mid]
	mergeSortUp2Down(a, mid + 1, end); // 递归排序a[mid+1...end]

									   // a[start...mid] 和 a[mid+1...end]是两个有序空间，
									   // 将它们排序成一个有序空间a[start...end]
	merge(a, start, mid, end);
}


/*
* 对数组a做若干次合并：数组a的总长度为len，将它分为若干个长度为gap的子数组；
*             将"每2个相邻的子数组" 进行合并排序。
*v
* 参数说明：
*     a -- 待排序的数组
*     len -- 数组的长度
*     gap -- 子数组的长度
*/
void mergeGroups(int* a, int len, int gap)
{
	int i;
	int twolen = 2 * gap;    // 两个相邻的子数组的长度

							 // 将"每2个相邻的子数组" 进行合并排序。
	for (i = 0; i + 2 * gap - 1 < len; i += (2 * gap))
	{
		merge(a, i, i + gap - 1, i + 2 * gap - 1);
	}

	// 若 i+gap-1 < len-1，则剩余一个子数组没有配对。
	// 将该子数组合并到已排序的数组中。
	if (i + gap - 1 < len - 1)
	{
		merge(a, i, i + gap - 1, len - 1);
	}
}

/*
* 归并排序(从下往上)
*
* 参数说明：
*     a -- 待排序的数组
*     len -- 数组的长度
*/
void mergeSortDown2Up(int* a, int len)
{
	int n;

	if (a == NULL || len <= 0)
		return;

	for (n = 1; n < len; n *= 2)
		mergeGroups(a, len, n);
}

int main()
{
	int i;
	int data[10];
	int n = (sizeof(data)) / (sizeof(data[0]));

	for (int i = 0; i <= n - 1; ++i)
		data[i] = i;
	for (int i = n - 1; i >0; --i)
		swap(data[i], data[rand() % i]);

	cout << "before sort:";
	for (i = 0; i<n; i++)
		cout << data[i] << " ";
	cout << endl;

	mergeSortUp2Down(data, 0, n - 1);        // 归并排序(从上往下)
	//mergeSortDown2Up(data, n);               // 归并排序(从下往上)
	cout << "after  sort:";
	for (i = 0; i<n; i++)
		cout << data[i] << " ";
	cout << endl;

	system("pause");
	return 0;
}