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