循环不变式-以求最大值和插入排序为例

循环不变式（loop invariants）不仅是一种计算机科学的思想，准确地说是一种数学思想。在数学上阐述了经过循环（迭代、递归）去计算一个累计的目标值的正确性，属于基础数学的范畴，并且在计算机上也应用普遍。利用循环不变式能够帮助咱们理解算法的正确性。html 一、循环不变式的三条性质 初始化：循环的第一次迭代以前，它为真。 保持：若是循环的每次迭代以前它为真，那么下次迭代以前它仍为真。 终止:

>>阅读原文<<