如何證實算法的正確性？

結合算法導論相關章節的學習，利用好循環不變式能夠幫助咱們理解算法的正確性。循環不等式主要知足如下的三條性質： 初始化：循環的第一次迭代以前，它爲真。 保持：若是循環的某次迭代以前它爲真，那麼下次迭代以前它仍爲真 終止：在循環終止以前，不變式爲咱們提供一個有用的性質，該性質有助於證實算法是正確的。 #插入排序算法正確性web INSERTION-SORT(A) for j = 2 to A.leng

>>阅读原文<<