循環不變式

循環不變式 循環不變式其主要是用來幫助咱們理解和證實算法的正確性。 關於循環不變式咱們必須證實三個性質：web 初始化：它在循環的第一輪迭代開始以前，應該是正確的。 保持：若是在某一次循環迭代開始以前是正確的，那麼在下一次迭代開始以前，它也應該保持正確。 結束：當循環結束時，不變式給了咱們一個有用的性質，它有助於代表算法是正確的。 插入排序的證實 for j = 2 to A.length

>>阅读原文<<