设为首页 - 加入收藏
广告 1000x90
您的当前位置:三五图库香港35图库大全 > 不变式 > 正文

算法导论中的 循环不变式怎么理解

来源:未知 编辑:admin 时间:2019-06-06

  我想知道 循环不变式 是指代码中的 特定部分的代码段 还是说只是一个思想

  可选中1个或多个下面的关键词,搜索相关资料。也可直接点“搜索资料”搜索整个问题。

  展开全部就是个思想,说明正确算法的循环过程中总是存在一个维持不变的特性,这个特性一直保持到循环结束乃至算法结束,这样就可以保证算法的正确了。

  比方说插入排序,算法每次循环后,前n个数一定是排好序的(n为已经循环的次数)。由于这个特性一直成立,到算法结束时,所有N个数一定是排好序的。

  关于这个思想,不要小看了,很多算法的正确性都是这么保证的。追问这个思想 不是证明排序算法的正确性 不是分三个部分 我们去证明的过程 应把握那些着重点

  在直接点就是 课后题有关于 交换排序的正确性证明 怎么去证明他也是正确的算法追答要寻找循环不变的特性,一般都是循环结束时数据具有的特性。如何寻找循环不变量,没有一般方法,不过这是证明算法正确性的最正规的方法。

  比如冒泡排序,算法中存在两次循环:外层循环可以保证第n次循环后第n位的数比上面所有数都大;内部循环可以保证第n次循环后第n+1位都是上面n+1位中最大的。

本文链接:http://1763inn.com/bubianshi/801.html

相关推荐:

网友评论:

栏目分类

现金彩票 联系QQ:24498872301 邮箱:24498872301@qq.com

Copyright © 2002-2011 DEDECMS. 现金彩票 版权所有 Power by DedeCms

Top