分治法实现归并排序

程序调用自身的编程技巧称为递归（ recursion）。
一个过程或函数在其定义或说明中有直接或间接调用自身的一种方法，它通常把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解，递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算，大大地减少了程序的代码量。递归的能力在于用有限的语句来定义对象的无限集合。一般来说，递归需要有边界条件、递归前进段和递归返回段。当边界条件不满足时，递归前进；当边界条件满足时，递归返回。
注意：
(1) 递归就是在过程或函数里调用自身；
(2) 在使用递归策略时，必须有一个明确的递归结束条件，称为递归出口。

引用此图，加深对递归过程的理解。

归并排序（Merge sort）是创建在归并操作上的一种有效的排序算法。该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。

“归并”的含义是将两个或者两个以上的有序表组合成一个新的有序表。

归并排序的核心操作是将一维数组中前后相邻的两个有序序列归并为一个有序序列。

归并操作（merge），也叫归并算法，指的是将两个已经排序的序列合并成一个序列的操作。
归并排序算法依赖归并操作。

算法描述
归并操作的过程如下：

1.申请空间，使其大小为两个已经排序序列之和，该空间用来存放合并后的序列
2.设定两个指针，最初位置分别为两个已经排序序列的起始位置
3.比较两个指针所指向的元素，选择相对小的元素放入到合并空间，并移动指针到下一位置
4.重复步骤3直到某一指针到达序列尾
5.将另一序列剩下的所有元素直接复制到合并序列尾

示例代码：

#ifndef MERGE_SORT
#define MERGE_SORT
#include <iostream>
using namespace std;
#define N 7

void Merge(int* array,int low,int mid,int high){
	int temp[N];//临时数组
	int i=low;//低表的起始下标
	int j=mid+1;//高表的起始下标
	int k=low;//临时数组的起始下标,需要将目标数组的数据放入对应临时数组  
	while(i<=mid && j<=high){//归并操作循环条件
		if(array[i]<=array[j]){
			temp[k++]=array[i++];
		}else{
			temp[k++]=array[j++];
		}
	}
	if(i<=mid){//高子表到达末尾
		while(i<=mid){
			temp[k++]=array[i++];
		}
	}
	if(j<=high){//低子表到达末尾
		while(j<=high){
			temp[k++]=array[j++];
		}
	}
	//将临时空间排好序的关键字复制到目标数组A[]  
	for(int i=low;i<=high;i++){
		array[i]=temp[i];
	}
}

void MergeSort(int *array,int low,int high){
	if(low<high){//递归结束条件为low==high，单个元素有序
		int mid=(low+high)>>1;
		MergeSort(array,low,mid);//递归地将低表部分归并为有序 
		MergeSort(array,mid+1,high);//递归地将高表部分归并为有序 
		Merge(array,low,mid,high);//合并前后相邻的两个高低表
	}
}
void TestMergeSort(){
	int array[7]={49,38,65,97,76,13,27};  
	MergeSort(array,0,6);  
	cout<<"the array after sort:"<<endl;  
	for(int i=0;i!=7;i++)  
		cout<<array[i]<<" ";  
}
#endif

归并排序的时间复杂度：最好、最坏和平均都是O(nlogn)

空间复杂度：O(n)

稳定性：稳定