算法分析:
两个主要任务:正确性(不变性 x 单调性) + 复杂度
通过分析算法的不变性和单调性从而确定算法的正确性
复杂度分析的主要方法
参考书籍:《Concretet Mathematics》
人的一生大概就是3*10^9 S。