算法导论复习.pdfVIP

算法导论复习资料 一、选择题：第一章的概念、术语。 二、考点分析： 1、复杂度的渐进表示，复杂度分析。 2、正确性证明。 考点： 1）正确性分析（冒泡，归并，选择） ；2 ）复杂度分析（渐进表示 O，Ｑ， ? ，替换法证 明，先猜想，然后给出递归方程） 。 循环不变性的三个性质： 1）初始化：它在循环的第一轮迭代开始之前，应该是正确的； 2 ）保持：如果在循环的某一次迭代开始之前它是正确的，那么，在下一次迭代开始之前，它也 应该保持正确； 3 ）当循环结束时，不变式给了我们一个有用的性质，它有助于表明算法是正确的。 插入排序算法： INSERTION-SORT(A) 1 for j ← 2 to length[A] 2 do 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 do A[i + 1] ← A[i] 7 i ←