1从问题到规格
闭卷重建从问题到规格的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2循环不变量
闭卷重建循环不变量的对象、状态、事件、不变量与一个失败反例。
3归纳法与递归正确性
闭卷重建归纳法与递归正确性的对象、状态、事件、不变量与一个失败反例。
4最好最坏与期望复杂度
闭卷重建最好最坏与期望复杂度的对象、状态、事件、不变量与一个失败反例。
5大O、大Omega与大Theta
闭卷重建大O、大Omega与大Theta的对象、状态、事件、不变量与一个失败反例。
6递推式与Master方法
闭卷重建递推式与Master方法的对象、状态、事件、不变量与一个失败反例。
7实证增长率实验
闭卷重建实证增长率实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对循环不变量先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为循环不变量实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析循环不变量时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对从问题到规格先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为从问题到规格实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析从问题到规格时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对最好最坏与期望复杂度先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为最好最坏与期望复杂度实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析最好最坏与期望复杂度时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对归纳法与递归正确性先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为归纳法与递归正确性实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析归纳法与递归正确性时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对递推式与Master方法先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为递推式与Master方法实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析递推式与Master方法时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对大O、大Omega与大Theta先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为大O、大Omega与大Theta实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析大O、大Omega与大Theta时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对实证增长率实验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为实证增长率实验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析实证增长率实验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。