关于时间复杂度分析,算法导论中介绍了master theorem。不过我发现和网上看到的一些版本不一样。主要区别就在于情形二。后来经过对比,发现网上的一些版本是覆盖了算法导论中介绍的情况的。维基百科上的说得比较清楚,鉴于master theorem的重要性,记于此。
递推关系式:
,其中
情形一:
如果存在常数,有
,那么
情形二:
如果存在常数k ≥ 0,有
,那么
情形三:
如果存在常数,有
,
同时存在常数以及充分大的
,满足
那么