循環(huán)不變式
循環(huán)不變式主要用來(lái)幫助我們理解算法的正確性。
初始化：它在循環(huán)的第一輪迭代開(kāi)始之前，應(yīng)該是正確的。
保持：如果在循環(huán)的某一次迭代開(kāi)始之前它是正確，那么，在下一次迭代開(kāi)始之前，它也應(yīng)該保持正確。
終止：當(dāng)循環(huán)結(jié)束時(shí)，不變式給了我們一個(gè)有用的性質(zhì)，它有助于表明算法是正確的。
posted on 2007-02-05 19:43
豪 閱讀(424)
評(píng)論(0) 編輯 收藏 引用 所屬分類(lèi):
算法&ACM