排序算法
1.插入排序:适用于少量元素的排序。
例子:A=(5,2,4,6,1,3)从小到大排序:
循环不变式:用来帮助理解算法的正确性。三条性质:
(1)初始化:循环的第一次迭代之前,它为真。
(2)保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍未真。
(3)终止:在循环终止之前,不变式为我们提供了一个有用的性质,该性质有助于证明算法是正确的。
1.插入排序:适用于少量元素的排序。
例子:A=(5,2,4,6,1,3)从小到大排序:
循环不变式:用来帮助理解算法的正确性。三条性质:
(1)初始化:循环的第一次迭代之前,它为真。
(2)保持:如果循环的某次迭代之前它为真,那么下次迭代之前它仍未真。
(3)终止:在循环终止之前,不变式为我们提供了一个有用的性质,该性质有助于证明算法是正确的。