用于求解分治算法递推关系式的时间复杂度。当算法的递推关系满足如下形式时：，其中：
- ：当前问题的规模。
- ：子问题的数量（即把原问题拆成了多少个小问题，）。
- ：每个子问题的规模（即把原问题等分成了多少份，）。
- ：合并这些子问题付出的代价。
则有：当f(n) \in Θ(n^k)时$$$$T(n) = \begin{cases} Θ(n^k), & \text{if } a < b^k \\ Θ(n^k\log n), & \text{if } a = b^k \\ Θ(n^{\log_b a}), & \text{if } a > b^k \end{cases}