循环不变式
(其他数学相关)
算法导论第二章中的原文是:WestatethesepropertiesofA[1‥j-1]formallyasaloopinvariant。其中举的,每次循环从数组A中取出第j个元素插入有序区A[1..j-1],然后递增j。这样A[1..j-1]的有序性始终得到保持,这就是所谓的"循环不变(loopinvariant)"了。这个概念主要用来检验算法的正确性。原文如下:
知识树
时光轴
论点集
总题库
阅读模式
知识树 创建页面
知识树 创建说明
领域
提 交
信息通讯
数学
电气
词条相关
词条 主页
》
词条 科普
》
词条 事件
》
词条 题库
》
词条 知识
》
加载更多
加载更多
加载更多
加载更多