排序问题
- 输入:n个数 <a1,a2,...,an> <script type="math/tex" id="MathJax-Element-1"> </script>
输出:输入序列的一个排列(重新排序) <a′1,a′2,...,a′n> <script type="math/tex" id="MathJax-Element-2"> </script>,使得 a′1≤a′2≤...≤a′n
插入排序伪代码
INSORTION-SORT(A)
for j <-- 2 to length[A]
do key <-- A[j]
//Insert A[j] into the sorted sequence A[1 .. j-1].
i <-- j-1
while i>0 and A[i]>key
do A[i+1] <-- A[i]
i <-- i-1
A[i+1] <-- key
- 原地排序:排序过程中不申请多余的存储空间,只利用原来存储待排数据的存储空间进行比较和交换的数据排序。
循环不变式
- 使循环的正确性得到形式上的证明
- 指的是循环内及循环结束的时候都成立的表达式
- 一般而言,这个式子表示希望得到的结果,如果在循环的每一步,这个式子都是正确的,那么循环结束后,这个式子也正确,并得到了期望的结果
- 循环不变式
- 初始化: 它在循环的第一轮迭代开始之前,应该是正确的
- 保持: 如果在循环的某一次迭代开始之前它是正确的,那么,在下一次迭代开始之前,它也应该保持正确。
- 终止: 当循环结束时,不变式给了我们一个有用的性质,它有助于表明算法是正确的。