概念摘要
- Θ(g(n))={ f(n): 存在正常数c1,c2和n0,使对所有的n>=n0,有0<=c1g(n)<=f(n)<=c2g(n) }
- O(g(n))={ f(n): 存在正常数c和n0,使对所有n>=n0,有0<=f(n)<=cg(n) }
- Ω(g(n))={ f(n): 存在正常数c和n0,使对所有n>=n0,有0<=cg(n)<=f(n) }
- o(g(n))={ f(n): 对任意正常数c,存在常数n0>0,使对所有的n>=n0,有0<=f(n)<cg(n) } 即lim(n趋于无穷) f(n)/g(n)= 0
- ω(g(n))={ f(n): 对任意正常数c,存在常数n0>0,使对所有的n>=n0,有0<=cg(n)<f(n) } 即lim(n趋于无穷) g(n)/f(n)= 0
- 2n²+3n+1 = 2n² + Θ(n) 表示存在某个函数 f(n)∈ Θ(n),使得对所有n有 2n²+3n+1 = 2n² + f(n)
- 2n² + Θ(n) = Θ(n² ) 表示对所有g(n)∈ Θ(n),存在h(n)∈Θ(n² ),使得对所有n有 2n² + g(n) = h(n)
- 若对任意实数x ≥ 0,整数a,b > 0
- 对所有使得 a > 1的实常数a和b,有 n^b = o(a^n)
- 对任意常数 a > 0,(lgn)^b = o(n^a)
- 斯特林近似公式 n! = √2∏n * (n/e)ⁿ * (1+Θ(1/n))
- n! = o(nⁿ)
- n! = w(2ⁿ)
- lg(n!) = Θ(nlgn)
定理
- 对任意两个函数f(n)和g(n),我们有f(n)= Θ(g(n)),当且仅当f(n)= O(g(n))且f(n)= Ω(g(n))
- 多项式有界:若对某个常量k,有f(n) = O(n^k),则称函数f(n)是多项式有界的
- 多对数有界:若对某个常量k,有f(n) = O((lgn)^k),则称函数f(n)是多对数有界的