学习笔记：主定理

众所周知，递归是算法的一个重要表现形式，不仅作用大，而且其复杂度的分析也比其他方式要繁杂。

但是，如果抛开某些很NB，很强大，很邪恶的递归式不谈，如果不能有效的确定普通递归式和一些典型算法递归式的复杂度，那么这个人显然不是合格的Coder。

由于递归式复杂度的难以确定，所以目前常用的方法有这么几种：代换猜测法、递归树法、主定理、直接数学分析法

代换猜测法通常和递归树法合用，利用递归树法得到一个大概正确的结果，然后利用数学归纳法对其验证。

直接的数学分析法相对很直接，很强悍，但是对数学要求很高，尤其是碰到一些BT的表达式

其中，主定理是最常用的方法。

在算法分析中，主定理（master theorem）提供了用渐近符号表示许多由分治法得到的递推关系式的方法。

主定理通常可以解决如下的递归表达式：

T(n)=a*T（ⁿ/_b）+f（n）

上面的递归式描述的是将规模为n的问题划分为a个子问题，并且每个子问题的规模是n/b，这里a和b是正常数。划分原问题和合并结果的代价有函数f(n)描述。

主定理有三种情况，不同的情况有不同的用法。