循環不變式的理解

  從算法導論裏邊，接觸到循環不變式這個概念(Loop-invariant)，算法導論給出證實過程以下： 初始化：循環的第一次迭代以前，它爲真。 保持：若是循環的某次迭代以前它爲真，那麼下次迭代以前它仍爲真。 終止：在循環終止時，不變式爲咱們提供一個有用的性質，該性質有助於證實算法是正確的。   首先理解一下爲何要用循環不變式去證實算法的正確性。假如是一個車間的流水線，那麼咱們爲了要保證產品的合格

>>阅读原文<<