【算法導論學習筆記】第2章：算法基礎

1. 循環不變式     循環不變式幫助我們理解算法正確性。利用循環不變式時，需要證明以下三條性質。     初始化：循環第一次迭代前，循環不變式爲真.（對應歸納法中的基本情況）     保持：如果循環在某次迭代前爲真，則在下次迭代之前也爲真。（對應于歸納步）     終止：循環終止時，不變式提供一個有用的性質，該性質有助於證明算法的正確性。（與歸納區別，歸納法中歸納步無限使用，而此處會終止） 2

>>阅读原文<<