1运行时间必须绑定模型与规模
闭卷重建运行时间必须绑定模型与规模的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2大O、大Ω与大Θ的量词
闭卷重建大O、大Ω与大Θ的量词的对象、状态、事件、不变量与一个失败反例。
3P与多项式鲁棒性
闭卷重建P与多项式鲁棒性的对象、状态、事件、不变量与一个失败反例。
4空间复杂度与配置数
闭卷重建空间复杂度与配置数的对象、状态、事件、不变量与一个失败反例。
5层次定理与资源增加
闭卷重建层次定理与资源增加的对象、状态、事件、不变量与一个失败反例。
6实验：渐近增长比较
闭卷重建实验：渐近增长比较的对象、状态、事件、不变量与一个失败反例。
7实验：配置数上界计算
闭卷重建实验：配置数上界计算的对象、状态、事件、不变量与一个失败反例。