循环不变量

使用循环不变量写对代码 这一节我们讲解两个非常基础且常考的问题，向大家展示：我们在写代码的时候一定要明确自己对变量以及区间的定义是什么，并且在编写代码的过程中保持定义不变。

我们把在一开始以及在循环的过程中循环的完成以后都遵循同一个规定的操作叫做遵守循环不变量的定义。循环不变量是证明算法有效性的理论依据，并且还是我们编码的主要依据。

如何正确的理解循环不变式? - 罗宸的回答 - 知乎 https://www.zhihu.com/question/26700198/answer/49466203