算法設計思想--迭代

通過迭代實現的算法，用循環不變式來證明正確性。
正確性證明：
初始時，
證明循環不變式滿足
第k次迭代時，
依據循環不變式，第1,…,k-1次循環迭代後，循環不變式均滿足。
論證，k次迭代處理後，循環不變式仍然滿足。

綜合：
循環不變式成立。

要合理選擇需證明的循環不變式內容，
來達到迭代終止時，
可以論證算法目標的效果。