1图表示与遍历不变量
闭卷重建图表示与遍历不变量的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2广度优先搜索
闭卷重建广度优先搜索的对象、状态、事件、不变量与一个失败反例。
3深度优先与时间戳
闭卷重建深度优先与时间戳的对象、状态、事件、不变量与一个失败反例。
4拓扑排序
闭卷重建拓扑排序的对象、状态、事件、不变量与一个失败反例。
5强连通分量
闭卷重建强连通分量的对象、状态、事件、不变量与一个失败反例。
6单源最短路
闭卷重建单源最短路的对象、状态、事件、不变量与一个失败反例。
7图轨迹综合实验
闭卷重建图轨迹综合实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对广度优先搜索先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为广度优先搜索实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析广度优先搜索时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对图表示与遍历不变量先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为图表示与遍历不变量实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析图表示与遍历不变量时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对拓扑排序先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为拓扑排序实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析拓扑排序时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对深度优先与时间戳先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为深度优先与时间戳实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析深度优先与时间戳时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对单源最短路先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为单源最短路实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析单源最短路时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对强连通分量先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为强连通分量实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析强连通分量时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对图轨迹综合实验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为图轨迹综合实验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析图轨迹综合实验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。