十大经典排序算法总结

引言 所谓排序，就是使一串记录，按照其中的某个或某些关键字的大小，递增或递减的排列起来的操作。排序算法，就是如何使得记录按照要求排列的方法。排序算法在很多领域得到相当地重视，尤其是在大量数据的处理方面。一个优秀的算法可以节省大量的资源。在各个领域中考虑到数据的各种限制和规范，要得到一个符合实际的优秀算法，得经过大量的推理和分析。 简介 排序算法总结 常见的内部排序算法有： 插入排序 、 希尔排序 、 选择排序 、 冒泡排序 、 归并排序 、 快速排序 、 堆排序 、 基数排序 等，本文只讲解内部排序算法。用一张表格概括： | 排序算法 | 时间复杂度（平均） | 时间复杂度（最差） | 时间复杂度（最好） | 空间复杂度 | 排序方式 | 稳定性 | | | | | | | | | | 冒泡排序 | O(n^2) | O(n^2) | O(n) | O(1) | 内部排序 | 稳定 | | 选择排序 | O(n^2) | O(n^2) | O(n^2) | O(1) | 内部排序 | 不稳定 | | 插入排序 | O(n^2) | O(n^2) | O(n) | O(1) | 内部排序 | 稳定 | | 希尔排序 | O(nlogn) | O(n^2) | O(nlogn) | O(1) | 内部排序 | 不稳定 | | 归并排序 | O(nlogn) | O(nlogn) | O(nlogn) | O(n) | 外部排序 | 稳定 | | 快速排序 | O(nlogn) | O(n^2) | O(nlogn) | O(logn) | 内部排序 | 不稳定 | | 堆排序 | O(nlogn) | O(nlogn) | O(nlogn) | O(1) | 内部排序 | 不稳定 | | 计数排序 | O(n+k) | O(n+k) | O(n+k) | O(k) | 外部排序 | 稳定 | | 桶排序 | O(n+k) | O(n^2) | O(n+k) | O(n+k) | 外部排序 | 稳定 | | 基数排序 | O(n×k) | O(n×k) | O(n×k) | O(n+k) | 外部排序 | 稳定 | 术语解释 ： n ：数据规模，表示待排序的数据量大小。 k ：“桶” 的个数，在某些特定的排序算法中（如基数排序、桶排序等），表示分割成的独立的排序区间或类别的数量。 内部排序 ：所有排序操作都在内存中完成，不需要额外的磁盘或其他存储设备的辅助。这适用于数据量小到足以完全加载到内存中的情况。 外部排序 ：当数据量过大，不可能全部加载到内存中时使用。外部排序通常涉及到数据的分区处理，部分数据被暂时存储在外部磁盘等存储设备上。 稳定 ：如果 A 原本在 B 前面，而 $A=B$，排序之后 A 仍然在 B 的前面。 不稳定 ：如果 A 原本在 B 的前面，而 $A=B$，排序之后 A 可能会出现在 B 的后面。 时间复杂度 ：定性描述一个算法执行所耗费的时间。 空间复杂度 ：定性描述一个算法执行所需内存的大小。 排序算法分类 十种常见排序算法可以分类两大类别： 比较类排序 和 非比较类排序 。 常见的 快速排序 、 归并排序 、 堆排序 以及 冒泡排序 等都属于 比较类排序算法 。比较类排序是通过比较来决定元素间的相对次序，由于其时间复杂度不能突破 ，因此也称为非线性时间比较类排序。在冒泡排序之类的排序中，问题规模为 ，又因为需要比较 次，所以平均时间复杂度为 。在 归并排序 、 快速排序 之类的排序中，问题规模通过 分治法 消减为 次，所以时间复杂度平均 。 比较类排序的优势是，适用于各种规模的数据，也不在乎数据的分布，都能进行排序。可以说，比较排序适用于一切需要排序的情况。 而 计数排序 、 基数排序 、 桶排序 则属于 非比较类排序算法 。非比较排序不通过比较来决定元素间的相对次序，而是通过确定每个元素之前，应该有多少个元素来排序。由于它可以突破基于比较排序的时间下界，以线性时间运行，因此称为线性时间非比较类排序。非比较排序只要确定每个元素之前已有的元素个数即可，所以一次遍历即可解决。算法时间复杂度 $O(n)$。 非比较排序时间复杂度低，但由于非比较排序需要占用空间来确定唯一位置。所以对数据规模和数据分布有一定的要求。 冒泡排序（Bubble Sort） 冒泡排序是一种简单的排序算法。它重复地遍历要排序的序列，依次比较两个元素，如果它们的顺序错误就把它们交换过来。遍历序列的工作是重复地进行直到没有再需要交换为止，此时说明该序列已经排序完成。这个算法的名字由来是因为越小的元素会经由交换慢慢 “浮” 到数列的顶端。 算法步骤 1. 比较相邻的元素。如果第一个比第二个大，就交换它们两个； 2. 对每一对相邻元素作同样的工作，从开始第一对到结尾的最后一对，这样在最后的元素应该会是最大的数； 3. 针对所有的元素重复以上的步骤，除了最后一个； 4. 重复步骤 1 3，直到排序完成。 图解算法 代码实现 此处对代码做了一个小优化，加入了 Flag，目的是将算法的最佳时间复杂度优化为 ，即当原输入序列就是排序好的情况下，该算法的时间复杂度就是 。 算法分析 稳定性 ：稳定 时间复杂度 ：最佳：$O(n)$，最差：$O(n^2)$，平均：$O(n^2)$ 空间复杂度 ：$O(1)$ 排序方式 ：In place 选择排序（Selection Sort） 选择排序是一种简单直观的排序算法，无论什么数据进去都是 $O(n^2)$ 的时间复杂度。所以用到它的时候，数据规模越小越好。唯一的好处可能就是不占用额外的内存空间了吧。它的工作原理：首先在未排序序列中找到最小（大）元素，存放到排序序列的起始位置，然后，再从剩余未排序元素中继续寻找最小（大）元素，然后放到已排序序列的末尾。以此类推，直到所有元素均排序完毕。 算法步骤 1. 首先在未排序序列中找到最小（大）元素，存放到排序序列的起始位置 2. 再从剩余未排序元素中继续寻找最小（大）元素，然后放到已排序序列的末尾。 3. 重复第 2 步，直到所有元素均排序完毕。 图解算法 代码实现 算法分析 稳定性 ：不稳定 时间复杂度 ：最佳：$O(n^2)$，最差：$O(n^2)$，平均：$O(n^2)$ 空间复杂度 ：$O(1)$ 排序方式 ：In place 插入排序（Insertion Sort） 插入排序是一种简单直观的排序算法。它的工作原理是通过构建有序序列，对于未排序数据，在已排序序列中从后向前扫描，找到相应位置并插入。插入排序在实现上，通常采用 in place 排序（即只需用到 $O(1)$ 的额外空间的排序），因而在从后向前扫描过程中，需要反复把已排序元素逐步向后挪位，为最新元素提供插入空间。 插入排序的代码实现虽然没有冒泡排序和选择排序那么简单粗暴，但它的原理应该是最容易理解的了，因为只要打过扑克牌的人都应该能够秒懂。插入排序是一种最简单直观的排序算法，它的工作原理是通过构建有序序列，对于未排序数据，在已排序序列中从后向前扫描，找到相应位置并插入。 插入排序和冒泡排序一样，也有一种优化算法，叫做拆半插入。 算法步骤 1. 从第一个元素开始，该元素可以认为已经被排序； 2. 取出下一个元素，在已经排序的元素序列中从后向前扫描； 3. 如果该元素（已排序）大于新元素，将该元素移到下一位置； 4. 重复步骤 3，直到找到已排序的元素小于或者等于新元素的位置； 5. 将新元素插入到该位置后； 6. 重复步骤 2 5。 图解算法 代码实现 算法分析 稳定性 ：稳定 时间复杂度 ：最佳：$O(n)$，最差：$O(n^2)$，平均：$O(n^2)$ 空间复杂度 ：$O(1)$ 排序方式 ：In place 希尔排序（Shell Sort） 希尔排序是希尔（Donald Shell）于 1959 年提出的一种排序算法。希尔排序也是一种插入排序，它是简单插入排序经过改进之后的一个更高效的版本，也称为递减增量排序算法，同时该算法是冲破 $O(n^2)$ 的第一批算法之一。 希尔排序的基本思想是：先将整个待排序的记录序列分割成为若干子序列分别进行直接插入排序，待整个序列中的记录 “基本有序” 时，再对全体记录进行依次直接插入排序。 算法步骤 我们来看下希尔排序的基本步骤，在此我们选择增量 $gap=length/2$，缩小增量继续以 $gap = gap/2$ 的方式，这种增量选择我们可以用一个序列来表示，$\lbrace \frac{n}{2}, \frac{(n/2)}{2}, \dots, 1 \rbrace$，称为 增量序列 。希尔排序的增量序列的选择与证明是个数学难题，我们选择的这个增量序列是比较常用的，也是希尔建议的增量，称为希尔增量，但其实这个增量序列不是最优的。此处我们做示例使用希尔增量。 先将整个待排序的记录序列分割成为若干子序列分别进行直接插入排序，具体算法描述： 选择一个增量序列 $\lbrace t\ 1, t\ 2, \dots, t\ k \rbrace$，其中 $t\ i \gt t\ j, i \lt j, t\ k = 1$； 按增量序列个数 k，对序列进行 k 趟排序； 每趟排序，根据对应的增量 $t$，将待排序列分割成若干长度为 $m$ 的子序列，分别对各子表进行直接插入排序。仅增量因子为 1 时，整个序列作为一个表来处理，表长度即为整个序列的长度。 图解算法 代码实现 算法分析 稳定性 ：不稳定 时间复杂度 ：最佳：$O(nlogn)$，最差：$O(n^2)$，平均：$O(nlogn)$ 空间复杂度 ：$O(1)$ 归并排序（Merge Sort） 归并排序是建立在归并操作上的一种有效的排序算法。该算法是采用分治法（Divide and Conquer）的一个非常典型的应用。归并排序是一种稳定的排序方法。将已有序的子序列合并，得到完全有序的序列；即先使每个子序列有序，再使子序列段间有序。若将两个有序表合并成一个有序表，称为 2 路归并。 和选择排序一样，归并排序的性能不受输入数据的影响，但表现比选择排序好的多，因为始终都是 $O(nlogn)$ 的时间复杂度。代价是需要额外的内存空间。 算法步骤 归并排序算法是一个递归过程，边界条件为当输入序列仅有一个元素时，直接返回，具体过程如下： 1. 如果输入内只有一个元素，则直接返回，否则将长度为 $n$ 的输入序列分成两个长度为 $n/2$ 的子序列； 2. 分别对这两个子序列进行归并排序，使子序列变为有序状态； 3. 设定两个指针，分别指向两个已经排序子序列的起始位置； 4. 比较两个指针所指向的元素，选择相对小的元素放入到合并空间（用于存放排序结果），并移动指针到下一位置； 5. 重复步骤 3 4 直到某一指针达到序列尾； 6. 将另一序列剩下的所有元素直接复制到合并序列尾。 图解算法 代码实现 算法分析 稳定性 ：稳定 时间复杂度 ：最佳：$O(nlogn)$，最差：$O(nlogn)$，平均：$O(nlogn)$ 空间复杂度 ：$O(n)$ 快速排序（Quick Sort） 快速排序用到了分治思想，同样的还有归并排序。乍看起来快速排序和归并排序非常相似，都是将问题变小，先排序子串，最后合并。不同的是快速排序在划分子问题的时候经过多一步处理，将划分的两组数据划分为一大一小，这样在最后合并的时候就不必像归并排序那样再进行比较。但也正因为如此，划分的不定性使得快速排序的时间复杂度并不稳定。 快速排序的基本思想：通过一趟排序将待排序列分隔成独立的两部分，其中一部分记录的元素均比另一部分的元素小，则可分别对这两部分子序列继续进行排序，以达到整个序列有序。 算法步骤 快速排序使用分治法（Divide and conquer）策略来把一个序列分为较小和较大的 2 个子序列，然后递归地排序两个子序列。具体算法描述如下： 1. 选择基准（Pivot） ：从数组中选一个元素作为基准。为了避免最坏情况，通常会随机选择。 2. 分区（Partition） ：重新排列序列，将所有比基准值小的元素摆放在基准前面，所有比基准值大的摆在基准的后面（相同的数可以到任一边）。在这个操作结束之后，该基准就处于数列的中间位置。 3. 递归（Recurse） ：递归地把小于基准值元素的子序列和大于基准值元素的子序列进行快速排序。 关于性能，这也是它与归并排序的关键区别： 平均和最佳情况： 它的时间复杂度是 $O(nlogn)$。这种情况发生在每次分区都能把数组分成均等的两半。 最坏情况： 它的时间复杂度会退化到 $O(n^2)$。这发生在每次我们选的基准都是当前数组的最小值或最大值时，比如对一个已经排好序的数组，每次都选第一个元素做基准，这就会导致分区极其不均，算法退化成类似冒泡排序。这就是为什么 随机选择基准 非常重要。 图解算法 代码实现 算法分析 稳定性 ：不稳定 时间复杂度 ：最佳：$O(nlogn)$，最差：$O(n^2)$，平均：$O(nlogn)$ 空间复杂度 ：$O(logn)$ 堆排序（Heap Sort） 堆排序是指利用堆这种数据结构所设计的一种排序算法。堆是一个近似完全二叉树的结构，并同时满足 堆的性质 ：即 子结点的值总是小于（或者大于）它的父节点 。 算法步骤 1. 将初始待排序列 $(R\ 1, R\ 2, \dots, R\ n)$ 构建成大顶堆，此堆为初始的无序区； 2. 将堆顶元素 $R\ 1$ 与最后一个元素 $R\ n$ 交换，此时得到新的无序区 $(R\ 1, R\ 2, \dots, R\ {n 1})$ 和新的有序区 $R\ n$，且满足 $R\ i \leqslant R\ n (i \in 1, 2,\dots, n 1)$； 3. 由于交换后新的堆顶 $R\ 1$ 可能违反堆的性质，因此需要对当前无序区 $(R\ 1, R\ 2, \dots, R\ {n 1})$ 调整为新堆，然后再次将 $R\ 1$ 与无序区最后一个元素交换，得到新的无序区 $(R\ 1, R\ 2, \dots, R\ {n 2})$ 和新的有序区 $(R\ {n 1}, R\ n)$。不断重复此过程直到有序区的元素个数为 $n 1$，则整个排序过程完成。 图解算法 代码实现 算法分析 稳定性 ：不稳定 时间复杂度 ：最佳：$O(nlogn)$，最差：$O(nlogn)$，平均：$O(nlogn)$ 空间复杂度 ：$O(1)$ 计数排序（Counting Sort） 计数排序的核心在于将输入的数据值转化为键存储在额外开辟的数组空间中。作为一种线性时间复杂度的排序， 计数排序要求输入的数据必须是有确定范围的整数 。 计数排序（Counting sort）是一种稳定的排序算法。计数排序使用一个额外的数组 ，其中第 个元素是待排序数组 中值等于 的元素的个数。然后根据数组 来将 中的元素排到正确的位置。 它只能对整数进行排序 。 算法步骤 1. 找出数组中的最大值 、最小值 ； 2. 创建一个新数组 ，其长度是 ，其元素默认值都为 0； 3. 遍历原数组 中的元素 ，以 作为 数组的索引，以 的值在 中元素出现次数作为 的值； 4. 对 数组变形， 新元素的值是该元素与前一个元素值的和 ，即当 时 ； 5. 创建结果数组 ，长度和原始数组一样。 6. 从后向前 遍历原始数组 中的元素 ，使用 减去最小值 作为索引，在计数数组 中找到对应的值 ， 就是 在结果数组 中的位置，做完上述这些操作，将 减小 1。 图解算法 代码实现 算法分析 当输入的元素是 个 到 之间的整数时，它的运行时间是 $O(n+k)$。计数排序不是比较排序，排序的速度快于任何比较排序算法。由于用来计数的数组 的长度取决于待排序数组中数据的范围（等于待排序数组的 最大值与最小值的差加上 1 ），这使得计数排序对于数据范围很大的数组，需要大量额外内存空间。 稳定性 ：稳定 时间复杂度 ：最佳：$O(n+k)$，最差：$O(n+k)$，平均：$O(n+k)$ 空间复杂度 ：$O(k)$ 桶排序（Bucket Sort） 桶排序是计数排序的升级版。它利用了函数的映射关系，高效与否的关键就在于这个映射函数的确定。为了使桶排序更加高效，我们需要做到这两点： 1. 在额外空间充足的情况下，尽量增大桶的数量 2. 使用的映射函数能够将输入的 N 个数据均匀的分配到 K 个桶中 桶排序的工作的原理：假设输入数据服从均匀分布，将数据分到有限数量的桶里，每个桶再分别排序（有可能再使用别的排序算法或是以递归方式继续使用桶排序进行。 算法步骤 1. 设置一个 BucketSize，作为每个桶所能放置多少个不同数值； 2. 遍历输入数据，并且把数据依次映射到对应的桶里去； 3. 对每个非空的桶进行排序，可以使用其它排序方法，也可以递归使用桶排序； 4. 从非空桶里把排好序的数据拼接起来。 图解算法 代码实现 算法分析 稳定性 ：稳定 时间复杂度 ：最佳：$O(n+k)$，最差：$O(n^2)$，平均：$O(n+k)$ 空间复杂度 ：$O(n+k)$ 基数排序（Radix Sort） 基数排序也是非比较的排序算法，对元素中的每一位数字进行排序，从最低位开始排序，复杂度为 $O(n×k)$，$n$ 为数组长度，$k$ 为数组中元素的最大的位数； 基数排序是按照低位先排序，然后收集；再按照高位排序，然后再收集；依次类推，直到最高位。有时候有些属性是有优先级顺序的，先按低优先级排序，再按高优先级排序。最后的次序就是高优先级高的在前，高优先级相同的低优先级高的在前。基数排序基于分别排序，分别收集，所以是稳定的。 算法步骤 1. 取得数组中的最大数，并取得位数，即为迭代次数 $N$（例如：数组中最大数值为 1000，则 $N=4$）； 2. 为原始数组，从最低位开始取每个位组成 数组； 3. 对 进行计数排序（利用计数排序适用于小范围数的特点）； 4. 将 依次赋值给原数组； 5. 重复 2 4 步骤 $N$ 次 图解算法 代码实现 算法分析 稳定性 ：稳定 时间复杂度 ：最佳：$O(n×k)$，最差：$O(n×k)$，平均：$O(n×k)$ 空间复杂度 ：$O(n+k)$ 基数排序 vs 计数排序 vs 桶排序 这三种排序算法都利用了桶的概念，但对桶的使用方法上有明显差异： 基数排序：根据键值的每位数字来分配桶 计数排序：每个桶只存储单一键值 桶排序：每个桶存储一定范围的数值 参考文章 排序算法总结（本文主要参考来源） <https://en.wikipedia.org/wiki/Sorting algorithm <https://sort.hust.cc/ 面试复盘重点 排序算法面试一般不会要求你把 10 种排序全部手写，但复杂度、稳定性、原地排序和适用场景要能说清。 | 排序算法 | 平均时间复杂度 | 最坏时间复杂度 | 空间复杂度 | 稳定性 | 是否原地 | | | | | | | | | 冒泡排序 | | | | 稳定 | 是 | | 选择排序 | | | | 不稳定 | 是 | | 插入排序 | | | | 稳定 | 是 | | 归并排序 | | | | 稳定 | 否 | | 快速排序 | | | | 不稳定 | 是 | | 堆排序 | | | | 不稳定 | 是 | | 计数排序 | | | | 稳定 | 否 | | 桶排序 | 和数据分布有关 | | | 取决于桶内排序 | 否 | | 基数排序 | | | | 稳定 | 否 | 几个高频追问： 快排为什么最坏是 ？如何降低退化概率？可以随机选 pivot 或三数取中。 归并排序为什么稳定？因为合并时相等元素可以优先取左侧元素。 堆排序为什么不稳定？因为堆调整和交换可能打乱相等元素原有顺序。 插入排序什么时候表现好？数组基本有序且规模不大时。 计数排序、桶排序、基数排序为什么不是通用排序？它们依赖数据范围、分布或位数。 Java 代码模板 排序面试最常手写的是快速排序和归并排序。快速排序要特别注意分区边界，下面是一个常见写法： 如果担心有序数组导致快排退化，可以在分区前随机选择 pivot，并把它交换到 位置。 过程示意和边界样例 快速排序的一次分区可以这样理解： 几个边界样例建议手写前先过一遍： 空数组或只有一个元素：直接返回。 已经有序或逆序：固定选择首尾元素做 pivot 容易退化。 大量重复元素：普通二路分区可能不够理想，可以了解三路快排。 面试官问稳定性时，不要说快排稳定；普通快排交换元素会打乱相等元素顺序。 写在最后 如果内容对你有帮助的话，欢迎顺手给 JavaGuide 点一个免费的 Star 支持一下：GitHub | Gitee。 JavaGuide 已持续维护近七年，累计 6100+ 次提交，来自 620+ 位贡献者共同完善。你的 Star、反馈和 PR，都是这个项目继续更新的动力。 如果你正在准备后端/AI 应用开发面试，也可以了解一下我的知识星球，里面包括后端和 AI 实战项目、简历优化、一对一提问和高频考点资料，已经持续维护六年。