1多对一归约的方向
闭卷重建多对一归约的方向的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2用接受问题证明新问题不可判定
闭卷重建用接受问题证明新问题不可判定的对象、状态、事件、不变量与一个失败反例。
3映射归约与图示证明
闭卷重建映射归约与图示证明的对象、状态、事件、不变量与一个失败反例。
4图灵归约与查询能力
闭卷重建图灵归约与查询能力的对象、状态、事件、不变量与一个失败反例。
5归约中的模板与陷阱
闭卷重建归约中的模板与陷阱的对象、状态、事件、不变量与一个失败反例。
6实验：有限映射归约验证器
闭卷重建实验：有限映射归约验证器的对象、状态、事件、不变量与一个失败反例。
7归约工作坊：从构造到双向证明
闭卷重建归约工作坊：从构造到双向证明的对象、状态、事件、不变量与一个失败反例。