MIT算法导论第二课——渐近符号的说明与三种递归问题的解决办法

第二课主要是助教讲解数学理论，渐近符号(Asymtotic sign)以及三种解决递归(solving recurrences)的方法

渐近符号

• 第一个渐近符号，：

it means there are always some constants , and exits  then

 when 

大概意思就是在n趋于无穷大的时候的上界

用计算机里的说法，可以把当作一种宏定义使用，课上定义为

A set in a formula represents an anonymous function in that set

Example:  就是 

• 第二个渐近符号，：

it means there are always some constants , and exits  then

 when 

大概意思就是在n趋于无穷大的时候的下界

第三个渐近符号， 即在n无穷大的时候的渐渐趋近：

而对于上界、下界两个符号，其小写形式和即为严格排除等于号

Ex：

下面是解决递归（Solving Recurrences）的三种方法：

• 第一种是Substitution Method(代换法)，其实就是数学归纳法。

a) Guess the form of solution

b) Verify the induction

c) Solve the const

也就是猜测结果的数学表达式形式，然后利用数学归纳法证明并解出表达式的系数。显而易见，这种方法最大的不好就是需要猜出答案的形式。

第二种是Recursion-tree method(递归树)。

例子请参照上一篇博客的归并排序的推导：MIT算法导论第一课——插入排序与归并排序c++实现

• 第三种是Master Method(主方法).

具体如下(笔记是自己听第二节课记的，但是大致清晰)：

Only applies to recurrences of the form

至此第二节课结束，本节课主要学习：

1. 三种渐近符号的概念与应用
2. 三种递归解决的办法
3. 第三种解决递归的方法——主方法的主体推导部分内容