排序系列六：归并排序

这个排序有点费脑子，大家还得花时间好好看看

归并排序原理如下图所示：

代码如下：

//归并排序（mergesort）：建立在归并操作上的采用分治法的一种有效的排序算法,将已有序的子序列合并，得到完全有序的序列；
//即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为二路归并。
//一般来说从单个元素开始合并，逐渐合并成大的元素，最终，达到整个元素有序的目的。两组数合并的时候都是从左向右进行比较
//比如a[n]和b[n]；先比较a[0]和b[0]，小的a[0]放前面，然后比较a[1]与b[0]，小的b[0]放a[0]后面，然后比较a[1]和b[1]……
//它是稳定排序


#include<iostream>
#include <stdlib.h>

void mergesort(int a[],int n)//两个形参，分别为数组和数组内数的个数
{
	int i,next,left_min,left_max,right_min,right_max;//left_max、right_max不是left和right里面的，而是比它们大一位
	int *temp = (int *)malloc(n*sizeof(int));//利用malloc函数分配一个与原来数组一样大小的空间
	for(i=1;i<n;i=i*2)//逐级上升，第一次比较挨着的2个元素，第二次比较4个，第三次比较8个……
	{
		for(left_min=0; left_min<n-i; left_min=right_max)//每次都从0开始，数组的第一个元素开始
		{
			right_min=left_max=left_min+i;
			right_max=left_max+i;
			if(right_max>n)//右边的下标最大值只能为n
			{right_max=n;}		
			next=0;//next是用来标志temp数组下标的，由于每次数据都有返回到a，故每次开始得重新置零
			//如果左边的数据还没达到分割线且右边的数组没到达分割线，开始循环
			while(left_min<left_max && right_min<right_max)//每一组比较的循环，例当i=4时左边四个元素与右边四个元素比较
			{
				if(a[left_min]<a[right_min])//若左边数比右边小，那么就让左边数继续放在左边，然后靠右一位的数与右边原数比较
				{temp[next]=a[left_min];next=next+1;left_min=left_min+1;}
				else//若左边数比右边大，那么就让右边数放在左边，然后靠右一位的数与左边原数比较
				{temp[next]=a[right_min];next=next+1;right_min=right_min+1;}
			}
			while(left_min<left_max)//如果left_min小于left_max，说明现在左边的数据比较大,直接把它们接到数组的min之前就行
			{right_min=right_min-1;left_max=left_max-1;a[right_min]=a[left_max];}
			while(next>0)//把排好序的那部分数组返回到最初需要排序的数组a
			{right_min=right_min-1;next=next-1;a[right_min]=temp[next];}
		}
	}
}

int main()
{
	int a[] = {1,2,3,4,5,6,7,8,9,10,20,19,18,17,16,15,14,13,12,11};
	int n=sizeof(a)/sizeof(a[0]);
	mergesort(a,n);
	for(int i=0;i<n;i++)//输出排序结果
	{std::cout<<a[i]<<" ";}
	system("pause");
	return 0;
	system("pause");
	return 0;
}

但是上面那个left_max、right_max不是left和right数组里面的，而是比它们大一位，下面这个程序就把left_max、right_max都纳入数组里面，可能更你好理解一点，代码如下：

#include<iostream>
#include <stdlib.h>

void mergesort(int a[],int n)//两个形参，分别为数组和数组内数的个数
{
	int i,next,left_min,left_max,right_min,right_max;
	int *temp = (int *)malloc(n*sizeof(int));//利用malloc函数分配一个与原来数组一样大小的空间
	for(i=1;i<n;i=i*2)//逐级上升，第一次比较挨着的2个元素，第二次比较4个，第三次比较8个……
	{
		for(left_min=0; left_min<n-i; left_min=right_max+1)//每次都从0开始，数组的第一个元素开始
		{
			left_max=left_min+i-1;
			right_min=left_max+1;
			right_max=right_min+i-1;
			if(right_max>=n)//右边的下标最大值只能为n-1
			{right_max=n-1;}		
			next=0;//next是用来标志temp数组下标的，由于每次数据都有返回到a，故每次开始得重新置零
			//如果左边的数据没比较完且右边的数据没比较完，开始循环			
			while(left_min<=left_max && right_min<=right_max)//每一组比较的循环，例当i=4时左边四个元素与右边四个元素比较
			{
				if(a[left_min]<a[right_min])//若左边数比右边小，那么就让左边数继续放在左边，然后靠右一位的数与右边原数比较
				{temp[next]=a[left_min];next=next+1;left_min=left_min+1;}
				else//若左边数比右边大，那么就让右边数放在左边，然后靠右一位的数与左边原数比较
				{temp[next]=a[right_min];next=next+1;right_min=right_min+1;}
			}
			if(right_min>right_max)//说明右边的数都已经插进去了
			{
				int x=right_max;
				while(left_min<=left_max)//把左边剩余的直接接到数组后面
				{a[x]=a[left_max];left_max=left_max-1;x=x-1;}
				while(next>0)//把temp[]换到a[]里面
				{next=next-1;a[x]=temp[next];x=x-1;}
			}
			else//(left_min>left_max)左边的数都已经排好了，只用把temp[]换到a[]里面就行，右边的数不用动
			{
				while(next>0)
				{next=next-1;left_min=left_min-1;a[left_min]=temp[next];}
			}
		}
	}
}

int main()
{
	int a[]={1,2,3,4,5,6,7,8,9,10,20,19,18,17,16,15,14,13,12,11};
	int n=sizeof(a)/sizeof(a[0]);
	mergesort(a,n);
	for(int i=0;i<n;i++)//输出排序结果
	{std::cout<<a[i]<<" ";}
	system("pause");
	return 0;
	system("pause");
	return 0;
}

运行结果如下：