算法导论个人笔记版第三章（二）

第三章 函数的增长

第二节 标准记号与常用函数

---

• 单调性

  • 若$m\leqslant n$蕴涵着$f(m)\leqslant f(n)$，则函数f(n)是单调递增的。类似地，若$m\leqslant n$蕴涵着$f(m)\geqslant f(n)$，则函数f(n)是单调递减的。
  • 若$m<n$蕴涵着$f(m)<f(n)$，则函数f(n)是严格递增的。类似地，若$m<n$蕴涵着$f(m)> f(n)$，则函数f(n)是严格递减的。

• 向下取整与向上取整

  • 对任意实数x，我们用$\lfloor x \rfloor$表示小于或等于x的最大整数，并用$\lceil x \rceil$表示大于或等于x的最小整数。
  • 对所有实数x，$x-1<\lfloor x \rfloor\leqslant x\leqslant \lceil x \rceil<x+1$。
  • 对任意整数n，$\lceil n/2 \rceil+\lfloor n/2 \rfloor=n$。
  • 对任意实数$x\geqslant0$和整数$a，b>0$，有下列公式成立：
    
    • $\lceil \frac{\lceil x/a \rceil}{b} \rceil=\lceil \frac{x}{ab} \rceil$。
    • $\lfloor \frac{\lfloor x/a \rfloor}{b} \rfloor=\lfloor \frac{x}{ab} \rfloor$。
    • $\lceil \frac{a}{b} \rceil\leqslant\frac{a+(b-1)}{b}$。
    • $\lfloor \frac{a}{b} \rfloor\geqslant\frac{a-(b-1)}{b}$。
  • 向下取整函数$f(x)=\lfloor x \rfloor$是单调递增的，向上取整函数$f(x)=\lceil x \rceil$也是单调递增的。

• 模运算

  • 对任意整数a和任意正整数n，$a\mod n$的值就是商a/n的余数：$a\mod n=a-n\lfloor a/n \rfloor$，结果有$0\leqslant a\mod n<n$。
  • 若($a\mod n$)=($b\mod n$)，则记$a\equiv b\pmod n$，并称模n时a等价于b，当且仅当n是b-a的一个因子时成立；若模n时a不等价于b，则记$a\not\equiv b\pmod n$。

• 多项式

  • 给定一个非负整数d，n的d次多项式为具有以下形式的一个函数p(n)：$p(n)=\sum_{i=0}^{d}{a_in^i}$，其中常量$a_0，a_1，...，a_d$是多项式的系数且$a_d\neq0$。
  • 一个多项式为渐近正的当且仅当$a_d>0$。
  • 对于一个d次渐近正的多项式p(n)，有p(n)=Θ($n^d$)。
  • 对任意实常量$a\geqslant0$，函数$n^a$单调递增，对任意实常量$a\leqslant0$，函数$n^a$单调递减。
  • 若对某个常量k，有f(n)=O($n^k$)，则称函数f(n)是多项式有界的。

• 指数和对数

  • 任意底大于1的指数函数比任意多项式函数增长得快。
  • 对所有实数x，有泰勒公式：$e^x=1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+···=\sum_{i=0}^{\infty}{\frac{x^i}{i!}}$，即对于所有实数x，不等式$e^x\geqslant1+x$成立，当且仅当x=0时取等号。
  • 对于所有x，我们有重要极限：$\displaystyle \lim_{n\to\infty} (1+\frac{x}{n})^n=e^x$。
  • 如果常量b>1，那么对n>0，函数 $\log_bn$是严格递增的。
  • 对数的底从一个常量到另一个常量的更换仅使对数的值改变一个常量因子，所以默认$\log n$的底数为2。
  • 当|x|<1时，$\ln(1+x)=x-\frac{x^2}{2}+\frac{x^3}{3}-\frac{x^4}{4}+\frac{x^5}{5}-···=(-1)^{i-1}\sum_{i=1}^{\infty}{\frac{x^i}{i}}$，即对x>-1，不等式$\frac{x}{1+x}\leqslant\ln(1+x)\leqslant x$成立，当且仅当x=0时取等号。
  • 若对某个常数k，f(n)=O($\lg^k{n}$)，则称函数f(n)是多对数有界的。
  • 任意正的多项式函数都比任意多对数函数增长得快。

• 阶乘

  • 阶乘函数的一个弱上界是$n!\leqslant n^n$，因为在阶乘中，n项的每项最多为n。
  • 斯特林(Stirling)近似公式：$n!=\sqrt {2\pi n}(\frac{n}{e})^n(1+Θ(\frac{1}{n}))$，给出了一个更紧确的上界和下界。对所有$n\geqslant1$，下面的等式也成立：$n!=\sqrt {2\pi n}(\frac{n}{e})^ne^{\alpha_n}$，其中$\frac{1}{12n+1}<\alpha_n<\frac{1}{12n}$。

• 多重函数与多重对数函数

  • 我们使用记号$f^{(i)}(n)$来表示函数f(n)重复i次作用于一个初值n上。
  • 我们使用记号$\lg^*n$来表示多重对数，即从参数n开始，连续应用对数函数的次数，定义多重对数函数为：$\lg^*n$=min{$i\geqslant0：\lg^{(i)}n\leqslant1$}。

• 裴波那契数

  • 使用递归定义裴波那契数：$F_0=0，F_1=1，F_i=F_{i-1}+F_{i-2}(i\geqslant2)$，即每个裴波那契数都是前面两个数之和。
  • 裴波那契数与黄金分割率$\phi$及其共轭数$\psi$有关，它们是下列方程的两个根：$x^2=x+1$，即$\phi=\frac{1+\sqrt5}{2}=1.618···$，$\psi=\frac{1-\sqrt5}{2}=-0.618···$，特别地，我们有：$F_i=\frac{\phi^i-\psi^i}{\sqrt5}$。
  • 因为|$\psi$|<1，所以有$\frac{|\psi^i|}{\sqrt5}<\frac{1}{\sqrt5}<\frac{1}{2}$，这蕴含着$F_i=\lfloor\frac{\phi^i}{\sqrt5}+\frac{1}{2}\rfloor$，也就是说，第i个裴波那契数等于$\frac{\phi^i}{\sqrt5}$舍入到最近的整数，因此，裴波那契数以指数形式增长。