🚀前言
大家好啊!阿辉接着更新排序算法,今天要讲的是归并排序,这里阿辉将讲到归并排序的递归实现和迭代实现,话不多说,开始咱们今天的学习吧!!!!
🚀归并排序介绍及其思想
归并排序这是阿辉讲的第一个时间复杂度O(nlogn)
的排序算法,额外空间复杂度是O(n),归并排序可以做到稳定性。
思想
归并排序的思想就是分治,分治的思想是将一个大问题分解成若干个小问题,然后分别解决这些小问题,最后将这些小问题的解合并起来得到原问题的解
由分治的思想很容易,想到用递归来实现归并排序,我们接着看👇
🚀递归实现
关于归并排序的递归方法主要由三个大的逻辑组成:
- 分解:将待排序的数组分成两个子数组
- 解决:对每个子数组进行排序
- 合并:将排序好的子数组合并成一个有序的数组
这里我们使用递归很轻松就能把主逻辑写好,大家都知道写递归必须要有限制条件否则会造成死递归
,对于归并排序的限制条件很简单,对于数组只有一个元素时自然就是有序的,直接返回即可
主逻辑:
merge
函数相当于黑盒,作用就是把两个有序数组合成一个大的有序数组
void MergeSort(int a[], int l, int r) {// C/C++归并排序递归版本,主逻辑 if (r == l) {//递归限制条件 return; } int m = l + ((r - l) >> 1);//数组中位置下标 MergeSort(a, l, m);//左部分排序 MergeSort(a, m + 1, r);//右部分排序 merge(a, l, m, r);//两部分有序数组合并 }
整个归并排序最重要的部分也就是有序数组合并的部分:
merge
函数实现,还是不太懂的可以看一下下面的代码,有详细的注释
C语言版本:
void merge(int a[], int l, int m, int r) { int* help = (int*)malloc((r - l + 1) * 4);//申请辅助空间 int i = 0;//作为help指针的偏移量,存储两有序数组排好序的大数组 int first = l;//作为左部分数组的起始下标 int second = m + 1;//作为右部分数组的起始下标 while (first <= m && second <= r) {//哪一方下标越界就说明不用继续比较了 //三目运算代码更简洁,谁小谁在前先赋值给help,后置++, // 赋值后i向后偏移一个位置,second或first也向后偏移一个位置 help[i++] = a[first] <= a[second] ? a[first++] : a[second++]; } //下面虽然两个while循环但是只会进去一个 //还没存进help数组的继续存 while (first <= m) { help[i++] = a[first++]; } while (second <= r) { help[i++] = a[second++]; } //最后把help管理的值,还原到原数组a中 for (i = 0; i < r - l + 1; i++) { a[l + i] = help[i]; } free(help);//释放申请的堆空间 help = NULL;//野指针系上绳子 }
C++版本:
也就是用了STL的容器更方便
void merge(vector<int>& arr, int l, int mid, int r) {//合并有序数组 vector<int> help(r - l + 1, 0);//用一个额外的数组装排好的数 int first = l; int second = mid + 1; int i = 0; //合并过程 while (first <= mid && second <= r) { help[i++] = arr[first] <= arr[second] ? arr[first++] : arr[second++]; } while (first <= mid) { help[i++] = arr[first++]; } while (second <= r) { help[i++] = arr[second++]; } //将help数组拷贝到原数组 for (int i = 0; i < r - l + 1; i++) { arr[l + i] = help[i]; } }
🚀迭代实现
归并排序的迭代实现就是把主逻辑从递归改为迭代了,有序合并部分并没有改变还是上面实现的merge
函数
其实就是从递归的条件返回那一步往后推:
这里我们引入一个概念步长
,用来表示左部分和右部分的数组长度,步长从1
开始,然后每次倍增,就相当于递归的回溯过程
上图:
步长为左右部分长度,左右部分进行merge
操作,没有右部分的跳过
主逻辑:
void MergeSort(int a[], int l, int r) { int len = 1;//步长 while (len <= r) { l = 0; while (l <= r) { int m = l + len - 1;//计算左部分的最后一个位置 if (m >= r) {//此时说明没有右部分,可以跳出循环进行下一轮了 break; } //m + len是右部分的最后一个位置与r做比较防止越界,拿到一个正确的merge右边界 int n = r <= m + len ? r : m + len; merge(a, l, m, n); l = n + 1; } if (len > r / 2) {//假如数组很长len×2可能溢出,防止溢出变成负数死循环 break; } } }
merge
函数和前面的一样,阿辉就不水了