对于少量元素的排序,插入排序是一个有效的算法
插入排序的工作方式如同排序一手扑克牌。开始时左手为空(空的数组)并且桌子上的牌面向下。然后,每次从桌子上拿走一张牌(牌堆顶部的牌)并将它插入左手(有序的数组)中的正确位置。
伪代码如下:
for j = 2 to A.lenth
key = A[j]
// Inset A[j] into the sorted sequence A[1 .. j-1]
i = j - 1
while i > 0 and A[i] > key
A[i+1] = A[i]
i = i - 1
A[i + 1] = key
注:
“for j = 2 to A.lenth” 理解为“for j = 1 to A.lenth”
“while i > 0 and A[i] > key” 理解为 “while i >= 0 and A[i] > key”
循环不变式:
是指让每次循环都成立的逻辑表达式,用于证明整个算法的正确性。
它通过证明循环体三条性质的正确性来证明整个算法的正确性。
三条性质:
初始化: 循环的第一次迭代前,循环不变式为真。
即初始化的数据结构与原始数据都是正确的。
保持: 如果某次迭代前它为真,那么下次迭代之前它仍为真。
即每次迭代都保证正确的处理。
终止: 在循环终止时,不变式为我们提供一个有用的性质,该性质有助于证明算法是正确的。
即研究在循环终止时发生了什么,并对循环结果进行判断。