算法导论·《循环不变式》

当咱们编写一则算法时一定是指望对数据处理以达到某种效果，例如对于杂乱的数列进行大到小排序，那么在循环前，循环中和循环结束时数列保持不变的性质，称为循环不变式。算法 数列能够具备多个性质不变，就像插入排序，对于A[1...j-1]老是排序好的数列，而且A[j-1]比前方的数都要大或小。这两个性质形式地表示为循环不变式。排序 循环前：第一次循环迭代前，即第一次检验循环条件以前and循环初始条件以后。循

>>阅读原文<<