1最优子结构与重叠子问题
闭卷重建最优子结构与重叠子问题的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2从记忆化到递推
闭卷重建从记忆化到递推的对象、状态、事件、不变量与一个失败反例。
3零一背包
闭卷重建零一背包的对象、状态、事件、不变量与一个失败反例。
4最长公共子序列
闭卷重建最长公共子序列的对象、状态、事件、不变量与一个失败反例。
5编辑距离
闭卷重建编辑距离的对象、状态、事件、不变量与一个失败反例。
6矩阵链乘法
闭卷重建矩阵链乘法的对象、状态、事件、不变量与一个失败反例。
7状态压缩与方案恢复
闭卷重建状态压缩与方案恢复的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对从记忆化到递推先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为从记忆化到递推实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析从记忆化到递推时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对最优子结构与重叠子问题先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为最优子结构与重叠子问题实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析最优子结构与重叠子问题时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对最长公共子序列先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为最长公共子序列实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析最长公共子序列时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对零一背包先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为零一背包实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析零一背包时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对矩阵链乘法先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为矩阵链乘法实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析矩阵链乘法时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对编辑距离先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为编辑距离实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析编辑距离时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对状态压缩与方案恢复先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为状态压缩与方案恢复实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析状态压缩与方案恢复时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。