文章目录 什么是算法算法基本要素效率循环不变式 什么是算法 算法是一组有穷的规则,它规定了解决某一特定类型问题的一系列运算。 算法基本要素 输入、输出、有穷性、确定性、可行性。 算法的5个重要特性:确定性、能行性、输入、输出、有穷性 效率 主要体现在时间和空间。 循环不变式 定义:在第一次进入循环之前成立、每次循环之后还成立的关系。 核心思想: 初始化保持终止 利用循环不变关系证明算法的正确性 初始化:证明循环不变式在循环开始之前为真。保持:证明每次循环之后循环不变式仍为真。终止:循环可以有限次终止。