算法设计与分析9.pdfVIP

顺序算法分析的基本方法 算法分析的原则算法分析的原则 正确性、工作量、占用空间 简单性简单性、最优性最优性 （问题复杂度问题复杂度） 算法分析的实例算法分析的实例 搜索有序表 排序排序 选择 1 算法分析的原则算法分析的原则 正确性 概念概念 在给定有效输入后在给定有效输入后, 算法经过有限时间的计算法经过有限时间的计 算并产生正确的答案, 就称算法是正确的. 正确性证明的内容正确性证明的内容： 方法的正确性证明——算法思路的正确性. 证明证明一系列与算法的工作对象有关的引理系列与算法的工作对象有关的引理、定定 理以及公式. 程序的正确性证明程序的正确性证明——证明所给出的证明所给出的一系列指令系列指令 确实做了所要求的工作.