算法导论中的算法总结

1、插入排序

INSERTION_SORT(A)
	for j = 2 to A.length
		key = A[j]
		i = j-1
		while i > 0 and A[i] > key
			A[i+1] = A[i]
			i = i-1
		A[i+1] = key

循环不变式为：for循环的每次迭代开始时，子数组A[1…j-1]由原来在A[1…j-1]中的元素组成，但以按序排列。
初始化：对循环技术变量的初始赋值后、在循环头的第一次测试之前，保持循环不变式。
保持：每次迭代保持循环不变式。
终止：循环终止时保持循环不变式。