算法學習二：循環不變式證實算法的正確性

循環不變式證實算法的正確性 循環不變式主要用來輔助咱們理解算法的正確性，對於循環不變式，必須證實它的三個性質（有些相似於數學概括法的意味）：web 初始化：它在循環的第一輪迭代開始以前，應該是正確的。 保持：若是在某一次循環迭代開始以前是正確的，那麼在下一次迭代開始以前，它也應該保持正確（假設當循環變量等於k時符合，再看執行一遍循環體後是否還符合循環不變式）。 結束：當循環結束時，不變式給了咱們一

>>阅读原文<<