循环不变式--发表日期2008-04-13 01:51

原创 2008年10月02日 18:24:00

//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++上面看到一个概念,真的是一本不错的书。

「算法导论」:到底什么是循环不变式?

算法导论第二产
  • u014723123
  • u014723123
  • 2014年06月28日 18:40
  • 1765

循环不变式、数学归纳法、归纳推理和演绎推理学习总结

循环不变式、数学归纳法和归纳推理从不同层次描述了知识发现的三种方式,这些方式既一脉相承又有所区别,本文希望能对其异同进行分析。...
  • u011382381
  • u011382381
  • 2016年10月09日 11:23
  • 668

巧用循环不变式书写正确的二分查找算法(看不懂我撞墙)

1.二分查找介绍 在进行开始之前,我们县要来正确的认识一下什么是二分查找算法 上过数值分析这门课的同学一定在迭代那一刻里面清楚的了解过一个名词叫做对分法 实际上,对分法的本质就是二分查找 下面...
  • ltyqljhwcm
  • ltyqljhwcm
  • 2016年10月10日 00:25
  • 967

循环不变式的思想及其应用

  循环不变式的思想及其应用   循环不变式(loop invariants)不只是一种计算机科学的思想,准确地说是一种数学思想。在数学上阐述了通过循环(迭代、递归)去计算一个累计的目标值的正确性,...
  • davelv
  • davelv
  • 2010年10月20日 03:04
  • 5792

算法学习二:循环不变式证明算法的正确性

循环不变式证明算法的正确性循环不变式主要用来辅助我们理解算法的正确性,对于循环不变式,必须证明它的三个性质(有些类似于数学归纳法的意味): 初始化:它在循环的第一轮迭代开始之前,应该是正确的。 保持:...
  • mountzf
  • mountzf
  • 2016年07月09日 15:42
  • 2445

循环不变式(loop invariant)

循环不变式是一种条件式(必须满足的条件,对循环而言是保持不变的,无论循环执行了多少次),循环语句没执行一次,就要求中间的结果必须符合不变式的要求。 (1)进入循环语句时,不变式必须成立; (2)循环语...
  • lanchunhui
  • lanchunhui
  • 2016年09月27日 18:25
  • 1444

发表01

关于 不想经历别人经历的,却想坚持别人坚持的,这个貌似需要很多残酷的等价交换。...
  • imabra
  • imabra
  • 2011年11月23日 14:14
  • 107

SQL日期类型

sql中的日期问题,解决隔天时间差。
  • u010540106
  • u010540106
  • 2013年09月15日 21:51
  • 2339

算法导论学习-数学归纳法与循环不变式理解

数学归纳法: 最简单和常见的数学归纳法是证明当n等于任意一个自然数时某命题成立。证明分下面两步: 证明当n= 1时命题成立。 假设n=m时命题成立,那么可以推导出在n=m+1时命...
  • awdszxtanwei
  • awdszxtanwei
  • 2017年07月18日 20:51
  • 180

循环不变式

什么是循环不变式? 的
  • u012423283
  • u012423283
  • 2014年05月11日 13:57
  • 208
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:循环不变式--发表日期2008-04-13 01:51
举报原因:
原因补充:

(最多只允许输入30个字)