1朴素匹配与最坏输入
闭卷重建朴素匹配与最坏输入的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2KMP前缀函数
闭卷重建KMP前缀函数的对象、状态、事件、不变量与一个失败反例。
3Z函数与匹配
闭卷重建Z函数与匹配的对象、状态、事件、不变量与一个失败反例。
4字典树与多模式入口
闭卷重建字典树与多模式入口的对象、状态、事件、不变量与一个失败反例。
5滚动哈希与碰撞核验
闭卷重建滚动哈希与碰撞核验的对象、状态、事件、不变量与一个失败反例。
6后缀数组的排序视角
闭卷重建后缀数组的排序视角的对象、状态、事件、不变量与一个失败反例。
7字符串算法实验
闭卷重建字符串算法实验的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：对KMP前缀函数先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为KMP前缀函数实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析KMP前缀函数时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对朴素匹配与最坏输入先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为朴素匹配与最坏输入实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析朴素匹配与最坏输入时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对字典树与多模式入口先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为字典树与多模式入口实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析字典树与多模式入口时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对Z函数与匹配先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为Z函数与匹配实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析Z函数与匹配时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对后缀数组的排序视角先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为后缀数组的排序视角实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析后缀数组的排序视角时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对滚动哈希与碰撞核验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为滚动哈希与碰撞核验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析滚动哈希与碰撞核验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。
核心机制：对字符串算法实验先写输入规格、输出规格和不变量，再给出算法、正确性论证、时空复杂度与边界反例；实验入口：为字符串算法实验实现可运行参考程序，用手算小例、最小边界、反例和规模输入检查结果与增长率；边界：分析字符串算法实验时不能只举成功例，必须声明前提、保存不变量，并区分正确、高效与对所有输入高效。