對於循環不變式證實的總結

對於循環不變式，必須證實它的三個性質：算法 初始化：他在循環的第一輪迭代開始以前，應該是正確的 保持：若是再循環的某一次迭代開始以前它是正確的，那麼，在下一次迭代開始以前，它也應該保持正確 終止：當循環結束時，不變式給了咱們一個有用的性質，它有助於代表算法是正確的 註明：當頭兩個性質成立時，你就能保證循環不變式在循環的每一輪迭代開始以前，都是正確的

>>阅读原文<<