算法导论中的循环不变式

最新推荐文章于 2022-04-11 19:13:22 发布
最新推荐文章于 2022-04-11 19:13:22 发布
阅读量228 收藏
点赞数
文章标签： 数据结构与算法

循环不变量顾名思义应该用在证明循环中(不是我naive)

 

如果为了证明递归Sum,其实只要做类似数学归纳法的工作.
首先SUM(A,p,p)正确
假设Sum(A,p,r-1)正确
由于Sum(A,p,r)=Sum(A,p,r-1)+r也正确
得证.

循环不变量的使用是:
1.初始状态正确
2.每次循环后正确
3.程序会结束

所以循环不变量一般用于证明像插入排序这种一步一步接近问题N的算法.
证明递归最好用数学归纳法.

weixin_34356138
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
九大排序算法再总结
xiazdong
01-03 30万+
如果要转载，需要注明出处： http://blog.csdn.net/xiazdong 本文是 http://blog.csdn.net/xiazdong/article/details/7304239 的补充，当年看了《大话数据结构》总结的，但是现在看了《算法导论》，发现以前对排序的理解还不深入，所以打算对各个排序的思想再整理一遍。 本文首先介绍了基于比较模型的排序算法，
《算法导论》：关于循环不变式
玛软的垃圾桶
10-10 436
《算法导论》：关于循环不变式 试着理解一下《算法导论》中提到的循环不变式的概念，作者水平有限，如果内容存在纰漏的话希望大家批评指出。 算法导论在讨论插入排序算法的时候引入了循环不变式的概念，书中的描述是这样的： 事实上，元素A[1…j-1]就是原来在位置1到j-1的元素，但现在已按序排列。我们把A[1…j-1]的这些性质形式地表示为一个循环不变式 其中元素A[1…j-1]指的是排序算法左端已经按序排列的元素。 显然，我们能从原书的描述中明确几点： 循环不变式是算法性质的抽象，以插入排序为例，循环不变式
算法导论--循环不变式
qq_38619449的博客
12-27 350
循环不变式与插入排序的正确性 关于插入排序，有点类似许多人排序一手扑克牌。开始时，我们的左手为空并且桌子上的牌面向下。然后我们每次从桌子上拿走一张牌并将它插入左手中正确的位置。为了找到一张牌的正确位置，我们从右到左将它与已在手中的每张牌进行比较。拿在左手的牌总是排好序的，原来这些牌是桌子上牌堆顶部的牌。我们可以知道一点，当我们用插入排序第j个元素时，前j-1个元素是排好序的，并且这j-1个元素是原先数组前j-1个数组，只是现在已按序排列。 循环不变式主要用来帮助我们理解算法的正确性。关于循环不变式，我们
「算法导论」：到底什么是循环不变式？
u014723123的专栏
06-28 9117
算法导论第二产
算法导论学习笔记1_循环不变式
weixin_43374723的博客
03-23 2499
循环不变式1. 循环不变式和数学归纳法2. 循环不变式的三条性质3. 利用循环不变式分析插入排序 1. 循环不变式和数学归纳法 在数学中，数学归纳法常用于证明给定命题在自然数范围内的正确性，它是一种严谨的演绎推理法。而在计算机科学中，循环不变式同样作为一种演绎推理法用于理解和证明算法的正确性。从下文的介绍中可以看出，循环不变式和数学归纳法有着许多的相似之处。 2. 循环不变式的三条性质 循环不变式...
循环不变式1
08-08
在《算法导论》中，插入排序算法的正确性就是通过循环不变式的这三个特性来证明的。 除了插入排序，循环不变式也可应用于其他数据结构和算法，如归并排序、快速排序、二分查找等，它们通常涉及对数组或列表的处理。...
算法导论 学习笔记.pdf
05-04
在学习算法时，需要掌握循环不变式的三个性质：初始化、保持和终止。循环不变式通常用于证明递归的正确性。 此外，需要了解伪代码的约定，包括书写上的缩进、循环结构、条件结构、多重赋值、变量的作用域、数组元素...
算法导论电子扫描版
02-01
一项巧妙而又重要的修改是提前引入循环不变式，并在全书中用来证明算法的正确性。在不改变数学和分析重点的前提下，作者将许多数学基础知识从第一部分移到了附录中，并在开始部分加入了一些富有诱导性的题材。 　★...
算法导论第二版中文版
10-23
一项巧妙而又重要的修改是提前引入循环不变式，并在全书中用来证明算法的正确性。在不改变数学和分析重点的前提下，作者将许多数学基础知识从第一部分移到了附录中，并在开始部分加入了一些富有诱导性的题材。
算法导论(中文第2版)+答案
10-18
一项巧妙而又重要的修改是提前引入循环不变式，并在全书中用来证明算法的正确性。在不改变数学和分析重点的前提下，作者将许多数学基础知识从第一部分移到了附录中，并在开始部分加入了一些富有诱导性的题材。 本...
算法导论----------基础部分--------循环不变式
jackbook3的博客
04-24 492
1.定义：书中举出A[1..j-1]这个已排序数组的例子，将其性质具有的性质归纳为循环不变式 那么有哪些性质呢： （1）在执行最外层for循环的每次迭代开始时，子数组A[1..j-1]由原来在A[1..j-1]中的元素组成，但已按序排列。 （2）循环不变式主要用来帮我们理解算法的正确性。 （3）三条性质： 初始化：循环的第一次迭代之前，它为真。 保持...
算法导论1-循环不变式
weixin_50757288的博客
01-04 101
循环不变式主要帮我们理解算法的正确性。 初始化：循环第一次迭代之前，它为真。 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真。 终止：在循环终止时，不变式为我们提供一个有用的性质，该性质有助于证明算法是正确的。 对于排序算法： 初始化，首先证明在第一次 ...
《算法导论》读书笔记（一） 循环不变式
KylinSyb的博客
03-15 730
循环不变式的介绍 循环不变式是用来证明算法正确性的一种方法。当设计一个算法设计到循环时，就可以使用循环不变式来去验证算法的正确性。从个人角度来看，我认为循环不变式的使用可以使设计算法者的逻辑更加严谨。循环不变式是一种验证算法是否正确的一个过程，在这个过程中有三个重要的节点，下面介绍这三个节点。 循环不变式的三个节点 初始化：在循环迭代前循环不变式为真。 保持：如果循环的某次迭代之前循环不变式为真...
循环不变式---算法导论
探索的博客
06-10 1078
循环不变式：个人理解为具有循环不变性的循环变量 循环不变性：在程序循环中不断的重复相同的动作的特性 排序中，每次循环都需要： 1. 保持元素还是原先的元素 2. 每一次的循环都能部分的排好顺序 当程序结束的时候完成所有的排序...
算法导论中循环不变式的简要应用
ssw的博客
04-01 265
循环不变式的理解应用 数学归纳法 第一数学归纳法： 验证n=1n=1n=1命题成立，假设n=kn=kn=k命题成立，证明n=k+1n=k+1n=k+1命题成立那么推得对任意正整数情况成立； 第二数学归纳法： 验证n=1，n=2n=1，n=2n=1，n=2命题成立，假设n<kn<kn<k命题成立，证明n=kn=kn=k命题成立那么推得对任意正整数情况成立； 总体来说两类方法均采用递归演绎推理命题的方式将结论延伸到整个正整数集合中。 循环不变式 很多算法的正确性采用循环不变式的方法
对算法导论中用循环不变式证明算法正确性的理解
zhaoyaozong的专栏
10-08 2995
算法导论中原文： 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
《算法不好玩》专题三：循环不变量
折叠伞的博客
04-11 2421
3-1循环不变量 循环不变量：在循环的过程中保持不变的性质 循环不变式主要用来帮助我们理解算法的正确性。关于循环不变式，我们必须证明三条性质： 初始化：循环的第一次迭代之前，它为真。 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真。 终止：在循环终止时，不变式为我们提供一个有用的性质，该性质有助于证明算法是正确的。 《算法导论（第3版）》里出现「循环不变量」的地方：插入排序、归并排序、快速排序、优先队列、单源最短路径、最小生成树、…… 选择排序的循环不变量 循环不变的性质：区间nums
「力扣」第 75 题：颜色分类（循环不变式设计）
李威威的博客
01-22 439
方法 2：借助快速排序 partition 过程的一趟扫描法 我们先来回顾快速排序 partition 过程：随机选择一个元素作为切分元素（pivot），然后经过一次扫描，通过交换元素的位置使得数组按照数值大小分成以下 3 个部分： 1、严格小于 pivot； 2、等于 pivot； 3、严格大于 pivot。 根据这个操作的启发，我们也完全可以设计一个算法使用扫描一次的办法把只含有 0、1、2 ...
算法导论学习-数学归纳法与循环不变式理解
awdszxtanwei的博客
07-18 979
数学归纳法： 最简单和常见的数学归纳法是证明当n等于任意一个自然数时某命题成立。证明分下面两步： 证明当n= 1时命题成立。 假设n=m时命题成立，那么可以推导出在n=m+1时命题也成立。（m代表任意自然数） 这种方法的原理在于：首先证明在某个起点值时命题成立，然后证明从一个值到下一个值的过程有效。当这两点都已经证明，那么任意值都可以通过反复使用这个方法推导出来。把这个
循环不变式证明算法的正确性
最新发布
10-13
循环不变式是指在算法的每次迭代中，某个条件始终保持不变。通过证明循环不变式的三个步骤（初始化、保持、终止），可以证明算法的正确性。 具体来说，循环不变式证明算法的正确性的步骤如下： 1. 初始化：证明循环...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值