摘要：
1. 循环不变式主要用于帮助我们理解算法的正确性。对于循环不变式，必须证明它的三个性质： 初始化：它在循环第一轮迭代之前，应该是正确的。 保持：如果在循环某一次迭代开始之前它是正确的，那么，在下一次迭代开始之前，它也应该保持正确。 中止：当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。 算法分析即指对一个算法所需要的资源进行预测。 RAM模型包含了计算机中常见的指令：算数指令（加减乘除、取余、向下取整、向上取整）、数据移动指令（装入、存储、复制指令）、控制指令（条件和非条件转移、子程序调用和返回指令）。每条指令所需的时间都为常量。 算法的运行时间... 阅读全文
