百科问答小站 logo
百科问答小站 font logo



如何证明快速排序法的平均复杂度为 O(nlogn)? 第1页

  

user avatar    网友的相关建议: 
      

其实这个可以求精确解的吧.

直接设对规模 的数组排序需要的时间期望为 , 期望其实就是平均复杂度换个说法.

随手写个快排:

                qs         [{}]         =         {};                            qs         [{         x_         ,         xs___         }]         :=         Join         [         qs         @         Select         [{         xs         },         #         <=         x         &         ],{         x         },         qs         @         Select         [{         xs         },         #         >         x         &         ]];            

空表的时候不用排, 所以初值条件就是 .

所谓快排就是随便取出一个数,一般是第一个数,然后小于等于他的放左边, 大于他的的排右边.

比如左边 个那接下来还要排: 的时间.

然后 多少那是不确定的, 遍历 , 出现概率都是相等的.

另外分割操作本身也要时间 , 操作花费是线性时间 , 这也要加进去, 所以一共是:

注意和式展开就是 到 加了两遍

然后就是喜闻乐见的解递推了:

这个一阶非线性齐次差分方程的解是:

嗯, 所以确切的说快排算法的小常数是两倍的分割速度.

让函数在无穷远处展开

最高阶是 所以就是 了.




  

相关话题

  类似微博的 feed 热度算法如何计算? 
  算法工程师如何应对做算法策略的不确定性;比如没效果,这时绩效怎么保证? 
  为什么梯度下降能找到最小值? 
  RSA的公钥和私钥到底哪个才是用来加密和哪个用来解密? 
  RSA的公钥和私钥到底哪个才是用来加密和哪个用来解密? 
  蒙特卡罗算法是什么? 
  Auto X的自动驾驶技术用了什么技术? 
  想学好计算机算法,是否需要重新学数学呢? 
  是否存在一个函数,使得它的逆运算是容易求的,而它的逆运算的逆运算是难求的? 
  刷完 LeetCode 是什么水平?能拿到什么水平的 offer? 

前一个讨论
英文论文写作时,公式推导那块如何写作?
下一个讨论
有没有那种小到极致的表情包啊?





© 2025-01-31 - tinynew.org. All Rights Reserved.
© 2025-01-31 - tinynew.org. 保留所有权利