插入排序-算法导论
输入：n个数的一个序列<a1,a2,a3,…,an>输出：输出一个排列<b1,b2,b3,…,bn>满足b1<=b1<=b2…<=bn
INSERTION-SORT(A)
for j =2 to A.length
key = A[j]
//insert A[j] to the sorted seq 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
将未排列的素组A插入到已排序好的素组B中。循环不定式：
初始化：第一次迭代之前，为真； 保持：某次迭代是真的，下次迭代也为真； 终止：终止时，实现算法；
