分治法主定理

在这里插入图片描述

主定理的证明

假设有递归式：
$aT(\frac{n}{b}) + f(n)$
证明：
$T (n) = a T (n / b) + f (n)$ $a\big[aT(n/b^2)+f(n/b)\big] + f(n)$ $a^2T(n/b^2) + f(n) + af(n/b) ~\,$ $a^{k}T(n/b^k) + \sum_{j=0}^{k-1} a^j f(n/b^j) ~~~~$ $\cdots ~(不妨设n是b的幂)~~~~~~~~~~~~$ $a^{log_b^n}T(1) + \sum_{j=0}^{log_b^n-1} a^j f(n/b^j) ~~$
由对数的换底公式： $a^{log_b^n} =b^{log_b^{(a^{log_b^n})}} =b^{log_b^a log_b^n} =b^{log_b^n log_b^a}= b^{log_b^{(n^{log_b^a})}}=n^{log_b^a}$

所以原递归式的渐进复杂度为 $O(n^{log_b^a}) + \sum_{j=0}^{log_b^n-1} a^j f(n/b^j)$

简单起见，下面只考虑 $f(n) = n^k$ 的情形：
$\sum_{j=0}^{log_b^n-1} a^j f(n/b^j)$ $\sum_{j=0}^{log_b^n-1} a^j (n/b^j)^k ~~~~~~~$ $n^k\sum_{j=0}^{log_b^n-1} (a/b^k)^j ~~~~~~~$ $\left\{ \begin{array}{lr} n^k \left(\frac{1-(a/b^k)^{log_b^n}}{1-a/b^k}\right), & \text{如果$a\neq b^k$}\\ &\\ n^k(log_b^n-1), & \text{如果$a = b^k$} \end{array} \right.$ $\left\{ \begin{array}{lr} O(n^k) , & \text{如果$a < b^k(k>log_b^a)$}\\ &\\ O(n^{log_b^a}), & \text{如果$a> b^k$}\\ &\\ O(n^klog_b^n)=O(n^{log_b^a}log_b^n), & \text{如果$a = b^k$} \end{array} \right.$

综上所述，对 $aT(\frac{n}{b}) + f(n)$ 的情形：
$\left\{ \begin{array}{lr} O(n^k) , & \text{如果$a< b^k(k>log_b^a)$}\\ &\\ O(n^{log_b^a}), & \text{如果$a> b^k$}\\ &\\ O(n^klog_b^n)=O(n^{log_b^a}log_b^n), & \text{如果$a = b^k$} \end{array} \right.$
在这里插入图片描述