算法设计基本策略 ·暴力法 ·分治法 ·归并、快速排序、Strassen算法 ·递归和分治的天然关联 ·Master?定理 ·动态规划法 ·任何一个动态规划算法都和一个递归表达式关联 ·最优子结构特性 ·用空间换时间：子问题拓扑排序或者子问题结果被暂存 ·Rod-cut问题（每个人心中都必须有一个经典场景） ·贪心法 ·贪心选择性质 ·最小生成树、哈夫曼编码 ·算法的正确性证明 ·循环不变式 ·反证法算法设计基本策略 • 暴力法 • 分治法 • 归并、快速排序、Strassen算法 • 递归和分治的天然关联 • Master定理 • 动态规划法 • 任何一个动态规划算法都和一个递归表达式关联 • 最优子结构特性 • 用空间换时间：子问题拓扑排序或者子问题结果被暂存 • Rod-cut问题（每个人心中都必须有一个经典场景） • 贪心法 • 贪心选择性质 • 最小生成树、哈夫曼编码 • 算法的正确性证明 • 循环不变式 • 反证法