伪代码 提请注意：你应 INSERTION-SORT(A) 该会证明这个算 1 for j=2 to A.length 法的正确性！ 2 key =Alj] 3 /Insert A[j]into the sorted sequence A[1..j-1]. 4 i=j-1 5 while i >0 and A[i]>key 6 A[i+1]=A[] 7 i=i-1 8 Ali 1]key伪代码 提请注意：你应 该会证明这个算 法的正确性！