计算复杂性 (Fall 2019): Difference between revisions

From TCS Wiki
Jump to navigation Jump to search
imported>TCSseminar
imported>TCSseminar
 
(40 intermediate revisions by the same user not shown)
Line 64: Line 64:
* (2019/9/17) 第一次作业已发布,9月26日之前交。
* (2019/9/17) 第一次作业已发布,9月26日之前交。
* (2019/9/26) 第二次作业已发布,10月10日上课前交。
* (2019/9/26) 第二次作业已发布,10月10日上课前交。
* (2019/9/29) 第二次作业的 3.8 题目有错,把题目第一行的 unary 一词删去。
* (2019/9/29) 第二次作业的 3.8 题目有错,详见[[计算复杂性 (Fall 2019)/Assignment 2|作业页面]]
* (2019/10/7) 第一次作业已批阅发回,参考答案及评分标准已发布。
* (2019/10/7) 第一次作业已批阅发回,参考答案及评分标准已发布。
* (2019/10/11) 第三次作业已发布,10月24日上课前交。
* (2019/10/13) 第三次作业 4.3 题目有错,详见[[计算复杂性 (Fall 2019)/Assignment 3|作业页面]]。
* (2019/10/23) 第二次作业已批阅发回,参考答案及评分标准已发布。
* (2019/10/24) 第四次作业已发布,10月31日上课前交。
* (2019/10/30) 因姚老师出差,将<strong><font color=red>11月7日晚上的课调整到11月8日晚上。具体地点待通知。</font></strong>
* (2019/10/31) 第五次作业已发布,11月7日前交。
* (2019/11/2) 第五次作业 6.14, 6.15 题目有错,详见[[计算复杂性 (Fall 2019)/Assignment 5|作业页面]]。
* (2019/11/6) <strong><font color=red>11月8日晚上在原教室仙II-214上课。</font></strong>
* (2019/11/14) 第六次作业已发布,11月21日前交。
* (2019/11/14) 第三次作业已批阅发回,参考答案及评分标准已发布。
* (2019/11/14) 第四次作业已批阅发回,参考答案及评分标准已发布。
* (2019/12/6) 第五次作业已批阅发回,参考答案及评分标准已发布。
* (2019/12/6) 第六次作业已批阅发回,参考答案及评分标准已发布。
* (2019/12/6) 第七次作业已发布,12月12日前交。
* (2019/12/19) 第七次作业已批阅发回,参考答案及评分标准已发布。


= Course info =
= Course info =
Line 76: Line 91:
* [https://www.amazon.com/dp/0521424267 Arora and Barak. Computational Complexity: A Modern Approach. Cambridge Univ Press, 2009.]
* [https://www.amazon.com/dp/0521424267 Arora and Barak. Computational Complexity: A Modern Approach. Cambridge Univ Press, 2009.]
* [https://www.amazon.cn/dp/B007VXH70K/ Arora and Barak. 计算复杂性的现代方法. (英语). 世界图书出版公司. 2012.]
* [https://www.amazon.cn/dp/B007VXH70K/ Arora and Barak. 计算复杂性的现代方法. (英语). 世界图书出版公司. 2012.]
* [https://www.amazon.cn/dp/B018LW74IY/ Arora and Barak. 计算复杂性:现代方法. (中文翻译). 机械工业出版社. 2016.]
 
如果在获取教材方面有困难可以联系助教。(仅限英文版)
如果在获取教材方面有困难可以联系助教。(仅限英文版)


= Assignments =
= Assignments =
这是一门概念性课程,也是一门理论课程。作为理论课程,证明应该是小心、严谨的。作为概念性课程,同学们需要在作业中证明自己确实、清楚地掌握了这些概念,而不是在试图滥竽充数蒙混过关。所以在作业中请尽量不要偷懒,把每一个步骤和定义都仔细小心地写清楚,以免无意义地失分。
这是一门概念性课程,也是一门理论课程。作为理论课程,证明应该是小心、严谨的。作为概念性课程,同学们需要在作业中证明自己确实、清楚地掌握了这些概念,而不是在试图滥竽充数蒙混过关。所以在作业中请尽量不要偷懒,把每一个步骤和定义都仔细小心地写清楚,以免无意义地失分。
* [[计算复杂性 (Fall 2019)/Assignment 1|Assignment 1]], due on Sep 25. [[计算复杂性 (Fall 2019)/作业1已提交名单 | 当前作业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已提交名单]].
* [https://www.overleaf.com/read/dcnfcjxnpqgv 作业2参考答案及评分标准]
* [[计算复杂性 (Fall 2019)/Assignment 3|Assignment 3]], due on Oct 24. [[计算复杂性 (Fall 2019)/作业3已提交名单 | 当前作业3已提交名单]].
* [https://www.overleaf.com/read/dnqkmkcgqjtx 作业3参考答案及评分标准]
* [[计算复杂性 (Fall 2019)/Assignment 4|Assignment 4]], due on Oct 31.[[计算复杂性 (Fall 2019)/作业4已提交名单 | 当前作业4已提交名单]].
* [https://www.overleaf.com/read/nszxznspcqmp 作业4参考答案及评分标准]
* [[计算复杂性 (Fall 2019)/Assignment 5|Assignment 5]], due on Nov 7.[[计算复杂性 (Fall 2019)/作业5已提交名单 | 当前作业5已提交名单]].
* [https://www.overleaf.com/read/npqfwgtyvkst 作业5参考答案及评分标准]
* [[计算复杂性 (Fall 2019)/Assignment 6|Assignment 6]], due on Nov 21.[[计算复杂性 (Fall 2019)/作业6已提交名单 | 当前作业6已提交名单]].
* [https://www.overleaf.com/read/twcwcwnmvwcj 作业6参考答案及评分标准]
* [[计算复杂性 (Fall 2019)/Assignment 7|Assignment 7]], due on Dec 12.[[计算复杂性 (Fall 2019)/作业7已提交名单 | 当前作业7已提交名单]].
* [https://www.overleaf.com/read/thzypgnhjpgx 作业7参考答案及评分标准]


= Lecture Notes =
= Lecture Notes =
# 图灵机、计算复杂性类 P ([http://45.76.225.122:8000/cc_fall19/lec%201.pptx slides])
如果有下载课件的问题请及时联系助教。
# NP 和 NP 完全问题 ([http://45.76.225.122:8000/cc_fall19/lec%202.pptx slides.v2])
# 图灵机、计算复杂性类 P ([http://45.77.25.129:8000/cc_fall19/lec%201.pptx slides])
# 对角化方法 ([http://45.76.225.122:8000/cc_fall19/lec%203.pptx slides(updated)])
# NP 和 NP 完全问题 ([http://45.77.25.129:8000/cc_fall19/lec%202.pptx slides.v2])
# 对角化方法 ([http://45.77.25.129:8000/cc_fall19/lec%203.pptx slides(updated)])
# 空间复杂度 ([http://45.77.25.129:8000/cc_fall19/lec%204.1.pptx slides1],[http://45.77.25.129:8000/cc_fall19/lec%204.2.pptx slides2])
# 多项式谱系 ([http://45.77.25.129:8000/cc_fall19/lec%205.pptx slides])
# 布尔线路 ([http://45.77.25.129:8000/cc_fall19/lec%206.pptx slides1], [http://45.77.25.129:8000/cc_fall19/lec%207.pptx slides2])
# 随机计算 ([http://45.77.25.129:8000/cc_fall19/lec%208.pptx slides1], [http://45.77.25.129:8000/cc_fall19/lec%209.pptx slides2])
# 交互证明 ([http://45.77.25.129:8000/cc_fall19/lec%2010.pptx slides1], [http://45.77.25.129:8000/cc_fall19/lec%2011.pptx slides2])
# 前沿课题介绍 ([http://45.77.25.129:8000/cc_fall19/lec%2012.pptx 通讯复杂性])

Latest revision as of 12:45, 19 December 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
51_KWx_I1yyy_L.jpg
Arora and Barak.
Computational Complexity: A Modern Approach.
Cambridge Univ Press, 2009.
Teaching Assistant
刘明谋
Email liu.mingmou@smail.nju.edu.cn
Office 计算机系 410
v · d · e


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上课。
  • (2019/11/14) 第六次作业已发布,11月21日前交。
  • (2019/11/14) 第三次作业已批阅发回,参考答案及评分标准已发布。
  • (2019/11/14) 第四次作业已批阅发回,参考答案及评分标准已发布。
  • (2019/12/6) 第五次作业已批阅发回,参考答案及评分标准已发布。
  • (2019/12/6) 第六次作业已批阅发回,参考答案及评分标准已发布。
  • (2019/12/6) 第七次作业已发布,12月12日前交。
  • (2019/12/19) 第七次作业已批阅发回,参考答案及评分标准已发布。

Course info

Course materials

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

Assignments

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

Lecture Notes

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

  1. 图灵机、计算复杂性类 P (slides)
  2. NP 和 NP 完全问题 (slides.v2)
  3. 对角化方法 (slides(updated))
  4. 空间复杂度 (slides1,slides2)
  5. 多项式谱系 (slides)
  6. 布尔线路 (slides1, slides2)
  7. 随机计算 (slides1, slides2)
  8. 交互证明 (slides1, slides2)
  9. 前沿课题介绍 (通讯复杂性)