使用主定理求时间复杂度

使用主定理求时间复杂度

很多算法最后都可以写出 $T(n)=aT(\frac{n}{b})+f(n))(a\ge 1,b\ge 1)$ 的递推式。针对这种形式的递推式，通常情况下我们直接可以用主定理求解复杂度，而不需要笔和纸的帮助。

主定理

直接可用主定理

• 例1：$T(n)=2T(\frac{n}{4})+1$

  • 解：由题目得：$a=2,b=4,f(n)=1$ ,此时 $lo{g}_{b}a=lo{g}_{4}2=0.5$ ,

    则 只需要比较 $n^{0.5}$和 $f(n)=1$ 的大小。

    可以利用主定理的第一种情况：

    ​ 存在常数 $\epsilon =0.5$ 使得有 $f(n)=O(n^{0.5-0.5})$,则$T(n)=\Theta (n^{0.5})$

• 例2：$T(n)=2T(\frac{n}{4})+\sqrt{n}$

  • 解：由题目得：$a=2,b=4,f(n)=\sqrt{n}$ ,此时 $lo{g}_{b}a=lo{g}_{4}2=0.5$ ,

    则 只需要比较 $n^{0.5}$和 $f(n)=\sqrt{n}$ 的大小。

    可以利用主定理的第二种情况：

    ​ 有 $f(n)=O(n^{0.5})$,则$T(n)=\Theta (n^{0.5}lgn)$

• 例3：$T(n)=2T(\frac{n}{4})+n^2$

  • 解：由题目得：$a=2,b=4,f(n)=n^2$ ,此时 $lo{g}_{b}a=lo{g}_{4}2=0.5$ ,

    则 只需要比较 $n^{0.5}$和 $f(n)=n^2$ 的大小。

    可以利用主定理的第三种情况：

    ​ 存在常数 $\epsilon =1.5$ 使得有 $f(n)=\Omega (n^{0.5+1.5})$,且对常数 $\frac{1}{8}<c<1$与所有足够大的$n$，有$2\ast (\frac{n}{4}{)}^2\le c\ast n^2$

    ​ 则$T(n)=\Theta (n^2)$

转化之后可以利用主定理

有一些递推式看着不满足主定理的形式，但是转换之后可以使用主定理。

• 例1：$T(n)=2T(n-1)+n$

  • 解：令$n=lg(k)$，

    则原式可化为：$T(lg(k))=2T(lg(\frac{k}{2}))+n$

    此时看着像主定理了，是吧。因为$T$ 是一种关系，所以我们可以把关系 $T$ 用 $L(k)=T(lg(k))$替换掉，则：

    $L(k)=2L(\frac{k}{2})+lg(k)$

    此时和上面一样可以应用主定理的第一种情况，得到$L(k)=\Theta (k)$

    再次代换回去得：$L(k)=T(lg(k))=T(n)=\Theta (k)=\Theta (n^2)$

• 例2：$T(n)=\sqrt{n}T(\sqrt{n})+n$

  • 解：令 $n=2^k$，

    则原式可化为：$T(2^k)=2^{\frac{k}{2}}T(2^{\frac{k}{2}}))+2^k$

    两边同时除以$2^k$得：$\frac{T(2^k)}{2^k}=\frac{T(2^{\frac{k}{2}}))}{2^{\frac{k}{2}}}+1$

    此时看着像主定理了，是吧。因为$T$ 是一种关系，所以我们可以把关系 $T$ 用 $L(k)=\frac{T(2^k)}{2^k}$替换掉，则：

    $L(k)=L(\frac{k}{2})+1$

    此时和上面一样可以应用主定理的第二种情况，得到$L(k)=\Theta (lg(k))$

    再次代换回去得：$L(k)=\frac{T(2^k)}{2^k}=\frac{T(n)}{n}=\Theta (lg(k))=\Theta (lg(lg(n)))$

    整理可得：$T(n)=n\Theta (lg(lg(n)))=\Theta (nlg(lg(n)))$