《算法导论》读书笔记（一） 循环不变式

循环不变式的介绍 循环不变式是用来证实算法正确性的一种方法。当设计一个算法设计到循环时，就可使用循环不变式来去验证算法的正确性。从我的角度来看，我认为循环不变式的使用可使设计算法者的逻辑更加严谨。循环不变式是一种验证算法是否正确的一个过程，在这个过程当中有三个重要的节点，下面介绍这三个节点。web 循环不变式的三个节点 初始化：在循环迭代前循环不变式为真。 保持：若是循环的某次迭代以前循环不变式为

>>阅读原文<<