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