【算法导论】Fast-Review简记（二）数学基础

写在前面

该博文是根据《算法导论（第二版）》机械工程出版社 的主要内容（部分章节未涉及），哈工大老师授课ppt写就的，非常不全面，仅用于快速入门或复习算法。

关于阶

同阶，低阶，高阶的定义

• 存在这样的 正 常数
• 存在这样的 $n_0$
• 常数严格大于0，$n$严格大于$n_0$，$f(n)$和$cg(n)$的关系大于（小于）等于即可。若是严格同阶，严格低阶，严格高阶，则不包括等号，此时还将满足极限关系。

符号表示

三个结论

• 充要条件：同阶<->低阶（最好情况）且高阶（最坏情况）
• 渐进上阶用于描述最快情况，渐进下界用于描述最好情况（譬如我们可以说插入排序算法最坏运行情况为 $\Omega (n^2)$，但不可以说插入排序算法时间为 $\Omega (n^2)$，因为存在比 $n^2$ 更好的情况）
• 阶的关系具有 传递性，自反性，对称性，反对称性

含义

独立地表示一个匿名函数

数学基础：和式的计算

递归方程的求解

替换

• 先猜测，后证明。其中猜测有三种方法：联想已知，大胆推测；放缩，上下界逼近；变量替换，构造熟悉表达式
• 然后使用数学归纳法证明

迭代

• 将递归表达式视作一棵树，不断将其中的$T(n)$相关表达式替换为常数
• 直到T中趋于常数（一般取1），进行求和

Master定理（注意使用限制）

举例：复杂度计算

eg1：阶的证明

eg2：和式的计算

eg3：递归方程的求解