1NP的验证器定义
闭卷重建NP的验证器定义的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2非确定机与验证器等价
闭卷重建非确定机与验证器等价的对象、状态、事件、不变量与一个失败反例。
3Cook–Levin思想
闭卷重建Cook–Levin思想的对象、状态、事件、不变量与一个失败反例。
4证明NP完全的两步
闭卷重建证明NP完全的两步的对象、状态、事件、不变量与一个失败反例。
5SAT、3SAT与图问题链
闭卷重建SAT、3SAT与图问题链的对象、状态、事件、不变量与一个失败反例。
6实验：SAT证书验证器
闭卷重建实验：SAT证书验证器的对象、状态、事件、不变量与一个失败反例。
7实验：顶点覆盖证书验证
闭卷重建实验：顶点覆盖证书验证的对象、状态、事件、不变量与一个失败反例。