lecture 10.22

1. 不能使用master theorem的地方

2. basic induction

3. inductive case中也可以分别对base case0，1两种情况分别证明p(k+2)成立，即分别证明奇数成立，偶数成立

4. induction m upwords

induction steps l>1

5. strong induction

举例为斐波那契额数列，成立的前提不仅仅是k(n)成立，而是前面的都成立

6. 推导可以逆序，如p(m)成立，推p(m-1)。也就是说base case可以从最小值开始也可以从最大值开始

7. structural induction

同递归概念类似，不是对单个元素的分析，而是对内部整体，举例如下