渐进记号的相关证明
2016-05-26 11:42
411 查看
1. max(f(n),g(n))
max(f(n),g(n))=Θ(f(n)+g(n))证明如下,只需找到常数 c1,c2,n0>0,满足:
c1(f(n)+g(n))≤max(f(n),g(n))≤c2(f(n)+g(n))
不妨设 f(n)≥g(n),则:c1=12,c2=1
2. (n+a)b
对任意实常量 a 和 b,其中 b>0,有:(n+a)b=Θ(nb)
目标是找到 c1,c2,n0,对所有的 n≥n0:
c1⋅nb≤(n+a)b≤c2⋅nb
注意到:
n+a≤n+|a|≤2n,|a|≤nn+a≥n−|a|≥12n,|a|≤12n
当 n≥2|a|时,
(12n)b≤(n+a)b≤(2n)b
n0=2|a|,c1=12b,c2=2b。
3. logn
试证明,对于任何 ϵ>0,都有:logn=O(nϵ)证:我们知道 lnn 的增长很慢,因此总存在 M>0,使得 n>M 时,lnn<ϵn。
不妨令,这里的 N=eM,因此当 n>N(lnn>M),所以有:
lnlnn<ϵlnn⇒nlnlnn<nϵlnn⇒lnn<nϵ
相关文章推荐
- JAVA - Comparable接口 与 Comparator接口
- Redis与Memcached的区别
- Python操作Mysql
- 3DES加密,java后台,安卓,iOS三端加密解密
- AchartEngine折线图
- C#中随机分组相关Test
- iOS开发——keychain的使用
- JAVA集合框架
- Unity3D实现3D立体游戏原理及过程
- ashx页面中context.Session["xxx"]获取不到值的解决办法
- 按GB 11643标准对大陆身份证号码分析验证
- spawnp()--Spawn Process with Path
- Android Service最全面的解析
- implicit declaration of function 'copy_from_user'
- js报错:Ajax 中onreadystatechange在ie7及以上浏览器兼容吗,为什么没有反应?求大神
- Sublime Text 3 的一些个人配置
- HTML特殊符号
- 点击图片变大
- Hadoop机器运行一段时间后hadoop不能stop-all.sh的问题
- 打包文档