【算法导论】笔记-第二章 函数的增长

第2章 函数的增长

2.1 渐近记号

• 渐近紧确线：$\theta$

  • 运行表达式$T(n)$中n的最大次数项。例如：$T(n)=30n^4+20n^3+40n^2+46n+100$，记为$T(n)=\theta (n^4)$

  • 数学含义：$f(n)$和$g(n)$同阶

  • 注意：$\theta (g(n))$的定义要求当n足够大时，$g(n)$非负

• 渐近上界记号：$O$

  • 渐近地给出函数的上界
  • $O(g(n))=f(n)$
  • 这个上界的阶越低，评估越精确，越有价值
  • 用作算法的最坏情况运行时间

• 渐近下界记号：$\Omega$

  • 下界的阶越高，评估越精确，越有价值
  • $\Omega (g(n))=f(n)$

• 非渐近紧确上界：$o$

  • $o(g(n))=f(n)$
  • 比渐近紧确上界阶数高

• 非渐近紧确下界：$\omega$

  • $\omega (g(n))=f(n)$
  • 比渐近紧确下界阶数低

  记号	含义	理解
  $\theta$	紧确界	相当于“=”
  $O$	紧确上界	相当于“$⩾$”
  $o$	非紧确上界	相当于“>”
  $\Omega$	紧确下界	相当于“$⩽$”
  $\omega$	非紧确下界	相当于“<”

2.2 标准记号与常用函数

• 单调性

• 向下取整与向上取整：$x-1<\lfloor x\rfloor ⩽x⩽\lceil x\rceil <x+1$

• 模运算：$amodn=a-n\lfloor a/n\rfloor$，商a/n的余数

• 阶乘：$n!$

• 多重函数

• 多重对数函数

• 斐波那契数：$F_0=0$

  ​ $F_1=1$

  ​ $F_i=F_{i-1}+F_{i-2}$