經驗

當前位置 /首頁/經驗 > /列表

如何正確的理解迴圈不變式

如何正確的理解迴圈不變式

迴圈不變式是指某條件成立時,執行程式碼。 一般迴圈則是單純的,根據需要迴圈的次數迴圈,不考慮其他因素。

迴圈不變式的3個性質:

1、初始化:在第一次迴圈前是正確的。

2、保持:在迴圈迭代中是正確的。

3、終止:當迴圈結束時是正確的。

TAG標籤:不變式 #