意义：

1、第一是从数学上证明算法的正确性，这一步主要用到形式化证明的方法及相关推理模式，如循环不变式、数学归纳法等；

3、因此，作为程序员，掌握基本的算法时间复杂度分析方法是很有必要的。

补充：