AI 助理
备案控制台
开发者社区 问答 正文

循环不变式的介绍

循环不变式的介绍

展开
收起
知与谁同 2018-07-16 16:26:52 1400 分享 版权

版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。

1 条回答
写回答
取消 提交回答
  • liujae

    算法导论第二章中的原文是：We state these properties of A[1 ‥ j -1] formally as a loop invariant。其中举的，每次循环从数组A中取出第j个元素插入有序区A[1 .. j-1]，然后递增j。这样A[1 .. j-1]的有序性始终得到保持，这就是所谓的“循环不变 (loop invariant)”了。

    2019-07-17 22:51:35
    赞同 展开评论
问答地址：
开发者社区 > 云计算 > 问答
相关问答
this xml file does not appear to have any style in
49345
10
0
通过www和不带www的网址输入最终都指向www.我的域名.com，求指教
128151
28
0
购买阿里国外的云服务器是否可以访问谷歌？
81273
47
0
请问下 我访问接口不通 什么原因 Provisional headers are shown
2264
0
0
手机弹出支付风险问题
6432
2
0
OSS的endpoint如何查看
36567
6
0
配置了安全组规则，端口还是无法访问
32526
25
0
sql server的用户名和密码怎么查啊？
35926
21
0
域名在腾讯云备案成功，解析到阿里云服务器，提示仍需备案？
59779
30
0
访问ECS服务器的网站提示“由于你访问的URL可能对网站造成安全威胁，您的访问被阻断”，这是什么原因？
125608
14
0