1. 程式人生 > >演算法導論中的演算法總結

演算法導論中的演算法總結

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]中的元素組成,但以按序排列。
初始化:對迴圈技術變數的初始賦值後、在迴圈頭的第一次測試之前,保持迴圈不變式。
保持:每次迭代保持迴圈不變式。
終止:迴圈終止時保持迴圈不變式。