[阅读] 算法导论-代入法证明

【证明归并排序相对简单，证明快速排序就麻烦多了。】

代入法证明核心思想就是：1. 猜到一个时间复杂度。2. 假设 n/2 的情况，然后退出n的情况。3. 对于那n=1的情况，是复合假设的。然后根据数学归纳法，这就就可以证明假设成立了。

算法导论上面写的很好，论坛里面公式不好输入，下面直接贴图：





下面在贴一个符号说明