目录
如何求解T(N)=aT(N/b)+f(N)
方法1:代入法(Substitution Method)
代入法求解递归式分两步:
- 猜测解的形式(猜测上界或下界)
- 用数学归纳法求出解中的常数,并证明解的正确性
以mergeSort为例,T(N)=2T(N/2) + Θ(N),我们猜测其解为T(N)=O(NlogN)。带入法要求证明,恰当选择常数c>0,可有T(N)<=cNlogN。假设此上界对所有正数K<N都成立。假设 Θ ( N ) = a N \Theta(N)=aN Θ(N)=aN。
当 K = N / 2 时 , 存 在 T ( N / 2 ) < = c ( N / 2 ) l o g ( N / 2 ) 当K=N/2时, 存在 T(N/2)<=c(N/2)log(N/2) 当K=N/2时,存在T(N/2)<=c(N/2)log(N/2)
带 入 递 归 式 可 得 带入递归式可得 带入递归式可得
T ( N ) < = 2 T ( N / 2 ) + a N T(N)<= 2T(N/2) +aN T(N)<=2T(N/2)+aN
< = 2 [ c ( N / 2 ) l o g ( N / 2 ) ] + a N <= 2[c(N/2)log(N/2)]+aN <=2[c(N/2)log(N/2)]+aN
< = c N l o g ( N / 2 ) + a N <=cNlog(N/2) +aN <=cNlog(N/2)+aN
= c N l o g ( N ) − c N l o g ( 2 ) + a N =cNlog(N)-cNlog(2)+aN =cNlog(N)−cNlog(2)