循環不變式-以求最大值和插入排序爲例

循環不變式（loop invariants）不僅是一種計算機科學的思想，準確地說是一種數學思想。在數學上闡述了經過循環（迭代、遞歸）去計算一個累計的目標值的正確性，屬於基礎數學的範疇，並且在計算機上也應用普遍。利用循環不變式能夠幫助咱們理解算法的正確性。html 一、循環不變式的三條性質 初始化：循環的第一次迭代以前，它爲真。 保持：若是循環的每次迭代以前它爲真，那麼下次迭代以前它仍爲真。 終止:

>>阅读原文<<