1聚合分析
闭卷重建聚合分析的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2核算法
闭卷重建核算法的对象、状态、事件、不变量与一个失败反例。
3势能法
闭卷重建势能法的对象、状态、事件、不变量与一个失败反例。
4动态数组扩容
闭卷重建动态数组扩容的对象、状态、事件、不变量与一个失败反例。
5并查集路径压缩
闭卷重建并查集路径压缩的对象、状态、事件、不变量与一个失败反例。
6自调整结构与边界
闭卷重建自调整结构与边界的对象、状态、事件、不变量与一个失败反例。
7摊还费用实验
闭卷重建摊还费用实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对核算法先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为核算法实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析核算法时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对聚合分析先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为聚合分析实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析聚合分析时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对动态数组扩容先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为动态数组扩容实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析动态数组扩容时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对势能法先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为势能法实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析势能法时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对自调整结构与边界先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为自调整结构与边界实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析自调整结构与边界时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对并查集路径压缩先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为并查集路径压缩实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析并查集路径压缩时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对摊还费用实验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为摊还费用实验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析摊还费用实验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。