算法分析之-渐进记号

渐进记号

渐进记号分为：Θ()、Ω()、ω()、O()、o()

---

1. Θ记号

$f(n)=\Theta (g(n))$

$存在正常数C_1,C_2和n_0，使得对所有的n\ge n_0，$
$都有0\le C_1\ast g(n)\le f(n)\le C_2\ast g(n)，f(n)与g(n)在数量级上相等$

$我们试着证明:$
$\frac{1}{2}{n}^2-3n=\theta (n^2)$

$第一步，我们必须确定有$
$C_1{n}^2\le \frac{1}{2}{n}^2-3n\le C_2{n}^2$

$第二步，我们将两边除以n^2$
$C_1\le \frac{1}{2}-\frac{3}{n}\le C_2$

$C_2\ge 1/2可以使任意n\ge 1，不等式右边成立$
$C_1\le 1/14可以使任意n\ge 7，不等式左边成立$

---

2. O记号

$f(n)=O(g(n))$

$存在正常数C，n_0,使得对所有的n\ge n_0,都有0\le f(n)\le C\ast g(n)$
$f(n)在数量级小于等于g(n)$

---

3. o记号

$f(n)=o(g(n))$

$存在正常数C，n_0,使得对所有的n\ge n_0,都有0\le f(n)<c\ast g(n);f(n)在数量级小于g(n)$

e.g.：$2n=o(n^2);2n^2\ne o(n^2)$

---

4. Ω记号

$f(n)=\Omega (g(n))$

$存在正常数C，n_0,使得对所有的n\ge n_0,都有0\le C\ast g(n)\le f(n);f(n)在数量级大于等于g(n)$

---

5. ω记号

$f(n)=\omega (g(n))$

$存在正常数C，n_0,使得对所有的n\ge n0,都有0\le c\ast g(n)<f(n);f(n)在数量级大于g(n)$

---

性质

1. 传递性
2. 自反性
3. 对称性
4. 转置对称性