本文主要摘自刘汝佳的《算法竞赛入门经典》。我只是加上我看时的一些感悟。
按照分治三步法,对归并排序算法介绍如下:
划分问题:把序列分成元素个数尽量相等的两半。
递归问题:把两半元素分别排序
合并问题:把两个有序表合并成一个。。(这里需要排序。但是因为两半都是从小到大排序好的,所以我们每次都拿两边最小的元素进行比较,拿小的放左边。用了的元素删掉。接着继续找)
接下来,先亮上刘汝佳的代码。
void merge_sort(int *A,int x,int y,int *T)
{
if(y-x>1)
{
int m=x+(y-x)/2;
int p=x,q=m,i=x;
merge_sort(A,x,m,T);
merge_sort(A,m,y,T);
while(p<m||q<y)//一
{
if(q>=y||(p<m&&A[p]<=A[q])) {
T[i++]=A[p++];
}
else T[i++]=A[q++];
}
for(i=x;i<y;i++)
{
A[i]=T[i];
}
}
}
一:只要有一个序列非空,就要继续合并,因此在比较时不能直接比较A[p]和A[q],因为可能其中一个序列为空;
正确的做法是:
1:如果第二个序列为空,(此时第一个序列一定非空,不然就进不了while了~~)复制A[p];
2:否则(第二个序列非空),要么第一个序列为空,要么第一个序列也非空,且A[p]<=A[q]时,才复制A[p].