循環不變式的特徵

循環不變式 初始化：循環的第一次迭代以前，它爲真。 保持：若是循環的某次迭代以前它爲真，那麼下次迭代以後仍爲真。 終止：在循環終止時，不變式爲咱們提供了一個有用的性質，該性質有助於證實算法是正確的。

>>阅读原文<<