循环不变式--发表日期2008-04-13 01:51
来源:互联网 发布:良剑期乎断 不期乎镆铘 编辑:程序博客网 时间:2024/05/17 02:28
//invariant:we have written r rows so far.
int r=0;
//setting r to 0 makes the invariant true
while(r!=rows)
{
//we can assume that the invariant is true here
//writting a row of output makes the invariant false
std::cout<<std::endl;
//incrementing i makes the invarian true again
++r;
}
上面这个循环很简单,就是要使循环体执行n次,但是从中我们可以发现一个循环不变式,那就是“we have written r rows so far”,循环不变式要成立只需当1while开始之前循环不变式成立,2当我们执行到循环体尾部时循环不变式成立。当我们将i设为0时,此时我们一次都没有循环显然循环不变式成立,因为我们此时还没有输出一行,当我们输出一行后,此时循环不变式即为假了,但是++r使得循环不变式又为真了,因此我们可以得出此循环不变式是成立的,当最后跳出循环体时,r==rows了,即我们已经输出了rows行了!
从Accelerated C++上面看到一个概念,真的是一本不错的书。
- 循环不变式--发表日期2008-04-13 01:51
- 循环不变式
- 循环不变式
- 循环不变式
- 循环不变式
- 循环不变式
- 循环不变式
- 循环不变式
- 【循环不变式】【a^n】
- 循环不变式的理解
- 循环不变式的特征
- 循环不变式的理解
- 循环不变式的思想及其应用
- 循环不变式的思想及其应用
- 循环不变式的思想及其应用
- 循环不变式的思想及其应用
- 关于循环不变式的思考
- 循环不变式(Loop invariant)
- 分桔子问题
- Key Concept: Polymorphism in C++--发布日期:2007-9-5
- 如何让new操作符不分配内存,只调用构造函数
- 又是指针和数组-- 发布日期:2008-3-6
- Oracle视图
- 循环不变式--发表日期2008-04-13 01:51
- STL介绍-- 发布日期:2008-04-13 15:36
- 模板代替虚函数实现多态-- 发布日期:2008-04-24 13:05
- Bjarne Stroustrup 讲述语言的演变(转载)
- 求素数-- 发布日期:2008-05-23 23:07
- 急求JAVA编写的个人通讯录
- 最简单的MFC程序--发布日期:2007-1-22
- MFC的一点感悟--发布日期:2007-7-24
- VC截取屏幕--发布日期:2007-8-18