循环不变式

循环不变式 循环不变式其主要是用来帮助咱们理解和证实算法的正确性。 关于循环不变式咱们必须证实三个性质：web 初始化：它在循环的第一轮迭代开始以前，应该是正确的。 保持：若是在某一次循环迭代开始以前是正确的，那么在下一次迭代开始以前，它也应该保持正确。 结束：当循环结束时，不变式给了咱们一个有用的性质，它有助于代表算法是正确的。 插入排序的证实 for j = 2 to A.length

>>阅读原文<<