主定理
时间复杂度记号
\(\Theta(n)\)：时间复杂度等于 \(n\)。
\(\mathcal O(n)\)：时间复杂度小于等于 \(n\)。
\(\omicron(n)\)：时间复杂度小于 \(n\)。
\(\Omega(n)\)：时间复杂度大于等于 \(n\)。
\(\omega(n)\)：时间复杂度大于 \(n\)。
主定理(Master Theorem)
对于形如 \(T(n)=aT(\lceil \frac{n}{b} \rceil)+O(n^d)\) 的定义式。其中，常数 \(a,b,d\) 满足 \(a \ge 0, b \ge 1, d \ge 0\)。有
\[T(n)=\begin{cases} O(n^d), \space d> \log_b a \\ O(n^d \log n), \space d= \log_b a \\ O(n^{\log_b a}), \space d< \log_b a \end{cases}
\]
