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