GhostFace的Blogs

摘要： 算法導論第二章中提出了一個概念－－“循環不變式” 那么，何為循環不變式 我的理解是： “循環不變式是用于證明算法正確性的一種工具” 它應該怎么用呢 首先，對于任意的一種算法，我們需要找出其循環不變式 然后，需要證明循環不變式的三條性質 對于插入排序算法，它的證明是這樣的： 設下標j為目前正在排序的數 閱讀全文