首先先了解分而治之(divide and conquer, D&C)-- 一种著名的递归式问题解决方法
- 找出基线条件,这种条件必须尽可能简单。
- 不断将问题分解(缩小问题规模),直到符合基线条件
编写涉及数组的递归函数时,基线条件通常是数组为空或者只包含一个元素。
快速排序
C语言标准库中的函数qsort实现的就是快速排序,快速排序也使用了D&C。
python代码:
def quicksort(arr):
if len(arr) < 2: #基线条件
return arr
else: #递归条件
pivot = arr[0]
less = [i for i in arr[1:] if i < pivot]
greater = [i for i in arr[1:] if i > pivot]
return quicksort(less) + [pivot] + quicksort(greater)
# result = quicksort([3,2,4,7,1,5,6])
# print(result)
print (quicksort([2,4,3,11,5]))
编写递归函数时,需要告诉它什么时候停止运行,所以每个递归函数都有两部分,基线条件和递归条件
- 递归条件:函数调用自己
- 基线条件:函数不再调用自己
从代码可以了解,数组的第一个数作为基准值,将数组分为两个子数组,小于基准值的less,以及大于基准值的greater。就这样一直分,直到满足基线条件,即数组长度为空或者只有一个元素。
注意
快速排序算法的运行时间取决于基准值的选取,例如上述代码,每次都将数组的第一个数作为基准值,如果给出的数组时从大到小排列的,而要求其结果从小到大排序,那么这种情况就是非常糟糕,其运行时间为O()。在平均情况下,快速排序的运行时间为O(nlogn).