算法分析与设计基本知识点复习.pptxVIP

算法 算法(algorithm)可以被定义为一个良定的计算过程，它具有一个或者若干输入值，并产生一个或者若干输出值。 人们采用一般术语陈述问题，确定输入／输出关系，而算法则是描述这种输入／输出关系的特定计算过程。 算法正确性：对每一个输入实例算法都能终止，并给出正确输出。 算法正确性有两个要素；1是能够终止。2是结果正确。 第一页，共三十页。算法设计和分析的步骤可概括: （1）问题的陈述。 （2）模型的选择。 （3）算法的设计。 （4）算法的程序实现。 （5）算法分析。第二页，共三十页。算法具有以下五大特性 （1）确定性。一个算法中给出的每一个计算步骤，必须是精确的定义、无二义性的。 （2）有穷性。一个算法在执行有穷个计算步骤后必须停止。 （3）可行性。算法中要执行的每一个计算步骤都是可以在有限时间内做完的。可行性、有穷性和确定性是相容的。 （4）输入。一个算法一般都要求一个或多个输入信息。 （5）输出。一个算法一般有一个或多个输入信息。它们通常可以被解释成为“对输入的计算结果”。第三页，共三十页。循环不变式具有以下三个性质： 初始：在循环的第一次迭代之前，循环不变式为真。 维持：如果在循环的某次迭代之前循环不变式为真，那么在下一次迭代之前，循环不变式仍然为真。 终止：当循环终止时，循环不变式给出有用性质，这个性质可以用于证明算法的正确性第四页，共三十页。循环不变式：A[j]是A