用递归树方法求解递归式

用递归树方法求解递归式

[备注：需要修改]
一个递归算法的递归式：$T\left(n\right)=3T\left(n/4\right)+c{n}^2$

我们先来了解一下这个递归式什么意思：

• $3$ 表示我们将一个问题分解为$3$个子问题；
• $n/4$ 则表明每个子问题的规模是原问题的$1/4$；
• $T\left(\right)$ 表明的为递归形式；
• $c{n}^2$ 表明为合并需要的时间，其中$c$为常数系数$c>0$。其实也就是算法度$\Theta \left(n^2\right)$。

好嘞~，现在来看递归树：

我们可以从上图中得出：

• 该树的长度为：$lo{g}_{4}n$。理由为：
      原本问题的规模为$n$，到了树的最底层，则为$1$了，也就是说，每往下一层，则规模为$1/4$，我们假设它除去了$i$个$4$（$i$个结点），也就是说，$n÷4_1÷4_2÷..÷4_i=1$，换个思维，可以说是：$4^i=n$，换算一下也就是$i=lo{g}_{4}n$

• 每往下一层，其子问题得规模为原问题$1/4$，也可以说是根据其结点，也就是结点每往下一层，其规模减少$1/4$，我们设置结点为$i$，就可以得到第$i$层的规模将减少至原规模的$\frac{1}{4^i}$，又因为$n$为原规模，所以可以得出：
      当结点为$i$的时候，得出规模为：$\frac{n}{4^i}$

• 每层的节点数都是上层的$3$倍，所以，当结点为$i$时，因此深度为$i$的结点数为$3^i$

• 我们可以看到递归树的最上面那层，表示一开始的代价为$c{n}^2$，我们上面求出了结点为$i$的时候，规模为：$\frac{n}{4^i}$，我现在将其转为代价，结点为$i$的时候，代价为 $c{\left(\frac{n}{4^i}\right)}^2$，我们需要把结点数也算上，结点为$i$时，有$3^i$个结点，最后乘起来，得到：
      $3^i\cdot c{\left(\frac{n}{4^i}\right)}^2={\left(\frac{3}{16}\right)}^{i}c{n}^2$

现在我们可以用级和去求总代价：

    $T\left(n\right)={\sum }_{i=0}^{lo{g}_{4}n}{\left(\frac{3}{16}\right)}^{i}c{n}^2$  $①$

       $=c{n}^2+{\left(\frac{3}{16}\right)}^{}c{n}^2+{\left(\frac{3}{16}\right)}^{2}c{n}^2+...+{\left(\frac{3}{16}\right)}^{lo{g}_{4}n-1}c{n}^2+{\left(\frac{3}{16}\right)}^{lo{g}_{4}n}c{n}^2$

    根据公式${\sum }_{k=0}^n{x}^k=\frac{x^{n+1}-1}{x-1}$得出：

    $\frac{{\left(\frac{3}{16}\right)}^{lo{g}_{4}n+1}-1}{\frac{3}{16}-1}\cdot c{n}^2$

emmmmm，最后的结果好像有点凌乱…
没事~，按照算法导论的思路，我们可以利用一定程度的不精确，将级和${\sum }_{i=0}^{lo{g}_{4}n}{\left(\frac{3}{16}\right)}^{i}c{n}^2$的$lo{g}_{4}n$改为$\infty$，也就是无穷大。且${\sum }_{i=0}^{lo{g}_{4}n}{\left(\frac{3}{16}\right)}^{i}c{n}^2<{\sum }_{i=0}^{\infty }{\left(\frac{3}{16}\right)}^{i}c{n}^2$

    根据公式${\sum }_{i=0}^{\infty }{x}^k=\frac{1}{1-x}$得出：

    $\frac{1}{1-\left(\frac{3}{16}\right)}\cdot c{n}^2=\left(\frac{16}{13}\right)c{n}^2=\Theta (n^2)$

---

$①$ 原本在算法导论上的算式应该是这样写的：

    $T\left(n\right)={\sum }_{i=0}^{lo{g}_{4}n-1}{\left(\frac{3}{16}\right)}^{i}c{n}^2+\Theta \left(n^{lo{g}_{4}3}\right)$

       $=c{n}^2+{\left(\frac{3}{16}\right)}^{}c{n}^2+{\left(\frac{3}{16}\right)}^{2}c{n}^2+...+{\left(\frac{3}{16}\right)}^{lo{g}_{4}n-1}c{n}^2+\Theta \left(n^{lo{g}_{4}3}\right)$

和我自己前面写的的的表达式有些不同，其实就是把我级和的$log4n$减去$1$，然后把最后一项单独拿出来写，也就是${\left(\frac{3}{16}\right)}^{lo{g}_{4}n}c{n}^2$，且经过转化为后，为$\Theta \left(n^{lo{g}_{4}3}\right)$。也就是说，其实$\Theta \left(n^{lo{g}_{4}3}\right)$和${\left(\frac{3}{16}\right)}^{lo{g}_{4}n}c{n}^2$是一样的。

根据书上所说：
树的最底层深度为$lo{g}_{4}n$，有$3^{lo{g}_{4}n}=n^{lo{g}_{4}3}$个结点，每个结点的代价为$T\left(1\right)$，总代价为$n^{lo{g}_{4}3}T\left(1\right)$，即为$\Theta \left(n^{lo{g}_{4}3}\right)$。

中间将结点$3^{lo{g}_{4}n}$转化为$n^{lo{g}_{4}3}$算式如下：

    利用其公式$a^{lo{g}_{a}N}=N$得出：

    $3=n^{lo{g}_{n}3}$

    利用其公式$lo{g}_{b}N=\frac{lo{g}_{a}N}{lo{g}_{a}b}=\frac{lgN}{lgb}$得出：

    $3=n^{lo{g}_{n}3}=n^{lg3/lgn}$

    将这个这个算式代入$3^{lo{g}_{4}n}$中去：

    $3^{lo{g}_{4}n}={\left(n^{lg3/lgn}\right)}^{lo{g}_{4}n}$

    对括号外层的对数也利用其公式$lo{g}_{b}N=\frac{lo{g}_{a}N}{lo{g}_{a}b}=\frac{lgN}{lgb}$得出：

    $3^{lo{g}_{4}n}={\left(n^{lg3/lgn}\right)}^{lo{g}_{4}n}={\left(n^{lg3/lgn}\right)}^{lgn/lg4}$
                $=n^{lg3/lgn\cdot lgn/lg4}$
                $=n^{lg3/lg4}$
                $=n^{lo{g}_{4}3}$

就算是按照我的那个方式去写，也无所谓，我们也可以直接将${\left(\frac{3}{16}\right)}^{lo{g}_{4}n}c{n}^2$转换为$n^{lo{g}_{4}3}$：

    ${\left(\frac{3}{16}\right)}^{lo{g}_{4}n}c{n}^2=3^{lo{g}_{4}n}\cdot \frac{1}{16^{lo{g}_{4}n}}\cdot c{n}^2=3^{lo{g}_{4}n}\cdot \frac{1}{4^{lo{g}_{4}n\cdot 2}}\cdot c{n}^2=3^{lo{g}_{4}n}\cdot \frac{1}{n^2}\cdot c{n}^2=3^{lo{g}_{4}n}=n^{lo{g}_{4}3}$

---