循环不变式主体是不变式,也就是一种描述规则的表达式。其过程分三个部分:初始,保持,终止。
(1)初始:保证在初始的时候不变式为真。
(2)保持:保证在每次循环开始和结束的时候不变式都为真。
(3)终止:如果程序可以在某种条件下终止,那么在终止的时候,就可以得到自己想要的正确结果。
上面的意思个人理解其实就是:一个算法在开始迭代之前的初始值是真的,然后每次迭代产生的结果也是真的,最后终止时得到的结果也是真的。其实就是保证了算法由始至终的正确性。
循环不变式主体是不变式,也就是一种描述规则的表达式。其过程分三个部分:初始,保持,终止。
(1)初始:保证在初始的时候不变式为真。
(2)保持:保证在每次循环开始和结束的时候不变式都为真。
(3)终止:如果程序可以在某种条件下终止,那么在终止的时候,就可以得到自己想要的正确结果。
上面的意思个人理解其实就是:一个算法在开始迭代之前的初始值是真的,然后每次迭代产生的结果也是真的,最后终止时得到的结果也是真的。其实就是保证了算法由始至终的正确性。