1读题：输入输出契约
闭卷重建读题：输入输出契约的对象、状态、事件、不变量与一个失败反例。
竞赛算法与算法训练 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2样例只说明什么
闭卷重建样例只说明什么的对象、状态、事件、不变量与一个失败反例。
3数据范围反推预算
闭卷重建数据范围反推预算的对象、状态、事件、不变量与一个失败反例。
4暴力基线与小数据
闭卷重建暴力基线与小数据的对象、状态、事件、不变量与一个失败反例。
5循环不变量与正确性
闭卷重建循环不变量与正确性的对象、状态、事件、不变量与一个失败反例。
6测试、对拍与首错定位
闭卷重建测试、对拍与首错定位的对象、状态、事件、不变量与一个失败反例。
7从暴力到优化的完整复盘
闭卷重建从暴力到优化的完整复盘的对象、状态、事件、不变量与一个失败反例。
第 1 页 · 背面（答案）
核心机制：围绕样例只说明什么先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成样例只说明什么的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕读题：输入输出契约先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成读题：输入输出契约的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕暴力基线与小数据先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成暴力基线与小数据的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕数据范围反推预算先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成数据范围反推预算的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕测试、对拍与首错定位先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成测试、对拍与首错定位的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕循环不变量与正确性先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成循环不变量与正确性的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。
核心机制：围绕从暴力到优化的完整复盘先写朴素算法，再提炼状态或不变量，证明优化保持答案并计算时间空间复杂度；实验入口：完成从暴力到优化的完整复盘的暴力、优化、对拍与复盘；边界：复杂度必须说明输入规模、最坏/期望口径和常数边界。 本课必须再检查边界输入、整数溢出、下标和不可行状态。。