分治+归并排序+递归的过程

分治法：把一个复杂的问题拆解成两个或更多的相同或相似的子问题，然后再把子问题分成更小的子问题，一直拆下去，直到最后子问题可以进行简单的求解，原问题的解就是子问题解的合并。

分支算法的适用问题，通常需要满足以下几个条件

1. 原问题与分解成的子问题具有相同的模式；

2. 子问题可以独立求解，子问题之间没有相关性；

3. 分解具有终止条件，即当分解到一定程度后，可以直接求解；

4. 可以将子问题的解合并成原问题的解，且合并操作复杂度不高。

其中归并排序算法，其实就利用了分治的思想方法。

//归并排序 
void merge(int a[],int low,int mid,int high)
{
    int i,k;
    //定义一个临时数组存放传进来的无序数组排好序之后的数组
    int *temp=(int *)malloc((high-low+1)*sizeof(int));
    //将无序数组分成两个序列
    int left_low=low;
    int left_high=mid;
    int right_low=mid+1;
    int right_high=high;
    //将两个序列比较排序，小的排前
    for(k=0;left_low<=left_high && right_low<=right_high;k++)
    {
        if(a[left_low]<=a[right_low])
            temp[k]=a[left_low++];
        else
            temp[k]=a[right_low++];
    }
    //左序列如果有剩下元素未排序，加到临时数组的末尾
    if(left_low<=left_high)
    {
        for(i=left_low;i<=left_high;i++)
            temp[k++]=a[i];
    }
    //右序列如果有剩下元素未排序，加到临时数组的末尾
    if(right_low<=right_high)
    {
        for(i=right_low;i<=right_high;i++)
            temp[k++]=a[i];
    }
    //将排好序的小分组转移到原数组中
    for(i=0;i<high-low+1;i++)
    {
        a[low+i]=temp[i];
    }
    free(temp);
}
void mergeSort(int a[],int first,int last)//归并排序
{
    int mid=0;
    //将数组不停的二分分组再组合，直到每组只剩下一个元素
    if(first<last)
    {
        mid=(first+last)/2;
        mergeSort(a, first, mid);
        mergeSort(a, mid+1, last);
        merge(a,first,mid,last);
    }
}
int main()
{
	int a[6] = {4,5,6,3,2,1};
	mergeSort(a,0,5);
	for(int i=0;i<6;i++)
	    printf("%d ",a[i]);
	return 0;
} 

mergeSort这个递归函数，首先是终止条件first>=last ，递归必须要有终止条件，否则就会陷入循环最终导致栈溢出。为啥会栈溢出？递归调用在底层其实是对线程栈的压栈和出栈操作，每调用一次都会压栈一次，并记录相关的局部变量信息，线程栈的内存是非常有限的，而递归调用如果是无限的，那么很快就会消耗完所有的内存资源，最终导致内存溢出。
接下来是两个调用了mergeSort函数本身也就是递归调用，将这两个递归调用分别编号#1和#2.在本例中,待排序的数组里面有6个元素(下标0-5)， 那么他们是怎么被压栈又出栈的呢？如下图所示: