图解排序算法-归并排序 C++实现

作者： dreamcatcher-cx
出处： http://www.cnblogs.com/chengxiao/
本文版权归作者和博客园共有，欢迎转载，但未经作者同意必须保留此段声明，且在页面明显位置给出原文链接。

基本思想

归并排序（MERGE-SORT）是利用归并的思想实现的排序方法，该算法采用经典的分治（divide-and-conquer）策略（分治法将问题分(divide)成一些小的问题然后递归求解，而治(conquer)的阶段则将分的阶段得到的各答案"修补"在一起，即分而治之)。

分而治之

可以看到这种结构很像一棵完全二叉树，本文的归并排序我们采用递归去实现（也可采用迭代的方式去实现）。分阶段可以理解为就是递归拆分子序列的过程，递归深度为log2n。

合并相邻有序子序列

再来看看治阶段，我们需要将两个已经有序的子序列合并成一个有序序列，比如上图中的最后一次合并，要将[4,5,7,8]和[1,2,3,6]两个已经有序的子序列，合并为最终序列[1,2,3,4,5,6,7,8]，来看下实现步骤。

代码实现（C++实现）

#include <iostream>
using namespace std;
void merge(int a[], int begin, int mid, int end, int temp[]){
	int i = begin;
	int j = mid+1;
	int t = begin;
	while(i<=mid && j<=end){
		if(a[i] <= a[j])
			temp[t++] = a[i++];
		else
			temp[t++] = a[j++];
	}
	while(i<=mid){
		temp[t++] = a[i++];
	}
	while(j <= end){
		temp[t++] = a[j++];
	}
	for(int i = begin; i <= end; i++)
		a[i] = temp[i];
}
void mergesort(int a[], int begin, int end, int temp[]){
	if(begin >= end)
		return;
	int mid = (begin + end) /2;
	mergesort(a, begin, mid, temp);
	mergesort(a, mid+1, end, temp);
	merge(a, begin, mid, end, temp);
}

int main(void){
	int a[10] = {3, 1, 5, 2, 7, 8, 9, 0, 6, 4};
	int temp[10];
	mergesort(a, 0, 9,temp);
	return 0;
}

执行结果
0 1 2 3 4 5 6 7 8 9

结语

归并排序是稳定排序，它也是一种十分高效的排序，能利用完全二叉树特性的排序一般性能都不会太差。java中Arrays.sort()采用了一种名为TimSort的排序算法，就是归并排序的优化版本。从上文的图中可看出，每次合并操作的平均时间复杂度为O(n)，而完全二叉树的深度为|log2n|。总的平均时间复杂度为O(nlogn)。而且，归并排序的最好，最坏，平均时间复杂度均为O(nlogn)。