计算复杂性 (Fall 2019): Difference between revisions
Jump to navigation
Jump to search
imported>TCSseminar |
imported>TCSseminar |
||
| Line 81: | Line 81: | ||
= Assignments = | = Assignments = | ||
这是一门概念性课程，也是一门理论课程。作为理论课程，证明应该是小心、严谨的。作为概念性课程，同学们需要在作业中证明自己确实、清楚地掌握了这些概念，而不是在试图滥竽充数蒙混过关。所以在作业中请尽量不要偷懒，把每一个步骤和定义都仔细小心地写清楚，以免无意义地失分。 | 这是一门概念性课程，也是一门理论课程。作为理论课程，证明应该是小心、严谨的。作为概念性课程，同学们需要在作业中证明自己确实、清楚地掌握了这些概念，而不是在试图滥竽充数蒙混过关。所以在作业中请尽量不要偷懒，把每一个步骤和定义都仔细小心地写清楚，以免无意义地失分。 | ||
* [[计算复杂性 (Fall 2019)/Assignment 1|Assignment 1]], due on Sep 25. [[计算复杂性 (Fall 2019)/作业1已提交名单 | | * [[计算复杂性 (Fall 2019)/Assignment 1|Assignment 1]], due on Sep 25. [[计算复杂性 (Fall 2019)/作业1已提交名单 | 作业1已提交名单]]. | ||
* [https://www.overleaf.com/read/rwcjcjpxqvfn 作业1参考答案及评分标准] | * [https://www.overleaf.com/read/rwcjcjpxqvfn 作业1参考答案及评分标准] | ||
* [[计算复杂性 (Fall 2019)/Assignment 2|Assignment 2 (updated)]], due on Oct 10. | * [[计算复杂性 (Fall 2019)/Assignment 2|Assignment 2 (updated)]], due on Oct 10. [[计算复杂性 (Fall 2019)/作业2已提交名单 | 当前作业2已提交名单]]. | ||
= Lecture Notes = | = Lecture Notes = | ||
Revision as of 21:50, 7 October 2019
| Instructor | |
|---|---|
| 姚鹏晖 | |
| 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 | |
| 刘明谋 | |
| 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 题目有错，把题目第一行的 unary 一词删去。
- (2019/10/7) 第一次作业已批阅发回，参考答案及评分标准已发布。
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已提交名单.
Lecture Notes
- 图灵机、计算复杂性类 P (slides)
- NP 和 NP 完全问题 (slides.v2)
- 对角化方法 (slides(updated))