如何正确的理解循环不变式

循环不变式是指某条件成立时,执行代码 。一般循环则是单纯的,根据需要循环的次数循环 , 不考虑其他因素 。
循环不变式的3个性质:
1、初始化:在第一次循环前是正确的 。
2、保持:在循环迭代中是正确的 。
【如何正确的理解循环不变式】3、终止:当循环结束时是正确的 。

以上就是如何正确的理解循环不变式的内容啦,希望本文可以帮到你!