循环不变式

循环不变式
image
循环不变式（loop invariants）不只是一种计算机科学的思想，准确地说是一种数学思想。在数学上阐述了通过循环（迭代、递归）去计算一个累计的目标值的正确性，属于基础数学的范畴，而且在计算机上也应用广泛。

定义

循环不变式主体是不变式，也就是一种描述规则的表达式。其过程分三个部分：初始，保持，终止。
（1）初始：保证在初始的时候不变式为真。
（2）保持：保证在每次循环开始和结束的时候不变式都为真。