1随机算法的保证语言
闭卷重建随机算法的保证语言的对象、状态、事件、不变量与一个失败反例。
理论计算：自动机、可计算性与复杂性 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2RP、coRP与BPP边界
闭卷重建RP、coRP与BPP边界的对象、状态、事件、不变量与一个失败反例。
3近似比与优化问题
闭卷重建近似比与优化问题的对象、状态、事件、不变量与一个失败反例。
4不可近似性与归约边界
闭卷重建不可近似性与归约边界的对象、状态、事件、不变量与一个失败反例。
5描述复杂性选讲
闭卷重建描述复杂性选讲的对象、状态、事件、不变量与一个失败反例。
6实验：顶点覆盖二近似
闭卷重建实验：顶点覆盖二近似的对象、状态、事件、不变量与一个失败反例。
7终章证明项目与口试
闭卷重建终章证明项目与口试的对象、状态、事件、不变量与一个失败反例。