本文使用 Zhihu On VSCode 创作并发布
基于递归方程的平均情况时间复杂度分析
快速排序原理通过partion操作将长度为n的数组分为三个部分,假设左边有i个元素,右边有n-1-i个元素,那么中间那个作为比较的pivot,现在我们来分析一下这个算法的平均时间复杂度是多少。
下面会用到基于递归的方法分析,可能是分析quicksort时间复杂度中数学推导比较多的一个了,可是用数学化的语言去分析这个事情,反而更加的清晰,思考的部分变少了,只要把公式列出来,剩下的事情交给高中数学就okay了。
进入正题:
假设所有可能的输入等概率出现,那么所有的划分情况也会等概率出现,即i会以相等的概率取区间
中的每个值,所以快排的平均时间复杂度
递归的初始情况:
,另外可以注意到左右部分递归具有对称性,所以有
,于是上述可以化简为
于是到了熟悉的高中数列求通项公式环节,以下均为数学推导,采用错位相减的方法
令
,那么有
,考虑初始情况
,接下来进入比较舒服的阶段,求解这个数列通项
,
令
,于是有
,初始情况
所以
,所以
,所以有
从而我们得知了快速排序的时间复杂度为