🗒️Java排序算法Sort源码分析

排序算法

1. 平方阶 (O(n2)) 排序 各类简单排序：直接插入、直接选择和冒泡排序。

2. 线性对数阶 (O(nlog2n)) 排序 快速排序、堆排序和归并排序；

3. O(n1+§)) 排序，§ 是介于 0 和 1 之间的常数。 希尔排序

4. 线性阶 (O(n)) 排序 基数排序，此外还有桶、箱排序。

1. 稳定的排序算法：冒泡排序、插入排序、归并排序和基数排序。

2. 不是稳定的排序算法：选择排序、快速排序、希尔排序、堆排序。

Java的sort()包

Arrays的工具类

从排序的范围角度划分，分为了以下：

1. 针对数组的整体做排序的方法，如
• sort(int[] a)
• sort(Object[] a)
• sort(T[] a, Comparator<? super T> c)

2. 针对数组的局部做排序的方法，如
• sort(int[] a, int fromIndex, int toIndex)
• sort(Object[] a , int fromIndex, int toIndex)
• sort(T[] a, int fromIndex, int toIndex,Comparator<? super T> c)

从排序的类型角度划分，分为了以下：

1. 对数组按照默认升序的方式进行排序的方法，如
• sort(int[] a)
• sort(Object[] a)
• sort(int[] a, int fromIndex, int toIndex)
• sort(Object[] a , int fromIndex, int toIndex)

2. 对数组按照自定义排序类型进行排序的方法，如
• sort(T[] a, Comparator<? super T> c)
• sort(T[] a, int fromIndex, int toIndex,Comparator<? super T> c)

从操作对象的角度划分，分为了以下：

1. 对基本类型（byte，int，char等）数组操作的方法
• sort(int[] a)
• sort(int[] a, int fromIndex, int toIndex)

2. 对对象类型（object）数组操作的方法
• sort(Object[] a)
• sort(Object[] a , int fromIndex, int toIndex)
• sort(T[] a, Comparator<? super T> c)
• sort(T[] a, int fromIndex, int toIndex,Comparator<? super T> c)

小总结：

基本数据类型的排序

1. 当长度小于47时，采用插入排序算法。

2. 当长度介于47以及286中间时，先判断数组是否具备特定结构，如果具备，采用快速排序，不具备时采用一种优化形式：双轴快排算法。

3. 当长度大于286时，有特定结构的话，就是使用归并排序算法。

是否有具有特定结构

对象类型数组的排序

1. 如果对象数组的长度小于32，采用不包含并操作的mini-TimSort算法。

2. 如果对象数组的长度大于31，采用完整的TimSort算法。

1. 扫描数组，确定其中的单调上升段和严格单调下降段，将严格下降段反转。我们将这样的段称之为run。

2. 定义最小run长度，短于此的run通过插入排序合并为长度高于最小run长度；

3. 反复归并一些相邻run，过程中需要避免归并长度相差很大的run，直至整个排序完成；

4. 如何避免归并长度相差很大run呢， 依次将run压入栈中，若栈顶run X，run Y，run Z 的长度违反了X>Y+Z 或 Y>Z 则Y run与较小长度的run合并，并再次放入栈中。 依据这个法则，能够尽量使得大小相同的run合并，以提高性能。注意Timsort是稳定排序故只有相邻的run才能归并。

5. Merge操作还可以辅之以galloping，具体细节可以自行研究。

不同的算法对于效率的影响

All in All

1. 基本数据类型无所谓稳定性，可以采用非稳定的快排

2. 对于基本数据类型来说，比较和移动都不怎么耗时，所以用归并或者快排都可以

1. 对象数据类型要求稳定性，需要采用稳定的归并+插入

2. 对于对象来说，比较操作相对耗时，所以用比较操作较少的归并排序

三种排序详解

插入排序

将整个序列分为两部分：前面 i 个元素为有序序列，后面 n - i 个元素为无序序列。每一次排序，将无序序列的第 1 个元素，在有序序列中找到相应的位置并插入。

1. 第 1 趟排序：
1. 第 1 个元素为有序序列，后面第 2 ~ n个元素（总共 n - 1 个元素）为无序序列。
2. 从右至左遍历有序序列中的元素，如果遇到「有序序列的元素 > 无序序列的第 1 个元素」的情况时，则将向有序序列的元素后移动一位。
3. 如果遇到「有序序列的元素 <= 无序序列的第 1 个元素」的情况或者「到达数组开始位置」时，则说明找到了插入位置。将「无序序列的第 1 个元素」插入该位置。

2. 第 2 趟排序：
1. 第 1 ~ 2 个元素为有序序列，后面第 3 ~ n 个元素（总共 n - 2 个元素）为无序序列。
2. 从右至左遍历有序序列中的元素，如果遇到「有序序列的元素 > 无序序列的第 1 个元素」的情况时，则将向有序序列的元素后移动一位。
3. 如果遇到「有序序列的元素 <= 无序序列的第 1 个元素」的情况或者「到达数组开始位置」时，则说明找到了插入位置。将「无序序列的第 1 个元素」插入该位置。

3. 依次类推，对剩余 n - 3 个元素重复上述排序过程，直到所有元素都变为有序序列，则排序结束。

1. 先将第 1 个元素作为一个有序序列，将第 2 ~ n 个元素作为无序序列。

2. 从左到右遍历一遍无序序列，对于无序序列中的每一个元素：
1. 遍历有序序列，找到适当的插入位置。
2. 将有序序列中插入位置右侧的元素依次右移一位。
3. 将该元素插入到适当位置。

• 最佳时间复杂度：O(n)

• 最差时间复杂度：O(n^2)

• 平均时间复杂度：O(n^2)

• 稳定性：稳定

快速排序

通过一趟排序将无序序列分为独立的两个序列，第一个序列的值均比第二个序列的值小。然后递归地排列两个子序列，以达到整个序列有序。

1. 从序列中找到一个基准数 point（这里以当前序列第 1 个元素作为基准数，即 point = arr[low]）。

2. 使用双指针，将序列中比基准数大的元素移动到基准数右侧，比他小的元素移动到基准数左侧：
1. 使用指针 i，指向当前需要处理的元素位置，需要保证位置 i 之前的元素都小于基准数。初始时，i 指向当前序列的第 2 个元素位置。
2. 使用指针 j 遍历当前序列，如果遇到 arr[j] 小于基准数 point，则将 arr[j] 与当前需要处理的元素 arr[i] 交换，并将 i 向右移动 1 位，保证位置 i 之前的元素都小于基准数。
3. 最后遍历完，此时位置 i 之前的元素都小于基准数，第 i - 1 位置上的元素是最后一个小于基准数 point 的元素，此位置为基准数最终的正确位置。将基准数与该位置上的元素进行交换。此时，基准数左侧都是小于基准数的元素，右侧都是大于等于基准数的元素。
4. 然后将序列拆分为左右两个子序列。

3. 对左右两个子序列分别重复第 2 步，直到各个子序列只有 1 个元素，则排序结束。

• 最佳时间复杂度：O(n*log2(n))

• 最差时间复杂度：O(n^2)

• 平均时间复杂度：O(n*log2(n))

• 稳定性：不稳定

归并排序

采用经典的分治策略，先递归地将当前序列平均分成两半。然后将有序序列两两合并，最终合并成一个有序序列。

1. 分割过程：将当前序列平均分成两半，直到子序列长度为 1。
1. 在一个数组长度为n的数组中找到序列中心位置 mid，从中心位置将序列分成左右两个子序列。
2. 对左右两个子序列分别进行递归分割。
3. 最终将数组分割为 n 个长度均为 1 的有序子序列。

2. 归并过程：从长度为 1 的有序子序列开始，依次进行两两归并，直到合并成一个长度为 n 的有序序列。
1. 使用数组变量 arr存放归并后的有序数组。
2. 使用两个指针分别指向两个有序子序列 的开始位置。
3. 比较两个指针指向的元素，将两个有序子序列中较小元素依次存入到结果数组 arr 中，并将指针移动到下一位置。
4. 重复步骤 3，直到某一指针到达子序列末尾。
5. 返回归并后的有序数组 arr。

1. 初始序列为 [6, 2, 1, 3, 7, 5, 4, 8]。

2. 将序列分解为 [6, 2, 1, 3]，[7, 5, 4, 8]。

3. 将序列分解为 [6, 2]，[1, 3]，[7, 5]，[4, 8]。

4. 将序列分为为 [6]，[2]，[1]，[3]，[7]，[5]，[4]，[8]。

5. 将序列看做是 8 个长度为 1 的子序列，即 [6]，[2]，[1]，[3]，[7]，[5]，[4]，[8]。

6. 第 1 趟排序：将子序列中的有序子序列两两归并，归并后的子序列为：[2, 6]，[1, 3]，[5, 7]，[4, 8]。

7. 第 2 趟排序：将子序列中的有序子序列两两归并，归并后的子序列为：[1, 2, 3, 6]，[4, 5, 7, 8]。

8. 第 3 趟排序：将子序列中的有序子序列两两归并，归并后的子序列为：[1, 2, 3, 4, 5, 6, 7, 8]。得到长度为 n 的有序序列，排序结束。

• 时间复杂度：O(n×log(2)⁡n)
• 归并排序算法的时间复杂度等于归并趟数与每一趟归并的时间复杂度乘积。递归分解的次数为O（log(2)⁡n)，而子算法 merge(int[] array,int start,int mid, int end)的时间复杂度是 O(n)，因此，归并排序算法总的时间复杂度为 O(n×log2⁡n)

• 空间复杂度：O(n)

• 稳定性：稳定
• 因为在两个有序子序列的归并过程中，如果两个有序序列中出现相同元素，归并排序能够使前一个序列中那个相同元素先被复制，从而确保这两个元素的相对次序不发生改变。

参考