众所周知,递归是算法的一个重要表现形式,不仅作用大,而且其复杂度的分析也比其他方式要繁杂。
但是,如果抛开某些很NB,很强大,很邪恶的递归式不谈,如果不能有效的确定普通递归式和一些典型算法递归式的复杂度,那么这个人显然不是合格的Coder。
由于递归式复杂度的难以确定,所以目前常用的方法有这么几种:代换猜测法、递归树法、主定理、直接数学分析法
代换猜测法通常和递归树法合用,利用递归树法得到一个大概正确的结果,然后利用数学归纳法对其验证。
直接的数学分析法相对很直接,很强悍,但是对数学要求很高,尤其是碰到一些BT的表达式
其中,主定理是最常用的方法。
在算法分析中,主定理(master theorem)提供了用渐近符号表示许多由分治法得到的递推关系式的方法。
主定理通常可以解决如下的递归表达式:
T(n)=a*T(n/b)+f(n)
上面的递归式描述的是将规模为n的问题划分为a个子问题,并且每个子问题的规模是n/b,这里a和b是正常数。划分原问题和合并结果的代价有函数f(n)描述。
主定理有三种情况,不同的情况有不同的用法。