计算复杂性 (Fall 2019)

计算复杂性
Computational Complexity

Instructor
姚鹏晖
Email	pyao@nju.edu.cn
Office	计算机系 502
Class
Class meetings	Thursday, 18:30-20:20 仙II-214
Office hours	Thursday, 14:00-16:00 计算机系 502
Textbooks
Arora and Barak. Computational Complexity: A Modern Approach. Cambridge Univ Press, 2009.
Teaching Assistant
刘明谋
Email	liu.mingmou@smail.nju.edu.cn
Office	计算机系 410

Announcement

• (2019/9/5) 新学期第一堂课。
• (2019/9/5) 交流及授课反馈群: 854081425 QRcode（助教出差中，有问题可以到qq群问或者邮件询问。qq群仅作讨论用，所有的通知及资料仍在本页面发放）
• (2019/9/17) 第一次作业已发布，9月26日之前交。
• (2019/9/26) 第二次作业已发布，10月10日上课前交。
• (2019/9/29) 第二次作业的 3.8 题目有错，详见作业页面
• (2019/10/7) 第一次作业已批阅发回，参考答案及评分标准已发布。
• (2019/10/11) 第三次作业已发布，10月24日上课前交。
• (2019/10/13) 第三次作业 4.3 题目有错，详见作业页面。
• (2019/10/23) 第二次作业已批阅发回，参考答案及评分标准已发布。
• (2019/10/24) 第四次作业已发布，10月31日上课前交。
• (2019/10/30) 因姚老师出差，将11月7日晚上的课调整到11月8日晚上。具体地点待通知。
• (2019/10/31) 第五次作业已发布，11月7日前交。
• (2019/11/2) 第五次作业 6.14, 6.15 题目有错，详见作业页面。
• (2019/11/6) 11月8日晚上在原教室仙II-214上课。

Course info

• Instructor : 姚鹏晖 (pyao@nju.edu.cn)
• Teaching assistant: 刘明谋 (liu.mingmou@smail.nju.edu.cn)
• Class meeting: Thursday, 18:30-20:20 仙II-214.
• Office hour: Thursday, 14:00-16:00, 计算机系 502.

Course materials

• Arora and Barak. Computational Complexity: A Modern Approach. Cambridge Univ Press, 2009.
• Arora and Barak. 计算复杂性的现代方法. (英语). 世界图书出版公司. 2012.
• Arora and Barak. 计算复杂性:现代方法. (中文翻译). 机械工业出版社. 2016.

如果在获取教材方面有困难可以联系助教。(仅限英文版)

Assignments

这是一门概念性课程，也是一门理论课程。作为理论课程，证明应该是小心、严谨的。作为概念性课程，同学们需要在作业中证明自己确实、清楚地掌握了这些概念，而不是在试图滥竽充数蒙混过关。所以在作业中请尽量不要偷懒，把每一个步骤和定义都仔细小心地写清楚，以免无意义地失分。

• Assignment 1, due on Sep 25. 作业1已提交名单.
• 作业1参考答案及评分标准
• Assignment 2 (updated), due on Oct 10. 当前作业2已提交名单.
• 作业2参考答案及评分标准
• Assignment 3, due on Oct 24. 当前作业3已提交名单.
• Assignment 4, due on Oct 31. 当前作业4已提交名单.
• Assignment 5, due on Nov 6. 当前作业5已提交名单.

Lecture Notes

如果有下载课件的问题请及时联系助教。

1. 图灵机、计算复杂性类 P (slides)
2. NP 和 NP 完全问题 (slides.v2)
3. 对角化方法 (slides(updated))
4. 空间复杂度 (slides1,slides2)
5. 多项式谱系 (slides)
6. 布尔线路 (slides1, slides2)
7. 随机计算 (slides1, slides2)