循环不变式的理解

  从算法导论里边，接触到循环不变式这个概念(Loop-invariant)，算法导论给出证实过程以下： 初始化：循环的第一次迭代以前，它为真。 保持：若是循环的某次迭代以前它为真，那么下次迭代以前它仍为真。 终止：在循环终止时，不变式为咱们提供一个有用的性质，该性质有助于证实算法是正确的。   首先理解一下为何要用循环不变式去证实算法的正确性。假如是一个车间的流水线，那么咱们为了要保证产品的合格

>>阅读原文<<