深入浅出三大经典排序算法:冒泡排序、选择排序与快速排序详解(超详细)
本文深入解析三种经典排序算法:冒泡排序、选择排序与快速排序。冒泡排序通过相邻元素比较交换使较大元素逐渐"浮"到末尾,基础版本时间复杂度为O(n²),优化版本通过标志位和记录最后交换位置提高效率。选择排序每次选择最小元素放到已排序序列末尾,同样具有O(n²)复杂度。快速排序采用分治策略,平均复杂度为O(n log n),是最高效的排序算法之一。文章详细介绍了每种算法的原理、实现步
深入浅出三大经典排序算法:冒泡排序、选择排序与快速排序详解
1. 引言:排序算法的重要性与分类
排序算法是计算机科学中最基础、最重要的算法之一,在日常编程、数据处理、数据库管理和人工智能等领域都有广泛应用。排序的本质是将一组无序的数据按照特定顺序(升序或降序)重新排列的过程。掌握排序算法不仅有助于理解算法设计的基本思想,还能提升编程能力和问题解决能力。
本文将深入探讨三种经典的排序算法:冒泡排序、选择排序和快速排序。我们将从算法原理、实现步骤、代码实现、复杂度分析以及优化策略等多个角度进行详细讲解,每种算法都会配以丰富的代码示例和详细的解释。通过本文的学习,读者不仅能够理解这些算法的核心思想,还能够掌握它们的实际应用和优化技巧。
2. 冒泡排序(Bubble Sort)
2.1 算法原理
冒泡排序是一种简单的比较排序算法,它的基本思想是通过相邻元素之间的比较和交换,使得较大的元素逐渐"浮"到数组的末尾,就像气泡逐渐上升到水面一样。算法的名字来源于排序过程中较小的元素会像气泡一样逐渐"冒"到数组的前端。
冒泡排序的核心操作是:重复地遍历要排序的数组,比较相邻的两个元素,如果它们的顺序错误(例如前一个元素大于后一个元素,而我们想要升序排列),就交换它们的位置。每一轮遍历都会使当前未排序部分的最大元素"浮"到正确的位置。
2.2 算法步骤详解
冒泡排序的具体步骤如下:
- 从数组的第一个元素开始,比较相邻的两个元素
- 如果前一个元素大于后一个元素(对于升序排序),则交换它们的位置
- 对每一对相邻元素重复步骤1-2,直到遍历到数组的最后一个元素
- 此时,最后一个元素应该是数组中最大的元素
- 重复步骤1-4,每次遍历的长度减1(因为每次遍历后,未排序部分的最大元素已经就位)
- 当没有元素需要交换时,排序完成
2.3 基础冒泡排序实现
下面是一个基础的冒泡排序实现,包含详细的注释说明:
def bubble_sort_basic(arr):
"""
基础冒泡排序算法实现
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
# 获取数组长度
n = len(arr)
# 外层循环控制排序的轮数,n个元素需要n-1轮排序
for i in range(n - 1):
# 内层循环进行相邻元素的比较和交换
# 每轮排序后,最后i+1个元素已经有序,所以内层循环次数为n-1-i
for j in range(0, n - 1 - i):
# 如果前一个元素大于后一个元素,则交换它们的位置
if arr[j] > arr[j + 1]:
# 使用临时变量temp进行元素交换
temp = arr[j]
arr[j] = arr[j + 1]
arr[j + 1] = temp
return arr
# 测试基础冒泡排序
def test_bubble_sort_basic():
"""测试基础冒泡排序函数"""
# 测试用例1:普通数组
test_arr1 = [64, 34, 25, 12, 22, 11, 90]
print("原始数组:", test_arr1)
sorted_arr1 = bubble_sort_basic(test_arr1.copy())
print("排序后数组:", sorted_arr1)
# 测试用例2:已排序数组
test_arr2 = [1, 2, 3, 4, 5]
print("\n原始数组:", test_arr2)
sorted_arr2 = bubble_sort_basic(test_arr2.copy())
print("排序后数组:", sorted_arr2)
# 测试用例3:逆序数组
test_arr3 = [9, 8, 7, 6, 5, 4, 3, 2, 1]
print("\n原始数组:", test_arr3)
sorted_arr3 = bubble_sort_basic(test_arr3.copy())
print("排序后数组:", sorted_arr3)
# 测试用例4:包含重复元素的数组
test_arr4 = [5, 2, 8, 2, 9, 1, 5, 5]
print("\n原始数组:", test_arr4)
sorted_arr4 = bubble_sort_basic(test_arr4.copy())
print("排序后数组:", sorted_arr4)
# 执行测试
test_bubble_sort_basic()
2.4 冒泡排序的优化版本
基础冒泡排序算法存在一个明显的效率问题:即使数组在中间某轮已经排序完成,算法仍然会继续执行剩余的轮次。我们可以通过添加一个标志位来优化这个问题:
def bubble_sort_optimized(arr):
"""
优化版冒泡排序算法
优化点:添加标志位,如果某一轮没有发生交换,说明数组已经有序,可以提前终止排序
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
n = len(arr)
# 外层循环控制排序的轮数
for i in range(n - 1):
# 设置交换标志位,初始值为False
swapped = False
# 内层循环进行相邻元素的比较和交换
for j in range(0, n - 1 - i):
if arr[j] > arr[j + 1]:
# 交换元素
arr[j], arr[j + 1] = arr[j + 1], arr[j]
# 设置交换标志位为True
swapped = True
# 如果本轮没有发生交换,说明数组已经有序,提前结束排序
if not swapped:
break
return arr
# 优化版本测试
def test_bubble_sort_optimized():
"""测试优化版冒泡排序"""
# 测试用例:部分有序数组
test_arr = [1, 2, 3, 5, 4, 6, 7, 8]
print("原始数组:", test_arr)
# 模拟排序过程,展示优化效果
print("\n优化版冒泡排序过程模拟:")
arr_copy = test_arr.copy()
n = len(arr_copy)
for i in range(n - 1):
swapped = False
print(f"\n第{i+1}轮排序:")
for j in range(0, n - 1 - i):
if arr_copy[j] > arr_copy[j + 1]:
print(f" 交换 {arr_copy[j]} 和 {arr_copy[j+1]}")
arr_copy[j], arr_copy[j + 1] = arr_copy[j + 1], arr_copy[j]
swapped = True
print(f" 本轮结果: {arr_copy}")
if not swapped:
print(f" 没有发生交换,排序提前结束!")
break
print(f"\n最终排序结果: {arr_copy}")
test_bubble_sort_optimized()
2.5 冒泡排序的进一步优化:记录最后交换位置
我们可以进一步优化冒泡排序,记录最后一次交换的位置,这个位置之后的元素已经有序,下一轮只需要比较到这个位置即可:
def bubble_sort_advanced(arr):
"""
高级优化版冒泡排序
优化点:记录最后一次交换的位置,下一轮只需比较到这个位置
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
n = len(arr)
# 初始化最后交换位置为数组末尾
last_swap_index = n - 1
# 当最后交换位置大于0时,继续排序
while last_swap_index > 0:
# 记录当前轮的最后交换位置
current_last_swap = 0
# 只比较到上一轮的最后交换位置
for i in range(last_swap_index):
if arr[i] > arr[i + 1]:
# 交换元素
arr[i], arr[i + 1] = arr[i + 1], arr[i]
# 更新当前轮的最后交换位置
current_last_swap = i
# 更新最后交换位置
last_swap_index = current_last_swap
# 调试输出,展示每轮排序后的数组状态
print(f"本轮排序后数组: {arr}, 下次只需比较到索引{last_swap_index}")
return arr
# 测试高级优化版本
def test_bubble_sort_advanced():
"""测试高级优化版冒泡排序"""
test_arr = [64, 34, 25, 12, 22, 11, 90, 18, 45, 77]
print("原始数组:", test_arr)
print("\n高级优化版冒泡排序过程:")
sorted_arr = bubble_sort_advanced(test_arr.copy())
print(f"\n最终排序结果: {sorted_arr}")
test_bubble_sort_advanced()
2.6 冒泡排序的复杂度分析
时间复杂度:
- 最坏情况:数组完全逆序,需要比较和交换n(n-1)/2次,时间复杂度为O(n²)
- 最好情况:数组已经有序,优化后只需要比较n-1次,时间复杂度为O(n)
- 平均情况:时间复杂度为O(n²)
空间复杂度:
- 冒泡排序是原地排序算法,只需要常数级别的额外空间,空间复杂度为O(1)
稳定性:
- 冒泡排序是稳定的排序算法,相等元素的相对位置不会改变
2.7 冒泡排序的优缺点
优点:
- 算法简单,易于理解和实现
- 原地排序,不需要额外的存储空间
- 稳定排序,相等元素的相对位置保持不变
- 对于小规模数据或基本有序的数据表现良好
缺点:
- 时间复杂度高,不适合大规模数据排序
- 效率较低,特别是对于完全无序的数据
2.8 冒泡排序的应用场景
尽管冒泡排序在效率上不如许多其他排序算法,但在某些特定场景下仍然有其应用价值:
- 教学用途:由于算法简单直观,常用于算法入门教学
- 小规模数据排序:当数据量很小时(如n<50),冒泡排序的实际性能可能可以接受
- 基本有序数据:对于已经基本有序的数据,优化后的冒泡排序效率较高
- 空间受限环境:由于是原地排序,适用于内存受限的环境
3. 选择排序(Selection Sort)
3.1 算法原理
选择排序是一种简单直观的排序算法,它的工作原理是:首先在未排序序列中找到最小(或最大)元素,存放到排序序列的起始位置,然后,再从剩余未排序元素中继续寻找最小(或最大)元素,然后放到已排序序列的末尾。以此类推,直到所有元素均排序完毕。
选择排序的主要特点是通过不断选择剩余元素中的最小元素来实现排序,因此得名"选择排序"。
3.2 算法步骤详解
选择排序的具体步骤如下:
- 将数组分为两部分:已排序部分和未排序部分
- 初始时,已排序部分为空,未排序部分为整个数组
- 在未排序部分中找到最小元素
- 将最小元素与未排序部分的第一个元素交换位置
- 此时,已排序部分增加一个元素,未排序部分减少一个元素
- 重复步骤3-5,直到未排序部分为空
3.3 基础选择排序实现
下面是选择排序的基础实现,包含详细注释:
def selection_sort_basic(arr):
"""
基础选择排序算法实现
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
# 获取数组长度
n = len(arr)
# 外层循环遍历数组的每个位置(除了最后一个)
# i表示已排序部分的末尾位置,也即未排序部分的起始位置
for i in range(n - 1):
# 假设当前未排序部分的第一个元素为最小值
min_index = i
# 内层循环在未排序部分中查找最小元素
# 从i+1开始,因为i位置的元素是假设的最小值
for j in range(i + 1, n):
# 如果找到更小的元素,更新最小元素的索引
if arr[j] < arr[min_index]:
min_index = j
# 将找到的最小元素与未排序部分的第一个元素交换位置
# 如果最小元素已经在正确位置(即min_index等于i),则不需要交换
if min_index != i:
arr[i], arr[min_index] = arr[min_index], arr[i]
# 打印每轮排序后的结果,便于理解算法过程
print(f"第{i+1}轮排序后: {arr} (将索引{i}的元素与索引{min_index}的元素交换)")
return arr
# 测试基础选择排序
def test_selection_sort_basic():
"""测试基础选择排序函数"""
# 测试用例1:普通数组
test_arr = [64, 25, 12, 22, 11]
print("原始数组:", test_arr)
print("\n选择排序过程:")
sorted_arr = selection_sort_basic(test_arr.copy())
print(f"\n最终排序结果: {sorted_arr}")
# 测试用例2:已排序数组
test_arr2 = [1, 2, 3, 4, 5]
print("\n\n原始数组:", test_arr2)
print("\n选择排序过程:")
sorted_arr2 = selection_sort_basic(test_arr2.copy())
print(f"\n最终排序结果: {sorted_arr2}")
# 测试用例3:逆序数组
test_arr3 = [9, 8, 7, 6, 5]
print("\n\n原始数组:", test_arr3)
print("\n选择排序过程:")
sorted_arr3 = selection_sort_basic(test_arr3.copy())
print(f"\n最终排序结果: {sorted_arr3}")
test_selection_sort_basic()
3.4 选择排序的优化版本:同时找到最小和最大值
我们可以对选择排序进行优化,在一次遍历中同时找到最小值和最大值,这样可以减少大约一半的遍历次数:
def selection_sort_optimized(arr):
"""
优化版选择排序:同时找到最小值和最大值
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
n = len(arr)
# 只需要遍历一半的长度,因为每次处理两个元素(最小值和最大值)
for i in range(n // 2):
# 初始化最小值和最大值的索引
min_index = i
max_index = i
# 在未排序部分中查找最小值和最大值
# 注意:由于每次处理后两端元素都会就位,所以未排序部分为[i, n-1-i]
for j in range(i + 1, n - i):
if arr[j] < arr[min_index]:
min_index = j
elif arr[j] > arr[max_index]:
max_index = j
# 打印调试信息
print(f"\n第{i+1}轮开始:")
print(f" 未排序部分: {arr[i:n-i]}")
print(f" 找到最小值: arr[{min_index}] = {arr[min_index]}")
print(f" 找到最大值: arr[{max_index}] = {arr[max_index]}")
# 将最小值放到未排序部分的起始位置
if min_index != i:
arr[i], arr[min_index] = arr[min_index], arr[i]
# 如果最大值原来在i位置,现在被移动到了min_index位置
if max_index == i:
max_index = min_index
# 将最大值放到未排序部分的末尾位置
if max_index != n - 1 - i:
arr[n - 1 - i], arr[max_index] = arr[max_index], arr[n - 1 - i]
print(f" 本轮结束后: {arr}")
# 测试优化版选择排序
def test_selection_sort_optimized():
"""测试优化版选择排序"""
test_arr = [64, 34, 25, 12, 22, 11, 90, 45, 77]
print("原始数组:", test_arr)
print("\n优化版选择排序过程:")
sorted_arr = test_arr.copy()
selection_sort_optimized(sorted_arr)
print(f"\n最终排序结果: {sorted_arr}")
test_selection_sort_optimized()
3.5 选择排序的复杂度分析
时间复杂度:
- 最坏情况:无论数组初始状态如何,都需要进行n(n-1)/2次比较,时间复杂度为O(n²)
- 最好情况:同样需要进行n(n-1)/2次比较,时间复杂度为O(n²)
- 平均情况:时间复杂度为O(n²)
选择排序的时间复杂度在所有情况下都是O(n²),这是因为无论数组是否有序,选择排序都需要遍历未排序部分的所有元素来找到最小(或最大)元素。
空间复杂度:
- 选择排序是原地排序算法,只需要常数级别的额外空间,空间复杂度为O(1)
稳定性:
- 基础选择排序是不稳定的排序算法,因为交换操作可能改变相等元素的相对顺序
- 可以通过额外空间或修改交换逻辑来实现稳定版本,但会增加复杂度
3.6 选择排序的优缺点
优点:
- 算法简单,易于理解和实现
- 原地排序,不需要额外的存储空间
- 交换次数较少,最多进行n-1次交换
- 对于小规模数据或交换成本较高的场景有一定优势
缺点:
- 时间复杂度高,总是O(n²),不适合大规模数据排序
- 不稳定排序(基础版本)
- 对已经有序或基本有序的数据没有优化
3.7 选择排序的应用场景
选择排序在以下场景中可能适用:
- 小规模数据排序:当数据量很小时,选择排序的简单性可能使其成为合理选择
- 交换成本高的场景:如果交换操作的成本远高于比较操作,选择排序可能有优势
- 内存受限环境:由于是原地排序,适用于内存受限的环境
- 教学用途:作为理解排序算法的入门示例
3.8 选择排序的变种:双向选择排序
双向选择排序(也称为鸡尾酒选择排序)是选择排序的一种变体,它从两个方向同时进行选择排序:
def bidirectional_selection_sort(arr):
"""
双向选择排序(鸡尾酒选择排序)
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
n = len(arr)
left = 0
right = n - 1
while left < right:
# 初始化最小值和最大值的索引
min_index = left
max_index = right
# 在当前未排序部分中查找最小值和最大值
for i in range(left, right + 1):
if arr[i] < arr[min_index]:
min_index = i
if arr[i] > arr[max_index]:
max_index = i
# 将最小值放到未排序部分的起始位置
if min_index != left:
arr[left], arr[min_index] = arr[min_index], arr[left]
# 如果最大值原来在left位置,更新其索引
if max_index == left:
max_index = min_index
# 将最大值放到未排序部分的末尾位置
if max_index != right:
arr[right], arr[max_index] = arr[max_index], arr[right]
# 缩小未排序部分的范围
left += 1
right -= 1
print(f"本轮结束后: {arr}, 未排序范围: [{left}, {right}]")
return arr
# 测试双向选择排序
def test_bidirectional_selection_sort():
"""测试双向选择排序"""
test_arr = [5, 2, 8, 1, 9, 3, 7, 4, 6]
print("原始数组:", test_arr)
print("\n双向选择排序过程:")
sorted_arr = bidirectional_selection_sort(test_arr.copy())
print(f"\n最终排序结果: {sorted_arr}")
test_bidirectional_selection_sort()
4. 快速排序(Quick Sort)
4.1 算法原理
快速排序是一种高效的排序算法,采用分治策略。它的基本思想是:选择一个基准元素,通过一趟排序将待排记录分隔成独立的两部分,其中一部分记录的关键字均比基准元素小,另一部分记录的关键字均比基准元素大,然后分别对这两部分记录继续进行排序,以达到整个序列有序。
快速排序的核心操作是分区(partition),即将数组重新排列,使得所有小于基准的元素都在基准之前,所有大于基准的元素都在基准之后。
4.2 算法步骤详解
快速排序的具体步骤如下:
- 从数列中挑出一个元素,称为"基准"(pivot)
- 重新排序数列,所有比基准值小的元素摆放在基准前面,所有比基准值大的元素摆放在基准后面(相同的数可以到任一边)。在这个分区退出之后,该基准就处于数列的中间位置。这个称为分区(partition)操作
- 递归地(recursive)把小于基准值元素的子数列和大于基准值元素的子数列排序
4.3 Lomuto分区方案实现
Lomuto分区方案是快速排序的一种常见实现方式,它选择最后一个元素作为基准:
def quicksort_lomuto(arr, low, high):
"""
使用Lomuto分区方案的快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
if low < high:
# 分区操作,返回基准元素的正确位置索引
pi = partition_lomuto(arr, low, high)
# 递归排序基准左侧的子数组
quicksort_lomuto(arr, low, pi - 1)
# 递归排序基准右侧的子数组
quicksort_lomuto(arr, pi + 1, high)
def partition_lomuto(arr, low, high):
"""
Lomuto分区方案
参数:
arr: 待分区的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
基准元素的正确位置索引
"""
# 选择最后一个元素作为基准
pivot = arr[high]
# i表示小于基准的元素的边界
i = low - 1
# 遍历数组,将小于基准的元素移到左侧
for j in range(low, high):
if arr[j] <= pivot:
# 增加小于基准的元素的边界
i += 1
# 交换arr[i]和arr[j]
arr[i], arr[j] = arr[j], arr[i]
# 将基准元素放到正确的位置
arr[i + 1], arr[high] = arr[high], arr[i + 1]
# 返回基准元素的索引
return i + 1
# 测试Lomuto分区方案的快速排序
def test_quicksort_lomuto():
"""测试Lomuto分区方案的快速排序"""
test_arr = [10, 7, 8, 9, 1, 5]
print("原始数组:", test_arr)
arr_copy = test_arr.copy()
quicksort_lomuto(arr_copy, 0, len(arr_copy) - 1)
print("快速排序(Lomuto)后:", arr_copy)
# 更详细的测试
test_cases = [
[64, 34, 25, 12, 22, 11, 90],
[5, 4, 3, 2, 1],
[1, 2, 3, 4, 5],
[3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5]
]
print("\n更多测试用例:")
for i, test_case in enumerate(test_cases):
arr_copy = test_case.copy()
print(f"\n测试用例{i+1}: {test_case}")
quicksort_lomuto(arr_copy, 0, len(arr_copy) - 1)
print(f"排序后: {arr_copy}")
test_quicksort_lomuto()
4.4 Hoare分区方案实现
Hoare分区方案是快速排序的原始实现,通常比Lomuto方案更高效:
def quicksort_hoare(arr, low, high):
"""
使用Hoare分区方案的快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
if low < high:
# 分区操作,返回基准元素的正确位置索引
pi = partition_hoare(arr, low, high)
# 递归排序基准左侧的子数组
quicksort_hoare(arr, low, pi)
# 递归排序基准右侧的子数组
quicksort_hoare(arr, pi + 1, high)
def partition_hoare(arr, low, high):
"""
Hoare分区方案
参数:
arr: 待分区的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
基准元素的正确位置索引
"""
# 选择第一个元素作为基准
pivot = arr[low]
# 初始化左右指针
i = low - 1
j = high + 1
while True:
# 从左侧找到第一个大于等于基准的元素
i += 1
while arr[i] < pivot:
i += 1
# 从右侧找到第一个小于等于基准的元素
j -= 1
while arr[j] > pivot:
j -= 1
# 如果指针相遇或交叉,返回j作为分区点
if i >= j:
return j
# 交换arr[i]和arr[j]
arr[i], arr[j] = arr[j], arr[i]
# 测试Hoare分区方案的快速排序
def test_quicksort_hoare():
"""测试Hoare分区方案的快速排序"""
test_arr = [10, 7, 8, 9, 1, 5]
print("原始数组:", test_arr)
arr_copy = test_arr.copy()
quicksort_hoare(arr_copy, 0, len(arr_copy) - 1)
print("快速排序(Hoare)后:", arr_copy)
# 与Lomuto方案的比较
print("\n对比Lomuto和Hoare分区方案:")
import time
import random
# 生成随机测试数据
random.seed(42)
test_data = [random.randint(0, 10000) for _ in range(1000)]
# 测试Lomuto方案
lomuto_data = test_data.copy()
start_time = time.time()
quicksort_lomuto(lomuto_data, 0, len(lomuto_data) - 1)
lomuto_time = time.time() - start_time
# 测试Hoare方案
hoare_data = test_data.copy()
start_time = time.time()
quicksort_hoare(hoare_data, 0, len(hoare_data) - 1)
hoare_time = time.time() - start_time
print(f"Lomuto方案时间: {lomuto_time:.6f}秒")
print(f"Hoare方案时间: {hoare_time:.6f}秒")
print(f"两种方案结果是否一致: {lomuto_data == hoare_data}")
test_quicksort_hoare()
4.5 快速排序的优化策略
快速排序在最坏情况下性能会下降到O(n²),但通过一些优化策略可以显著改善其性能:
4.5.1 三数取中法选择基准
def median_of_three(arr, low, high):
"""
三数取中法选择基准
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
基准元素的值
"""
mid = (low + high) // 2
# 对arr[low], arr[mid], arr[high]进行排序
if arr[low] > arr[mid]:
arr[low], arr[mid] = arr[mid], arr[low]
if arr[low] > arr[high]:
arr[low], arr[high] = arr[high], arr[low]
if arr[mid] > arr[high]:
arr[mid], arr[high] = arr[high], arr[mid]
# 将中间值放到high-1位置,作为基准
arr[mid], arr[high - 1] = arr[high - 1], arr[mid]
return arr[high - 1]
def quicksort_median_of_three(arr, low, high):
"""
使用三数取中法优化的快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
if low < high:
# 如果子数组长度大于3,使用三数取中法选择基准
if high - low + 1 > 3:
pivot = median_of_three(arr, low, high)
# 分区操作
i = low
j = high - 1
while True:
i += 1
while arr[i] < pivot:
i += 1
j -= 1
while arr[j] > pivot:
j -= 1
if i < j:
arr[i], arr[j] = arr[j], arr[i]
else:
break
# 将基准放到正确位置
arr[i], arr[high - 1] = arr[high - 1], arr[i]
# 递归排序
quicksort_median_of_three(arr, low, i - 1)
quicksort_median_of_three(arr, i + 1, high)
else:
# 对于小数组,使用插入排序
insertion_sort_for_quick(arr, low, high)
def insertion_sort_for_quick(arr, low, high):
"""
用于快速排序的插入排序(处理小数组)
参数:
arr: 待排序的列表
low: 子数组的起始索引
high: 子数组的结束索引
返回值:
无(原地排序)
"""
for i in range(low + 1, high + 1):
key = arr[i]
j = i - 1
while j >= low and arr[j] > key:
arr[j + 1] = arr[j]
j -= 1
arr[j + 1] = key
4.5.2 尾递归优化
def quicksort_tail_recursion(arr, low, high):
"""
尾递归优化的快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
while low < high:
# 分区操作
pi = partition_lomuto(arr, low, high)
# 递归排序较小的子数组
if pi - low < high - pi:
quicksort_tail_recursion(arr, low, pi - 1)
low = pi + 1
else:
quicksort_tail_recursion(arr, pi + 1, high)
high = pi - 1
4.5.3 随机化快速排序
import random
def quicksort_randomized(arr, low, high):
"""
随机化快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
if low < high:
# 随机选择基准
random_index = random.randint(low, high)
arr[random_index], arr[high] = arr[high], arr[random_index]
# 分区操作
pi = partition_lomuto(arr, low, high)
# 递归排序
quicksort_randomized(arr, low, pi - 1)
quicksort_randomized(arr, pi + 1, high)
4.6 快速排序的复杂度分析
时间复杂度:
- 最坏情况:当每次选择的基准都是最小或最大元素时,递归树变成链状,时间复杂度为O(n²)
- 最好情况:每次选择的基准都能将数组均匀分成两部分,时间复杂度为O(n log n)
- 平均情况:时间复杂度为O(n log n)
空间复杂度:
- 最坏情况:递归调用栈的深度为n,空间复杂度为O(n)
- 最好情况:递归调用栈的深度为log n,空间复杂度为O(log n)
- 平均情况:空间复杂度为O(log n)
稳定性:
- 快速排序是不稳定的排序算法,因为分区过程中相等元素的相对位置可能改变
4.7 快速排序的优缺点
优点:
- 平均时间复杂度为O(n log n),效率高
- 原地排序,空间复杂度低
- 实际应用中通常比其他O(n log n)算法更快
- 可以通过多种策略优化以适应不同场景
缺点:
- 最坏情况时间复杂度为O(n²)
- 不稳定排序
- 递归实现可能导致栈溢出
- 对小规模数据效率不如简单排序算法
4.8 快速排序的应用场景
快速排序在以下场景中表现出色:
- 大规模数据排序:平均情况下效率高,适合大规模数据处理
- 通用排序需求:大多数编程语言的标准库中的排序函数都采用快速排序或类似算法
- 内存受限环境:原地排序特性使其适合内存受限的场景
- 并行计算:可以相对容易地实现并行版本
4.9 快速排序的迭代实现
除了递归实现,快速排序也可以使用迭代方式实现,避免递归调用栈过深的问题:
def quicksort_iterative(arr):
"""
迭代版快速排序
参数:
arr: 待排序的列表
返回值:
排序后的列表
"""
# 使用栈来模拟递归调用
stack = []
# 初始范围入栈
stack.append(0)
stack.append(len(arr) - 1)
while stack:
# 弹出范围
high = stack.pop()
low = stack.pop()
# 分区操作
pi = partition_lomuto(arr, low, high)
# 如果左侧子数组有元素,将其范围入栈
if pi - 1 > low:
stack.append(low)
stack.append(pi - 1)
# 如果右侧子数组有元素,将其范围入栈
if pi + 1 < high:
stack.append(pi + 1)
stack.append(high)
return arr
# 测试迭代版快速排序
def test_quicksort_iterative():
"""测试迭代版快速排序"""
test_arr = [10, 7, 8, 9, 1, 5, 3, 6, 2, 4]
print("原始数组:", test_arr)
sorted_arr = quicksort_iterative(test_arr.copy())
print("迭代版快速排序后:", sorted_arr)
# 与递归版比较
print("\n与递归版比较:")
recursive_arr = test_arr.copy()
quicksort_lomuto(recursive_arr, 0, len(recursive_arr) - 1)
print("递归版结果:", recursive_arr)
print("两种实现结果是否一致:", sorted_arr == recursive_arr)
test_quicksort_iterative()
4.10 三路快速排序
对于包含大量重复元素的数组,标准快速排序效率较低。三路快速排序通过将数组分成三部分(小于、等于、大于基准)来解决这个问题:
def quicksort_three_way(arr, low, high):
"""
三路快速排序
参数:
arr: 待排序的列表
low: 当前子数组的起始索引
high: 当前子数组的结束索引
返回值:
无(原地排序)
"""
if low < high:
# 随机选择基准
random_index = random.randint(low, high)
arr[low], arr[random_index] = arr[random_index], arr[low]
pivot = arr[low]
# 初始化三个指针
lt = low # 小于基准的右边界
gt = high # 大于基准的左边界
i = low + 1 # 当前检查的元素
while i <= gt:
if arr[i] < pivot:
arr[lt], arr[i] = arr[i], arr[lt]
lt += 1
i += 1
elif arr[i] > pivot:
arr[i], arr[gt] = arr[gt], arr[i]
gt -= 1
else:
i += 1
# 递归排序小于和大于基准的部分
quicksort_three_way(arr, low, lt - 1)
quicksort_three_way(arr, gt + 1, high)
# 测试三路快速排序
def test_quicksort_three_way():
"""测试三路快速排序"""
# 测试包含大量重复元素的数组
test_arr = [3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5, 8, 9, 7, 9, 3, 2, 3, 8]
print("原始数组:", test_arr)
print("数组长度:", len(test_arr))
sorted_arr = test_arr.copy()
quicksort_three_way(sorted_arr, 0, len(sorted_arr) - 1)
print("三路快速排序后:", sorted_arr)
# 与标准快速排序比较
print("\n与标准快速排序比较:")
import time
# 生成包含大量重复元素的测试数据
random.seed(42)
test_data = [random.randint(0, 10) for _ in range(10000)]
# 测试三路快速排序
three_way_data = test_data.copy()
start_time = time.time()
quicksort_three_way(three_way_data, 0, len(three_way_data) - 1)
three_way_time = time.time() - start_time
# 测试标准快速排序
standard_data = test_data.copy()
start_time = time.time()
quicksort_lomuto(standard_data, 0, len(standard_data) - 1)
standard_time = time.time() - start_time
print(f"三路快速排序时间: {three_way_time:.6f}秒")
print(f"标准快速排序时间: {standard_time:.6f}秒")
print(f"两种算法结果是否一致: {three_way_data == standard_data}")
test_quicksort_three_way()
5. 三种排序算法的比较与分析
5.1 时间复杂度对比
| 算法 | 最好情况 | 平均情况 | 最坏情况 |
|---|---|---|---|
| 冒泡排序 | O(n) | O(n²) | O(n²) |
| 选择排序 | O(n²) | O(n²) | O(n²) |
| 快速排序 | O(n log n) | O(n log n) | O(n²) |
5.2 空间复杂度对比
| 算法 | 空间复杂度 | 是否原地排序 |
|---|---|---|
| 冒泡排序 | O(1) | 是 |
| 选择排序 | O(1) | 是 |
| 快速排序 | O(log n) ~ O(n) | 是 |
5.3 稳定性对比
| 算法 | 是否稳定 |
|---|---|
| 冒泡排序 | 是 |
| 选择排序 | 否(基础版本) |
| 快速排序 | 否 |
5.4 实际性能测试
下面我们通过实际测试来比较这三种排序算法的性能:
import time
import random
import matplotlib.pyplot as plt
import numpy as np
def performance_comparison():
"""三种排序算法性能比较"""
# 设置随机种子以保证结果可重复
random.seed(42)
# 测试不同规模的数据
sizes = [100, 500, 1000, 5000, 10000]
# 存储每种算法在不同数据规模下的运行时间
bubble_times = []
selection_times = []
quick_times = []
for size in sizes:
# 生成随机测试数据
test_data = [random.randint(0, 10000) for _ in range(size)]
# 测试冒泡排序
bubble_data = test_data.copy()
start_time = time.time()
bubble_sort_optimized(bubble_data)
bubble_times.append(time.time() - start_time)
# 测试选择排序
selection_data = test_data.copy()
start_time = time.time()
selection_sort_basic(selection_data)
selection_times.append(time.time() - start_time)
# 测试快速排序
quick_data = test_data.copy()
start_time = time.time()
quicksort_lomuto(quick_data, 0, len(quick_data) - 1)
quick_times.append(time.time() - start_time)
print(f"数据规模: {size}")
print(f" 冒泡排序: {bubble_times[-1]:.6f}秒")
print(f" 选择排序: {selection_times[-1]:.6f}秒")
print(f" 快速排序: {quick_times[-1]:.6f}秒")
print()
# 绘制性能对比图
plt.figure(figsize=(12, 8))
plt.subplot(2, 2, 1)
plt.plot(sizes, bubble_times, 'o-', label='冒泡排序', linewidth=2)
plt.plot(sizes, selection_times, 's-', label='选择排序', linewidth=2)
plt.plot(sizes, quick_times, '^-', label='快速排序', linewidth=2)
plt.xlabel('数据规模')
plt.ylabel('运行时间(秒)')
plt.title('三种排序算法性能对比')
plt.legend()
plt.grid(True, alpha=0.3)
plt.subplot(2, 2, 2)
plt.plot(sizes, bubble_times, 'o-', label='冒泡排序', linewidth=2)
plt.xlabel('数据规模')
plt.ylabel('运行时间(秒)')
plt.title('冒泡排序性能')
plt.grid(True, alpha=0.3)
plt.subplot(2, 2, 3)
plt.plot(sizes, selection_times, 's-', label='选择排序', linewidth=2)
plt.xlabel('数据规模')
plt.ylabel('运行时间(秒)')
plt.title('选择排序性能')
plt.grid(True, alpha=0.3)
plt.subplot(2, 2, 4)
plt.plot(sizes, quick_times, '^-', label='快速排序', linewidth=2)
plt.xlabel('数据规模')
plt.ylabel('运行时间(秒)')
plt.title('快速排序性能')
plt.grid(True, alpha=0.3)
plt.tight_layout()
plt.show()
# 绘制对数尺度图,更好地展示差异
plt.figure(figsize=(10, 6))
# 转换为对数尺度
log_sizes = np.log10(sizes)
log_bubble = np.log10(bubble_times)
log_selection = np.log10(selection_times)
log_quick = np.log10(quick_times)
plt.plot(log_sizes, log_bubble, 'o-', label='冒泡排序', linewidth=2)
plt.plot(log_sizes, log_selection, 's-', label='选择排序', linewidth=2)
plt.plot(log_sizes, log_quick, '^-', label='快速排序', linewidth=2)
plt.xlabel('数据规模(log10)')
plt.ylabel('运行时间(log10秒)')
plt.title('三种排序算法性能对比(对数尺度)')
plt.legend()
plt.grid(True, alpha=0.3)
plt.show()
# 运行性能比较
performance_comparison()
5.5 算法选择指南
根据不同的应用场景,我们可以按照以下指南选择合适的排序算法:
-
小规模数据(n < 50):
- 冒泡排序或选择排序可能足够快
- 代码简单,易于实现和维护
- 对于基本有序的数据,优化版冒泡排序表现良好
-
中等规模数据(50 ≤ n ≤ 1000):
- 快速排序通常是最佳选择
- 如果需要稳定排序,可考虑归并排序
- 如果数据基本有序,插入排序可能更好
-
大规模数据(n > 1000):
- 快速排序(特别是优化版本)是首选
- 对于包含大量重复元素的数据,使用三路快速排序
- 如果内存充足且需要稳定排序,归并排序是好的选择
-
特殊场景:
- 内存受限环境:选择原地排序算法(冒泡、选择、快速排序)
- 数据已基本有序:冒泡排序或插入排序
- 数据范围有限:计数排序或桶排序
- 需要稳定排序:冒泡排序、插入排序、归并排序
5.6 综合示例:根据场景选择排序算法
下面是一个根据数据特性和需求自动选择排序算法的示例:
def smart_sort(arr, require_stable=False, memory_constrained=False):
"""
智能排序:根据数据特性和需求自动选择排序算法
参数:
arr: 待排序的列表
require_stable: 是否需要稳定排序
memory_constrained: 是否内存受限
返回值:
排序后的列表
"""
n = len(arr)
# 检查数据是否已基本有序
def is_mostly_sorted(arr):
inversions = 0
for i in range(len(arr) - 1):
if arr[i] > arr[i + 1]:
inversions += 1
return inversions <= len(arr) // 10 # 逆序对少于10%认为基本有序
# 检查数据中重复元素的比例
def duplicate_ratio(arr):
unique_elements = len(set(arr))
return 1 - unique_elements / len(arr)
# 根据条件选择排序算法
if n <= 50:
# 小规模数据
if require_stable or is_mostly_sorted(arr):
return bubble_sort_optimized(arr.copy())
else:
return selection_sort_basic(arr.copy())
elif memory_constrained:
# 内存受限,必须使用原地排序
if duplicate_ratio(arr) > 0.5:
# 大量重复元素,使用三路快速排序
result = arr.copy()
quicksort_three_way(result, 0, len(result) - 1)
return result
else:
# 使用标准快速排序
result = arr.copy()
quicksort_lomuto(result, 0, len(result) - 1)
return result
elif require_stable:
# 需要稳定排序,使用归并排序(这里简化为使用sorted函数)
return sorted(arr)
else:
# 默认情况:使用快速排序
if duplicate_ratio(arr) > 0.3:
# 较多重复元素,使用三路快速排序
result = arr.copy()
quicksort_three_way(result, 0, len(result) - 1)
return result
else:
# 使用随机化快速排序
result = arr.copy()
quicksort_randomized(result, 0, len(result) - 1)
return result
# 测试智能排序
def test_smart_sort():
"""测试智能排序函数"""
# 测试不同场景
print("场景1: 小规模数据")
small_arr = [5, 2, 8, 1, 9, 3]
print(f"原始数组: {small_arr}")
sorted_arr = smart_sort(small_arr)
print(f"排序后: {sorted_arr}")
print("\n场景2: 基本有序的数据")
mostly_sorted_arr = [1, 2, 3, 5, 4, 6, 7, 8, 10, 9]
print(f"原始数组: {mostly_sorted_arr}")
sorted_arr = smart_sort(mostly_sorted_arr)
print(f"排序后: {sorted_arr}")
print("\n场景3: 包含大量重复元素的数据")
duplicate_arr = [3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5]
print(f"原始数组: {duplicate_arr}")
sorted_arr = smart_sort(duplicate_arr)
print(f"排序后: {sorted_arr}")
print("\n场景4: 需要稳定排序")
stable_test_arr = [("Alice", 25), ("Bob", 25), ("Charlie", 23), ("David", 30)]
print(f"原始数组: {stable_test_arr}")
# 注意:为了演示,这里简化处理,实际中需要根据特定字段排序
sorted_arr = smart_sort([x[1] for x in stable_test_arr], require_stable=True)
print(f"年龄排序后: {sorted_arr}")
print("\n场景5: 内存受限环境")
large_arr = [random.randint(0, 1000) for _ in range(1000)]
print(f"生成1000个随机数")
sorted_arr = smart_sort(large_arr, memory_constrained=True)
print(f"前10个元素: {sorted_arr[:10]}")
print(f"排序是否正确: {sorted_arr == sorted(large_arr)}")
test_smart_sort()
6. 总结与展望
6.1 排序算法总结
通过本文的详细讲解,我们对冒泡排序、选择排序和快速排序有了深入的理解:
-
冒泡排序是最简单的排序算法之一,通过相邻元素的比较和交换实现排序。它的主要优点是简单易懂、稳定且原地排序,但时间复杂度较高,不适合大规模数据。
-
选择排序通过选择最小(或最大)元素并放到正确位置来实现排序。它的交换次数较少,但比较次数固定为O(n²),且基础版本不稳定。
-
快速排序是最高效的通用排序算法之一,采用分治策略,平均时间复杂度为O(n log n)。通过多种优化策略(如随机化、三数取中、三路分区等),可以适应各种场景,但在最坏情况下性能会下降到O(n²)。
6.2 实际应用建议
在实际编程中,我们通常不需要自己实现排序算法,因为大多数编程语言的标准库都提供了高效的排序实现。例如:
- Python:
list.sort()和sorted()使用Timsort算法 - Java:
Arrays.sort()使用双轴快速排序和Timsort - C++:
std::sort()使用快速排序、堆排序和插入排序的混合算法
然而,理解这些排序算法的原理和特性仍然非常重要,因为:
- 有助于理解算法设计和分析的基本原理
- 在特定场景下,可能需要定制排序算法
- 是面试和算法竞赛中的常见考点
- 有助于理解更复杂的算法和数据结构
6.3 排序算法的未来发展
随着计算机科学的发展,排序算法也在不断演进:
- 并行排序算法:利用多核处理器和分布式系统进行并行排序
- 外部排序:处理无法全部加载到内存的大规模数据
- 自适应排序:根据输入数据的特性自动调整排序策略
- 混合排序算法:结合多种排序算法的优点,如Timsort(结合归并排序和插入排序)
- 量子排序算法:利用量子计算原理实现更高效的排序
6.4 学习建议
对于想要深入学习排序算法的读者,我建议:
- 动手实现各种排序算法,理解其细节和优化技巧
- 分析算法的时间复杂度和空间复杂度
- 测试算法在不同数据分布下的性能
- 学习更多排序算法,如插入排序、希尔排序、归并排序、堆排序等
- 了解排序算法的实际应用场景和限制
排序算法是计算机科学的基石之一,深入理解排序算法不仅能够提升编程能力,还能培养算法思维和问题解决能力。希望本文能够帮助读者建立对排序算法的全面理解,并在实际应用中做出明智的选择。
参考文献
- Cormen, T. H., Leiserson, C. E., Rivest, R. L., & Stein, C. (2009). Introduction to Algorithms (3rd ed.). MIT Press.
- Knuth, D. E. (1998). The Art of Computer Programming, Volume 3: Sorting and Searching (2nd ed.). Addison-Wesley.
- Sedgewick, R., & Wayne, K. (2011). Algorithms (4th ed.). Addison-Wesley.
- Bentley, J. L., & McIlroy, M. D. (1993). Engineering a sort function. Software: Practice and Experience, 23(11), 1249-1265.
- Wikipedia contributors. (2023). Sorting algorithm. In Wikipedia, The Free Encyclopedia.
致谢:感谢您阅读这篇关于排序算法的详细文章。希望本文能够帮助您深入理解冒泡排序、选择排序和快速排序的原理、实现和应用。如果您有任何问题或建议,欢迎在评论区留言讨论。
魔乐社区(Modelers.cn) 是一个中立、公益的人工智能社区,提供人工智能工具、模型、数据的托管、展示与应用协同服务,为人工智能开发及爱好者搭建开放的学习交流平台。社区通过理事会方式运作,由全产业链共同建设、共同运营、共同享有,推动国产AI生态繁荣发展。
更多推荐

所有评论(0)