第二课主要是助教讲解数学理论,渐近符号(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
至此第二节课结束,本节课主要学习:
- 三种渐近符号的概念与应用
- 三种递归解决的办法
- 第三种解决递归的方法——主方法的主体推导部分内容