算法导论复习资料 一 选择题第一章的概念术语 二 考点分析 1 复杂度的渐进表示复杂度分析 2 正确性证明 考点1)正确性分析(冒泡归并选择) 2)复杂度分析(渐进表示 O, Q, ,替换法证 明先猜想然后给出递归方程) 循环不变性的三个性质 初始化它在循环的第一轮迭代开始之前应该是正确的 保持如果在循环的某一次迭代开始之前它是正确的那么在下一次迭代开始之前它也 应该保持正确 当循环结束时不变式给