归并排序算法

    归并排序(MergeSort) : 这里我们采用的是二路归并 
    
    思想:将两个有序数组合并成一个有序数组的过程。
    
    时间复杂度:O(nlogn)
    空间复杂度O(n)
    稳定性 : 归并排序是稳定的排序算法
    
    归并排序的时间复杂度和空间复杂度分析
    归并排序递归到最后本质上就是一棵倒着的满二叉树。
    每一趟归并的时间复杂度最坏是O(n),因为n个元素,最多比较n-1次就可完全确定顺序,所以时间复杂度最坏是O(n)
    而满二叉树的高度由公式  n <=2^(h-1)
                            ==>  h-1 >= log2n
    而高度为h的二叉树,需要归并的趟数树h-1趟。 
    而每趟的时间复杂度最坏是O(n);
    所以归并排序的时间复杂度为O(nlogn).
    空间复杂度由于用到了递归调用栈,所以空间复杂度是O(logn).
    但是我们使用了一个辅助数组,所以空间复杂度为O(logn)+O(n) --> O(n)

归并排序的时间复杂度和数组的初始状态无关,都是O(nlogn).

代码实现：

#include<stdio.h>
#include<stdlib.h>

/*
	归并排序(MergeSort) : 这里我们采用的是二路归并 
	
	思想:将两个有序数组合并成一个有序数组的过程。
	
	时间复杂度:O(nlogn)
	空间复杂度O(n)
	稳定性 : 归并排序是稳定的排序算法
	
    归并排序的时间复杂度和空间复杂度分析
	归并排序递归到最后本质上就是一棵倒着的满二叉树。
	每一趟归并的时间复杂度最坏是O(n),因为n个元素,最多比较n-1次就可完全确定顺序,所以时间复杂度最坏是O(n)
	而满二叉树的高度由公式  n <=2^(h-1)
							==>  h-1 >= log2n
	而高度为h的二叉树,需要归并的趟数树h-1趟。 
	而每趟的时间复杂度最坏是O(n);
	所以归并排序的时间复杂度为O(nlogn).
	空间复杂度由于用到了递归调用栈,所以空间复杂度是O(logn).
	但是我们使用了一个辅助数组,所以空间复杂度为O(logn)+O(n) --> O(n)	
*/	
	

//两个有序数组的合并操作   low指向第一个数组的开始位置, mid指向第一个数组的最后一个位置、 high指向第二个数组的最后一个位置 
//b是辅助数组 
void Merge(int a[], int low ,int mid, int high ,int b[]){
	//将数组A中的元素拷贝到数组B中 
	//只在A数组中无法完成两个数组的合并操作, 因为如果两个有序数组是先排完后者,再排前者,这将导致前者的数组中的数据被覆盖 
	for(int i = low;i <= high; i++){
		b[i]=a[i];
	}
	int i,j,k; //i是用来遍历第一个数组的,j是用来遍历第二个数组的, k是用来确保将比较之后的数据放在什么位置上
	 //循环结束的终止条件是两个有序数组其中有一个遍历完了,则终止循环 
	for(i = low,j=mid+1,k = low; i  <= mid && j <= high;){
		//从这可以看出归并排序是稳定的排序算法 
		if(b[i] <= b[j]){
			a[k++]=b[i++];	
		}else{
			a[k++]=b[j++];
		}
	}
	//将剩余的有序的元素进行合并 
	while(i <= mid) a[k++] = b[i++];
	while(j <= high) a[k++] = b[j++];
}

void MergeSort(int a[], int low ,int high,int b[]){
	int mid = (low+high)/2; 
	//low = high 待排序数组中只有一个元素,一个元素肯定有序,没必要在执行一次Merge操作 
	if(low<high){
		MergeSort(a,low,mid,b);
		MergeSort(a,mid+1,high,b);
		Merge(a,low,mid,high,b); 	
	}
}

int main(int argc, char *argv[])
{
	int a[] = {11,34,23,32,5};
	int *b = (int *)malloc(5*sizeof(int)); 
	MergeSort(a,0,4,b);
	
	for(int i =0;i<5;i++){
		printf("%d ",a[i]);
	}
	
	
	return 0;
}

结果测试: