常见排序算法详解及其复杂度分析

常见排序算法详解及其复杂度分析

排序算法是数据结构与算法学习中的基础内容，也是面试高频考点。本文将系统介绍几种常见的排序算法，包括它们的原理、时间复杂度、空间复杂度以及 Python 实现方法。

---

一、冒泡排序（Bubble Sort）

原理

通过多次遍历待排序序列，每次比较相邻元素并交换顺序错误的元素，每一轮都将最大（或最小）元素“冒泡”到序列末尾。

实现

def bubble_sort(arr):n = len(arr)for i in range(n):for j in range(0, n-i-1):if arr[j] > arr[j+1]:arr[j], arr[j+1] = arr[j+1], arr[j]

复杂度

• 时间复杂度：O(n²)
• 空间复杂度：O(1)
• 稳定性：稳定

---

二、选择排序（Selection Sort）

原理

每次从未排序部分选择最小（或最大）元素，放到已排序部分的末尾。

实现

def selection_sort(arr):n = len(arr)for i in range(n):min_idx = ifor j in range(i+1, n):if arr[j] < arr[min_idx]:min_idx = jarr[i], arr[min_idx] = arr[min_idx], arr[i]

复杂度

• 时间复杂度：O(n²)
• 空间复杂度：O(1)
• 稳定性：不稳定

---

三、插入排序（Insertion Sort）

原理

将未排序元素插入到已排序序列的合适位置。

实现

def insertion_sort(arr):n = len(arr)for i in range(1, n):key = arr[i]j = i - 1while j >= 0 and arr[j] > key:arr[j+1] = arr[j]j -= 1arr[j+1] = key

复杂度

• 时间复杂度：O(n²)
• 空间复杂度：O(1)
• 稳定性：稳定

---

四、归并排序（Merge Sort）

原理

采用分治思想，将序列递归分成两半，分别排序后合并。

实现

def merge_sort(arr):if len(arr) <= 1:return arrmid = len(arr) // 2left = merge_sort(arr[:mid])right = merge_sort(arr[mid:])return merge(left, right)def merge(left, right):result = []i = j = 0while i < len(left) and j < len(right):if left[i] <= right[j]:result.append(left[i])i += 1else:result.append(right[j])j += 1result.extend(left[i:])result.extend(right[j:])return result

复杂度

• 时间复杂度：O(n log n)
• 空间复杂度：O(n)
• 稳定性：稳定

---

五、快速排序（Quick Sort）

原理

分治思想，选一个“基准”元素，将序列分为小于和大于基准的两部分，递归排序。

实现

def quick_sort(arr):if len(arr) <= 1:return arrpivot = arr[0]left = [x for x in arr[1:] if x < pivot]right = [x for x in arr[1:] if x >= pivot]return quick_sort(left) + [pivot] + quick_sort(right)

复杂度

• 平均时间复杂度：O(n log n)
• 最坏时间复杂度：O(n²)
• 空间复杂度：O(log n) ~ O(n)
• 稳定性：不稳定

---

六、希尔排序（Shell Sort）

原理

将序列按一定间隔分组，对每组进行插入排序，逐步缩小间隔，最后整体插入排序。

实现

def shell_sort(arr):n = len(arr)gap = n // 2while gap > 0:for i in range(gap, n):temp = arr[i]j = iwhile j >= gap and arr[j-gap] > temp:arr[j] = arr[j-gap]j -= gaparr[j] = tempgap //= 2

复杂度

• 时间复杂度：O(n^1.3) ~ O(n²)（与步长序列有关）
• 空间复杂度：O(1)
• 稳定性：不稳定

---

七、堆排序（Heap Sort）

原理

利用堆这种数据结构（通常是大顶堆），每次取出堆顶元素，重建堆，直到排序完成。

实现

def heapify(arr, n, i):largest = il = 2*i + 1r = 2*i + 2if l < n and arr[l] > arr[largest]:largest = lif r < n and arr[r] > arr[largest]:largest = rif largest != i:arr[i], arr[largest] = arr[largest], arr[i]heapify(arr, n, largest)def heap_sort(arr):n = len(arr)for i in range(n//2-1, -1, -1):heapify(arr, n, i)for i in range(n-1, 0, -1):arr[0], arr[i] = arr[i], arr[0]heapify(arr, i, 0)

复杂度

• 时间复杂度：O(n log n)
• 空间复杂度：O(1)
• 稳定性：不稳定

---

八、计数排序（Counting Sort）

原理

适用于整数且范围不大的序列。统计每个数出现的次数，然后按顺序输出。

实现

def counting_sort(arr):if not arr:return arrmin_val = min(arr)max_val = max(arr)count = [0] * (max_val - min_val + 1)for num in arr:count[num - min_val] += 1result = []for i, c in enumerate(count):result.extend([i + min_val] * c)return result

复杂度

• 时间复杂度：O(n + k)（k为数值范围）
• 空间复杂度：O(k)
• 稳定性：稳定

---

九、常见排序算法复杂度对比表

算法	最好时间	最坏时间	平均时间	空间复杂度	稳定性
冒泡排序	O(n)	O(n²)	O(n²)	O(1)	稳定
选择排序	O(n²)	O(n²)	O(n²)	O(1)	不稳定
插入排序	O(n)	O(n²)	O(n²)	O(1)	稳定
希尔排序	O(n^1.3)	O(n²)	O(n^1.3)	O(1)	不稳定
归并排序	O(n log n)	O(n log n)	O(n log n)	O(n)	稳定
快速排序	O(n log n)	O(n²)	O(n log n)	O(log n)	不稳定
堆排序	O(n log n)	O(n log n)	O(n log n)	O(1)	不稳定
计数排序	O(n+k)	O(n+k)	O(n+k)	O(k)	稳定

---

十、总结

• 排序算法种类繁多，选择合适的算法要结合数据规模、数据特性和实际需求。
• 面试和实际开发中，常用的高效排序有快速排序、归并排序、堆排序等。
• Python 内置的 sort() 和 sorted() 使用的是 Timsort（归并+插入的优化），时间复杂度 O(n log n)，稳定且高效。

建议：

• 小数据量用插入、冒泡等简单算法，大数据量优先考虑快排、归并、堆排序。
• 了解每种算法的原理和适用场景，能灵活应对各种实际问题和面试考察。

---

如需更多算法讲解或代码实现，欢迎留言交流！