主定理笔记(master theorem)

转载 2013年12月03日 19:17:27
T(1)=d and for n>1,T(n)=aT(n/b)+cn n is a
power of b;prove
z if a<b, T(n)=O(n);
z if a=b, T(n)=O(nlogn);
z if a>b, T(n)=O(nlogba)//b为底 logba 为n的次数


由问题有
T(1)=d
T(n)=aT(n/b)+cn,且有n=b^a
这个递推式描述了大小为n的原问题分成若干个大小为n/b的子问题,其中a个子问题需要求解,而cn是合并各个子问题的解需要的工作量。下面使用扩展递推技术对通用分治递推式进行推导
T(n)=aT(n/b)+cn
=a(aT(n/b^2)+c*n/b)+cn
…………………………
=a^aT(n/b^a)+a^(a-1)*c*n/b^(a-1)+...+a*c*n/b+cn
=c∑(i从0到a)[a^(a-i)]*n/b^(a-i)(因为n=b^a)
=c∑(i从0到a)[a^(a-i)]*b^i
=c*a^a∑(i从0到a)[(b/a)^i]
这个求和是个几何级数,其值依赖与比率b/a,注意到a^a=a^(logbn)=n^(logba),则有下3种情况:
(1)a>b:∑(i从0到a)[(b/a)^i]<1/(1-b/a),由于
a^a=n^(logba),所以T(n)=O(n^(logba))
(2)a=b:∑(i从0到a)[(b/a)^i]=a+1=logbn+1,又
a^a=n^(logba)=n,所以T(n)=O(nlogbn)
(3)a<b:∑(i从0到a)[(b/a)^i]=[(b/a)^(a+1)-1]/(b/a-1)=O((b/a)^a),所以,T(n)=O(((b/a)^a)*a^a)=O(b^a)=O(n)
也就是
if a<b, T(n)=O(n);
z if a=b, T(n)=O(nlogn);
z if a>b, T(n)=O(nlogba)//b为底 logba 为n的次数

离散数学及其应用学习笔记——主定理(Master Theorem)的证明

先贴出两个初中数学公式 使用换根公式和对数倒数性质可以得出这样的结论:alogbn=nlogbaa^{log_bn}=n^{log_ba} 等比数列求和公式:Sn=anq−a1q−1 S_n=\f...

【算法·基本概念】master theorem 主定理

在算法分析中,主定理(英语:master theorem)提供了用渐近符号表示许多由分治法得到的递推关系式的方法。此方法经由经典算法教科书《算法导论》而为人熟知。不过,并非所有递推关系式都可应用主定...

分治法——主定理(Divide and Conquer - The Master Theorem)

分治法——主定理(Divide and Conquer - The Master Theorem)Divide-and-Conquer Recurrences What is the time re...

算法导论学习笔记之三--如何理解和记忆master定理

Master 理论中的递归函数: T(n) = aT(n/b) + f(n), (a>=1, b >1) 理解:aT(n/b)表示子项繁殖的速度, f(n)表示给定规模所需常规开销 记忆:记实例不...

论文中的定理(Theorem)、引理(Lemma)、推论(Corollary)

名词解释 Theorem:就是定理,比较重要的,简称是 Thm。 Lemma:小小的定理,通常是為了證明後面的定理,如果證明的篇幅很長時,可能會把證明拆成幾個部分來敘述,雖然篇幅可能變多,但脈絡卻很清...
  • ztf312
  • ztf312
  • 2016年01月26日 17:18
  • 2053

计算理论中的莱斯定理(Rice's Theorem)——证明与应用

计算理论中,可判定性时研究算法局限的一个重要方面,由这方面的理论我们知道,算法不是万能的。确实存在一些算法上不可解的问题。本文给出一个在探讨不可判定性时非常有用的结论——莱斯定理(Rice's The...

策梅洛定理 (博弈论): Zermelo's theorem

很有意思的一个定理。 转载地址为http://blog.sina.com.cn/s/blog_4b91d3b501010hcj.html 策梅洛定理(英语:Zermelo's theo...

区分定理(Theorem)、引理(Lemma)、推论(Corollary)等概念

ZZ: http://blog.sina.com.cn/s/blog_a0e53bf70101jwv1.html Theorem:就是定理,比較重要的,簡寫是 Thm。 Lemma:小...

hdu6064 Best theorem+Matrix-Tree定理

传送门 题意,就是给了一个有向图的邻接矩阵,问从1号点出发的欧拉回路有多少条。 求欧拉回路用到了Best theorem,其公式是这样的Best theorem 来自维基百科 tw(G)表示...

hdu 1788 Chinese remainder theorem again 披着中国剩余定理的皮

Chinese remainder theorem again Time Limit: 1000/1000 MS (Java/Others)    Memory Limit: 32768/32768...
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:主定理笔记(master theorem)
举报原因:
原因补充:

(最多只允许输入30个字)