随笔分类(81)

文章分类(89)

循环不变式

循环不变式主要用来帮助我们理解算法的正确性。

初始化：它在循环的第一轮迭代开始之前，应该是正确的。

保持：如果在循环的某一次迭代开始之前它是正确，那么，在下一次迭代开始之前，它也应该保持正确。

终止：当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。

posted on 2007-02-05 19:43 豪阅读(391) 评论(0) 编辑收藏引用所属分类: 算法&ACM

只有注册用户登录后才能发表评论。
【推荐】100%开源！大型工业跨平台软件C++源码提供，建模，组态！

相关文章: 用stl打spfa短了1k代码，慢了200ms 三次样条插值龙贝格积分2457jlu 三分法求函数极值buaa1024 为了大作业报告好写点，重写了RBTree 扩展的欧拉函数 pku1091 连分数学习笔记中国剩余定理(同余方程组)小结解模线性方程小结好久没写了.

网站导航: 博客园 IT新闻 BlogJava 知识库博问管理