第2章(算法引论).ppt

算法设计与分析备课笔记 张兴元 2 Getting Started 2.1 Insertion sort 2.2 Analyzing algorithms 循环不变式Loop Invariant 是一个条件表达为一个逻辑命题 用于推出循环的预期结果需要满足以下三个条件 内循环的invariant 内循环的invariant的保持 终止1 终止2 Worst-case and average-cas