摘要：
循环不变式（loop invariant）主要来帮助我们来理解算法的正确性。对于循环不变式，必需证明它的三个性质：初始化：它在循环的第一轮迭代开始之前，应该是正确的。保持：如果在循环的某一次迭代开始之前它是正确的，那么，在下一次迭代开始之前，它也应该保持正确。终止:当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。关循环不变式与数学归纳法有些类似，但是与它的常见用法不同：在归纳法中，归纳的步骤是无穷地使用的；而在这儿，当循环结束时， 即终止“归纳”。霍纳规则的正确性：以下代码片段实现了用于计算多项式的霍纳规则Code highlighting produced by Act 阅读全文