对于循环不变式证明的总结

最新推荐文章于 2021-01-20 17:06:10 发布
最新推荐文章于 2021-01-20 17:06:10 发布
阅读量725 收藏
点赞数
分类专栏： 算法导论
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/loveindream/article/details/17031289
版权

对于循环不变式，必须证明它的三个性质：

  1. 初始化：他在循环的第一轮迭代开始之前，应该是正确的
  2. 保持：如果再循环的某一次迭代开始之前它是正确的，那么，在下一次迭代开始之前，它也应该保持正确
  3. 终止：当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的
注明：当头两个性质成立时，你就能保证循环不变式在循环的每一轮迭代开始之前，都是正确的

黑眼圈的意志
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
数据结构系列第二篇——循环不变式
qq_34028001的博客
08-02 2125
一、循环不变式定义 在for循环（循环变量为i，从1开始）的每次迭代开始，包含元素A[0,..,j-1]长度为j的子数组构成了已经排好序的一个排列。现在循环开始就要处理一个新的元素，怎么处理不管，反正我们就是要求在处理前和处理后，子数组中的元素都是已排好序的。我们把A[0,..,j-1]的这种性质称为循环不变式。 循环不变式三条性质： 初始化：首先证明在第一次循环之前，循环不变式成立。 保持：其次证明每次迭代保持循环不变式。 终止：最后研究在循环终止时发生了什么，循环不变式是否成立。 只要符合这三
用循环不变式证明RB-DELETE-FIXUP的正确性
swordmanwk的专栏
05-18 1002
初始化：在循环的第一次迭代之前，我们从一颗正常的红黑树开始，并删除了一个黑色结点y。这样在调用RB-DELETE-FIXUP之前，有：a）性质1）和性质3）成立。b）所有经过x结点路径的黑高度是相等的，并且会比所有不经过x的路径的黑高度少1（除非所有路径都经过x）。可能违反3个性质：l  如果y是根结点，而y的唯一的一个红色孩子成为新的根（可以证明，y最多只有一个不是nil[T]的孩子），则性质2）被违反；l  如果x和p[y]都是红色，那么性质4）被违反；l  删除y会直接导致性质5）被违反，所有经过x的
算法学习 - 证明算法的正确性 - 循环不变式 (Loop invariants)
Anton的博客
01-14 1989
循环不变式 (Loop invariants) 循环不变式在数学上阐述了通过循环（迭代、递归）去计算一个累计的目标值的正确性。主要用来检验算法。 循环不变式主体是不变式，是一种描述规则的表达式。其过程分三个部分：初始，保持，终止。 其实本质上就是一个思想，说明正确算法的在循环过程中总存在一个维持不变的特性。 若这个特性一直保持到循环结束，这样就可以保证算法的正确性了。 而对于一个循环表达...
用归纳法证明循环不变式的正确性。
在路上...
05-17 1014
<br />循环不变式（loop invariant)
循环不变式
shujiaw的博客
12-21 3612
循环不变式 循环不变式其主要是用来帮助我们理解和证明算法的正确性。 关于循环不变式我们必须证明三个性质： 初始化：它在循环的第一轮迭代开始之前，应该是正确的。 保持：如果在某一次循环迭代开始之前是正确的，那么在下一次迭代开始之前，它也应该保持正确。 结束：当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。 插入排序的证明 for j = 2 to A.length ...
程序正确性证明PPT学习教案.pptx
10-03
- **Floyd的不变式断言法**：通过定义程序执行过程中保持不变的条件（不变式）来证明程序的正确性。 - **Hoare规则公理方法**：Hoare逻辑是一种形式化的方法，它包含了程序公理和推导规则，用于证明程序的部分正确性...
算法的时间复杂度和空间复杂度-总结.doc
10-08
时间复杂度分析通常分为两个步骤：首先，我们需要证明算法的正确性，这通常涉及到形式化证明，如循环不变式、数学归纳法等逻辑推理方法。一旦算法的正确性得到保障，接下来就是分析其时间复杂度。 算法执行时间的...
课程资料编译原理复习题及答案.doc
最新发布
06-18
- **不变运算外提**: 将循环体内的不变运算移动到循环外部。 - **运算强度削弱**: 降低循环内部的计算复杂度。 - **消除归纳变量**: 减少循环计数器的使用。 - **下标变量地址计算优化**: 改进数组访问效率。 #### ...
离散数学总结期末考试资料与练习题
10-20
- 给定解释 I 对于公式 P(f(x,y),g(x,y)) 可能为真，取决于 x 和 y 的具体值。其他选项需要根据函数 f(x,y) = x - y 和 g(x,y) = x + y 来判断真值。 3. **幂集**： - 设集合 A 的元素个数为 n，则其幂集的元素个...
(慢更) 算法导论答案(第二版)第一章第二章
05-14
- **循环不变式证明**： - 循环不变式的概念是算法分析中常用的一种工具，用于证明算法的正确性。 - 对于Algorithm2.1-3-1算法的循环不变式为：“子数组[1..−1]中所包含的元素组，为已经扫描过，且确认没有靶元素...
对算法导论中用循环不变式证明算法正确性的理解
zhaoyaozong的专栏
10-08 2999
算法导论中原文： We use loop invariants to help us understand why an algorithm is correct. We must show three things about a loop invariant: Initialization: It is true prior to the first iteration of the
算法学习二：循环不变式证明算法的正确性
祝 枫
07-09 1万+
循环不变式证明算法的正确性循环不变式主要用来辅助我们理解算法的正确性，对于循环不变式，必须证明它的三个性质（有些类似于数学归纳法的意味）： 初始化：它在循环的第一轮迭代开始之前，应该是正确的。 保持：如果在某一次循环迭代开始之前是正确的，那么在下一次迭代开始之前，它也应该保持正确（假设当循环变量等于k时符合，再看执行一遍循环体后是否还符合循环不变式）。 结束：当循环结束时，不变式给了我们一个有用的性
循环不变式证明算法的正确性
weixin_30651273的博客
05-24 1655
循环不变式证明算法的正确性循环不变式主要用来辅助我们理解算法的正确性，对于循环不变式，必须证明它的三个性质（有些类似于数学归纳法的意味）： 初始化：它在循环的第一轮迭代开始之前，应该是正确的。保持：如果在某一次循环迭代开始之前是正确的，那么在下一次迭代开始之前，它也应该保持正确（假设当循环变量等于k时符合，再看执行一遍循环体后是否还符合循环不变式）。结束：当循环结束时，不变式给了我们一个有用的性...
由July师兄二分查找代码及编程珠玑有感：循环不变性(断言)证明程序的正确性及发现bug
richardzrc的博客搬家了--->richardzhang.info
05-07 1661
最近看到Lucida大神写的算法数据结构经历以及各种面试经历帖，偶然看到编程珠玑这本书，发现里面对二分查找的证明有着与 算法导论的循环不变性相似，但是更加make sense的证明思路，最近读了一下，有一些心得。大家可以尝试运用这个方法来证明下更加容易 出现bug的快速排序算法，以便确定自己的代码是否正确。 二分查找算法(h=n-1版本)： int BinarySearch(int
循环不变性（loop invariant）-证明算法的正确性的一种方法
热门推荐
institute的专栏
03-02 1万+
循环不变性是在算法中循环的前后都保持不变的一种属性。 利用循环不变性证明算法正确应该满足3个条件：（算法导论中提到的） 初始条件: 首次循环前不变性成立 保持条件: 一次循环前不变性如果成立，则下次循环开始前不变性成立 终止条件: 循环结束后，循环不变性应能表明程序的正确性 例1（正确的程序） def INSERTION_SORT(A): j = 1 while j
【算法导论】第2章 算法基础
1+1=王的博客
01-20 618
2.1 插入排序 2.1-1 说明INSERTION-SORT在数组A=<31,41,59,26,41,58>上的执行过程。 2.1-2 重写过程INSERTION-SORT，使之按非升序排序。 2.1-3 考虑以下查找问题： 输入：n个数的一个序列A=<a1,a2,a3,…,an>和一个值v。 输出：下标i使得v=A[i]或者当v 不在A中出现时，v为特殊值NIL。 2.1-4 把两个n为二进制整数加起来，这两个整数分别存储在两个n元数组A和B中。这两个整数的和应按照二进制形式存
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值