渐进记号
- Θ Θ Θ记号:若存在正常量 c 1 c_1 c1和 c 2 c_2 c2,使得对于足够大的 n n n,函数 f ( n ) f(n) f(n)能“夹入” c 1 ∗ g ( n ) c_1*g(n) c1∗g(n)和 c 2 ∗ g ( n ) c_2*g(n) c2∗g(n)之间,则 f ( n ) f(n) f(n)属于集合 Θ ( g ( n ) ) Θ(g(n)) Θ(g(n)); Θ Θ Θ记号给出了一个函数的上界和下界
- O O O记号:当函数只有一个渐进上界时,用 O O O记号,存在常量 c c c和 n 0 n_0 n0,使得对所有 n ≥ n 0 n \ge n_0 n≥n0,有 0 ≤ f ( n ) ≤ c ∗ g ( n ) 0\le f(n) \le c*g(n) 0≤f(n)≤c∗g(n); O O O记号给出了一个函数的上界
-
Ω
Ω
Ω记号:提供了函数渐进下界,存在常量
c
c
c和
n
0
n_0
n0,使得对所有
n
≥
n
0
n \ge n_0
n≥n0,有
0
≤
c
∗
g
(
n
)
≤
f
(
n
)
0 \le c*g(n) \le f(n)
0≤c∗g(n)≤f(n);
Ω
Ω
Ω记号给出了一个函数的下界
标准记号和常用函数
- 向下取整与向上取整:对任意实数,用 ⌊ x ⌋ \lfloor x\rfloor ⌊x⌋表示小于或者等于 x x x的最大整数(向下取整), ⌈ x ⌉ \lceil x \rceil ⌈x⌉表示大于或等于 x x x的最小整数(向上取整),对所有实数: x − 1 x-1 x−1 < ⌊ x ⌋ \lfloor x \rfloor ⌊x⌋ ≤ \le ≤ x ≤ \le ≤ ⌈ x ⌉ \lceil x \rceil ⌈x⌉< x + 1 x+1 x+1
- 多项式: ∑ i = 1 n a i n i \sum_{i=1}^{n} a_in^i ∑i=1naini
- 指数: a x a^x ax
- 对数:
l
o
g
a
x
log_ax
logax
l g n = log 2 n lgn = \log_2n lgn=log2n \text{ } l n n = l o g e n lnn = log_en lnn=logen - 阶乘: n ! n! n!