《算法導論》讀書筆記（一） 循環不變式

循環不變式的介紹 循環不變式是用來證實算法正確性的一種方法。當設計一個算法設計到循環時，就可使用循環不變式來去驗證算法的正確性。從我的角度來看，我認爲循環不變式的使用可使設計算法者的邏輯更加嚴謹。循環不變式是一種驗證算法是否正確的一個過程，在這個過程當中有三個重要的節點，下面介紹這三個節點。web 循環不變式的三個節點 初始化：在循環迭代前循環不變式爲真。 保持：若是循環的某次迭代以前循環不變式爲

>>阅读原文<<