思考4：设计算法有策略吗？相应的算法 正确性如何证明？ ·我们常常想起的算法设计策略有哪些？ ·暴力 ·分治 ·动态规划 ·贪心 ·递归和循环是什么关系？ ·算法正确性证明的基本思路是什么？ ·关键路径的断言/不变式！思考4：设计算法有策略吗？相应的算法 正确性如何证明？ • 我们常常想起的算法设计策略有哪些？ • 暴力 • 分治 • 动态规划 • 贪心 • 递归和循环是什么关系？ • 算法正确性证明的基本思路是什么？ • 关键路径的断言/不变式！