算法设计思想--迭代

通过迭代实现的算法，用循环不变式来证明正确性。
正确性证明：
初始时，
证明循环不变式满足
第k次迭代时，
依据循环不变式，第1,…,k-1次循环迭代后，循环不变式均满足。
论证，k次迭代处理后，循环不变式仍然满足。

综合：
循环不变式成立。

要合理选择需证明的循环不变式内容，
来达到迭代终止时，
可以论证算法目标的效果。