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