算法分析与设计（一）

MASTER THEOREM

求解有特定格式的递归函数的上界$O(g(n))$

适用的递归式如下

$$\begin{gathered} T(n)=aT(n/b)+f(n), \\ wherea\ge 1,b>1,andf(n)isasymptoticallyfunctionsuchasn,n^2.... \\ (a\ge 1,b>1,且f(n)是一个渐进函数，如n,n^2...) \end{gathered}$$

将$f(n)$与$n^{lo{g}_{b}a}$进行比较

1. 对于某个常数$\epsilon >0$，有$f(n)=O(n^{lo{g}_{b}a-\epsilon })$，即$f(n)$增长速率比$n^{lo{g}_{b}a}$小
   则有:

$$T(n)=\Theta (n^{lo{g}_{b}a})$$

2. 对于某个常数$k\ge 0$，有$f(n)=O(n^{lo{g}_{b}a}\cdot l{g}^{k}n)$，即$f(n)$增长速率与$n^{lo{g}_{b}a}$相当
   则有:
   $$T(n)=\Theta (n^{lo{g}_{b}a}\cdot l{g}^{k+1}n)$$

3. 对于某个常数$\epsilon >0$，有$f(n)=O(n^{lo{g}_{b}a+\epsilon })$，即$f(n)$增长速率比$n^{lo{g}_{b}a}$大
   则有:
   $$T(n)=O(f(n))$$

DFS

可以应用于表示图的数据结构

邻接矩阵: $\Theta (|V{|}^2)$
邻接链表: $\Theta (|V|+|E|)$
其他 … …

应用

检查图的连通性
找最大连通子图
判断图是否有环
找强连通子图
其他 … …