伪代码 提请注意：你应 INSERTION-SORT(A) 该会证明这个算 for j =2 to A.length 法的正确性！ 1 2 key =A[j] 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+]=A[] 7 i=i-1 8 A[i+1]key伪代码 提请注意：你应 该会证明这个算 法的正确性！