循环不变式的特征

循环不变式 初始化：循环的第一次迭代以前，它为真。 保持：若是循环的某次迭代以前它为真，那么下次迭代以后仍为真。 终止：在循环终止时，不变式为咱们提供了一个有用的性质，该性质有助于证实算法是正确的。

>>阅读原文<<