算法学习二：循环不变式证实算法的正确性

循环不变式证实算法的正确性 循环不变式主要用来辅助咱们理解算法的正确性，对于循环不变式，必须证实它的三个性质（有些相似于数学概括法的意味）：web 初始化：它在循环的第一轮迭代开始以前，应该是正确的。 保持：若是在某一次循环迭代开始以前是正确的，那么在下一次迭代开始以前，它也应该保持正确（假设当循环变量等于k时符合，再看执行一遍循环体后是否还符合循环不变式）。 结束：当循环结束时，不变式给了咱们一

>>阅读原文<<