摘要： 循环不变式 初始化：循环的第一次迭代之前，它为真 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真 终止：再循环终止时，不变式为我们提供一个有用性质，该性质有助于证明算法是正确的 伪代码中的约定 缩进表示块结构 to downto by 如果没有特殊说明，变量都表示局部变量 对象的属性记 阅读全文