循环不变式

关于循环不变式，我们必须证明三条性质：

• 初始化：循环的第一次迭代之前，它为真
• 保持：如果循环的某次迭代之前它为真，那么下次迭代之前它仍为真
• 终止：在循环终止时，不变式为我们提供一个有用的性质，该性质有助于证明算法是正确的

//<<算法导论>>