2010年3月9日
《算法导论》[第2章] 算法入门-[2.1] 插入排序
|概念回顾|循环不变式的三个性质：初始化：它在循环的第一轮迭代开始之前，应该是正确的。 保持：如果在循环的某一次迭代开始之前它是正确的，那么，在下一次迭代开始之前，它也应该保持正确。 终止：当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。伪代码中的约定：书写上的“缩进”表示程序中的分程序（程序块）结构。 while,for,repeat等循环结构和if... Read More
posted @ 2010-03-09 21:58 timebug Views(1550) Comments(7) Diggs(1) Edit