算法分析与设计TheAnalysisandDesignofAlgorithms.pptVIP

课程情况 正确性 定义：在给定有效输入后，算法经过有限时间的计算并产生正确的答案，就称算法是正确的。 正确性证明的内容： 方法的正确性证明——算法思路的正确性。证明一系列与算法的工作对象有关的引理、定理以及公式。 程序的正确性证明——证明所给出的一系列指令确实做了所要求的工作。 程序正确性证明的方法： 大型程序的正确性证明——可以将它分解为小的相互独立的互不相交的模块，分别验证。 小模块程序可以使用以下方法验证：数学归纳法、软件形式方法等。 分析算法 算法有两种效率：时间效率和空间效率 算法的另外两个特性：简单性和一般性 ? School of Computer Science and Technology, SWUST * ? School of Computer Science and Technology, SWUST * ? School of Computer Science and Technology, SWUST * ? School of Computer Science and Technology, SWUST * ? School of Computer Science and Technology, SWUST * ? School of Computer Science and Technology, SWUST * ? School of