2025年8月5日
《算法导论》笔记——循环不变式及插入排序证明
摘要： 算法导论第二章中提出了一个概念－－“循环不变式” 那么，何为循环不变式 我的理解是： “循环不变式是用于证明算法正确性的一种工具” 它应该怎么用呢 首先，对于任意的一种算法，我们需要找出其循环不变式 然后，需要证明循环不变式的三条性质 对于插入排序算法，它的证明是这样的： 设下标j为目前正在排序的数 阅读全文
posted @ 2025-08-05 14:20 Ghost-Face 阅读(61) 评论(0) 推荐(0)