意义：
1、第一是从数学上证明算法的正确性，这一步主要用到形式化证明的方法及相关推理模式，如循环不变式、数学归纳法等；
2、在证明算法是正确的基础上，第二部就是分析算法的时间复杂度。算法的时间复杂度反映了程序执行时间随输入规模增长而增长的量级，在很大程度上能很好反映出算法的优劣与否；
3、因此，作为程序员，掌握基本的算法时间复杂度分析方法是很有必要的。
补充：
算法复杂度的定义：即算法在编写成可执行程序后，运行时所需要的资源，资源包括时间资
