目录
归并排序的思想很简单——分治法。简单地说,归并排序的是将序列拆分成几段子序列,将每一段子序列分别进行排序,排好之后再将有序的子序列归并(有点像合并两个有序数组)成为一个有序的序列。
例如要排序数列:10、6、7、1、3、9、4、2;
将序列拆分为 2 个子序列;
继续拆分;
继续拆分;
至此,每个子序列的长度都为 1 ,因为只有一个数,所以可认为是有序序列;
现将子序列两两归并,即合并两个有序序列;
继续归并;
继续归并;
以上就是归并排序的整个过程,很显然归并排序的实现应该离不开递归的思想。
归并排序的递归实现
归并排序的递归实现较为简单,需要注意的有两点:
1. 归并的过程并非在原数组上直接改动,而是开辟一个临时数组,在临时数组上进行排序,排好之后将临时数组的内容全部拷贝到原数组;
2. 代码中使用的是二路归并(如上图所示,每次将序列拆分为两个子序列)。
代码实现
void _MergeSort(int* a, int begin, int end, int* tmp)
{
//递归的结束条件//当序列只有一个元素时或序列不存在时
if (begin >= end)
return;
//将序列进行拆分 //[begin,mid] [mid+1,end]
int mid = (begin + end) / 2;
//拆分的过程
_MergeSort(a, begin, mid, tmp);
_MergeSort(a, mid+1, end, tmp);
//以下为归并的过程
int begin1 = begin, end1 = mid;
int begin2 = mid+1, end2 = end;
int i = begin;
//归并:合并两个有序序列
while (begin1 <= end1 && begin2 <= end2)
{
if (a[begin1] <= a[begin2])
{
tmp[i++] = a[begin1++];
}
else
{
tmp[i++] = a[begin2++];
}
}
//如果第二段序列先结束
while (begin1 <= end1)
{
tmp[i++] = a[begin1++];
}
//如果第一段序列先结束
while (begin2 <= end2)
{
tmp[i++] = a[begin2++];
}
//将临时数组的数据拷贝回原数组
memcpy(a + begin, tmp + begin, sizeof(int) * (end - begin + 1));
}
void MergeSort(int* a,int n)
{
//开辟一个临时数组
int* tmp = (int*)malloc(sizeof(int) * n);
if (tmp == NULL)
{
perror("malloc fail");
exit(-1);
}
_MergeSort(a, 0, n - 1, tmp);
//释放与置空
free(tmp);
tmp = NULL;
}
归并排序的非递归实现
非递归与递归作用思想基本相同。递归实现时,因为拆分序列时采用的是递归的方式,所以通过传递参数就可以控制子序列的长度。但是非递归不行,非递归通过变量 rangeN 来控制序列的长度(或间隔),每次让 rangeN *= 2 例如:
但是由于 rangeN 每次都 *2 ,而我们排序的序列长度不可能总是 2 的倍数,所以 可能会有数组越界访问的风险。例如:
现将两个子序列归并,并将数据拷贝回原数组时,就会发生越界:
当然这只是其中一种越界的可能情况——第二段序列发生越界,原因是右边界 end2 大于 n;
实际操作中,一共会有三种情况导致越界:
两段序列的区间分别为: [begin1,end1] [begin2,end2]
1. end1 > n;
2. begin > n;
3.end2 > n;
所以,当这三种情况发生时,需要修正区间,以上述用例为例, end2 大于 n 时,令 end2 = n-1即可;
代码实现
void MergeSortNonR(int* a, int n)
{
//开辟一个临时数组
int* tmp = (int*)malloc(sizeof(int) * n);
if (tmp == NULL)
{
perror("malloc fail");
exit(-1);
}
int rangeN = 1;
while (rangeN < n)
{
// i 控制访问子序列的位置
for (int i = 0; i < n; i += 2 * rangeN)
{
//拆分为两段子序列//[begin1,end1] [begin2,end2]
int begin1 = i, end1 = i + rangeN - 1;
int begin2 = i + rangeN, end2 = i + 2 * rangeN - 1;
int j = i;
//判断是否发生越界的三种情况,如果有,就修正区间
if (end1 >= n)
{
end1 = n - 1;
//将第二段序列改为不存在的序列即可
begin2 = n;
end2 = n - 1;
}
else if (begin2 >= n)
{
//将第二段序列改为不存在的序列即可
begin2 = n;
end2 = n - 1;
}
else if (end2 >= n)
{
//修正区间
end2 = n-1;
}
while (begin1 <= end1 && begin2 <= end2)
{
if (a[begin1] <= a[begin2])
{
tmp[j++] = a[begin1++];
}
else
{
tmp[j++] = a[begin2++];
}
}
//如果第二段序列先结束
while (begin1 <= end1)
{
tmp[j++] = a[begin1++];
}
//如果第一段序列先结束
while (begin2 <= end2)
{
tmp[j++] = a[begin2++];
}
}
//将临时数组的内容拷贝回原数组
memcpy(a, tmp, sizeof(int) * n);
//控制间隔
rangeN *= 2;
}
//释放与置空
free(tmp);
tmp = NULL;
}