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



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

  

user avatar    网友的相关建议: 
      

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

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

随手写个快排:

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

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

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

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

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

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

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

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

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

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

让函数在无穷远处展开

最高阶是 所以就是 了.




  

相关话题

  如何看待快手 CEO 宿华发文称,将用正确的价值观指导算法? 
  如何计算一局三国杀所进行的回合数的数学期望? 
  关于算法导论定理3.1,为什么感觉快速排序的时间复杂度不满足这个定理? 
  算法岗位真的需要顶会才能入场吗? 
  如何检验算法的正确性? 
  如何证明快速排序法的平均复杂度为 O(nlogn)? 
  什么是机器学习? 
  Learning To Rank的pair wise方法如何得到全局排序结果呢? 
  大家都见过哪些让你虎躯一震的代码? 
  公民身份号码有可能是素数吗? 

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





© 2025-04-16 - tinynew.org. All Rights Reserved.
© 2025-04-16 - tinynew.org. 保留所有权利