【算法导论学习笔记】第2章：算法基础

1. 循环不变式     循环不变式帮助我们理解算法正确性。利用循环不变式时，需要证明以下三条性质。     初始化：循环第一次迭代前，循环不变式为真.（对应归纳法中的基本情况）     保持：如果循环在某次迭代前为真，则在下次迭代之前也为真。（对应于归纳步）     终止：循环终止时，不变式提供一个有用的性质，该性质有助于证明算法的正确性。（与归纳区别，归纳法中归纳步无限使用，而此处会终止） 2

>>阅读原文<<