原创力文档- 1、本文档共11页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
主定理及其证明
主定理的应用背景
求解递推方程
T(n) = a T(n/b) +f (n)
a ： 归约后的子问题个数
n/b ：归约后子问题的规模
f (n) ：归约过程及组合子问题的解的
工作量
二分检索： T(n) = T(n/2)+1
二分归并排序：T(n) =2T(n/2)+n-1
2
主定理
定理：设a1, b1为常数,f (n)为函数, T(n)
为非负整数，且T(n)=aT(n/b)+f (n)，则
log a
1. 若f (n)=O(n b ), 0, 那么
log a
T(n)=(n b ) 存在
log a
2. 若f (n)=(n b ), 那么
log a
T(n)=(n b logn) 存在
log a+
3. 若f (n)=(n b ), 0,且对于某个常数
c1和充分大的n 有af(n/b)cf(n), 那么
存在c T(n)=(f (n)) 3
和n0
T(n)=aT(n/b)+f (n)
设n = bk 迭代 证明
设n=bk
n
T(n) aT ( ) f (n)
b
n n
a[aT ( 2 ) f ( )] f (n)
b b
2 n n
a T( 2 ) af ( ) f (n)
b b
...
c = T(1) 4
1
log n log a
迭代结果 a b =n b
k n k 1 n n
a T( k ) a f ( k 1 ) ...af ( ) f (n)
b b
文档评论（0）