算法導論·《循環不變式》

當咱們編寫一則算法時一定是指望對數據處理以達到某種效果，例如對於雜亂的數列進行大到小排序，那麼在循環前，循環中和循環結束時數列保持不變的性質，稱爲循環不變式。算法 數列能夠具備多個性質不變，就像插入排序，對於A[1...j-1]老是排序好的數列，而且A[j-1]比前方的數都要大或小。這兩個性質形式地表示爲循環不變式。排序 循環前：第一次循環迭代前，即第一次檢驗循環條件以前and循環初始條件以後。循

>>阅读原文<<