1从问题到规格
闭卷重建从问题到规格的对象、状态、事件、不变量与一个失败反例。
算法设计与分析 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2循环不变量
闭卷重建循环不变量的对象、状态、事件、不变量与一个失败反例。
3归纳法与递归正确性
闭卷重建归纳法与递归正确性的对象、状态、事件、不变量与一个失败反例。
4最好最坏与期望复杂度
闭卷重建最好最坏与期望复杂度的对象、状态、事件、不变量与一个失败反例。
5大O、大Omega与大Theta
闭卷重建大O、大Omega与大Theta的对象、状态、事件、不变量与一个失败反例。
6递推式与Master方法
闭卷重建递推式与Master方法的对象、状态、事件、不变量与一个失败反例。
7实证增长率实验
闭卷重建实证增长率实验的对象、状态、事件、不变量与一个失败反例。