计算复杂性
阿姆斯特丹大学–2017年2月
讲师：哈里·布尔曼
助教：汤姆·班宁克
课程目录。
数据鼻子
讲座
星期二13:00-15:00
星期四13:00-15:00
练习环节
周五09:00-11:00
有关位置，请参见数据鼻子第一堂课于2月7日星期二13:00在SP D1.115室举行。教科书
计算复杂性：一种现代方法桑吉夫·阿罗拉（Sanjeev Arora）和波阿斯·巴拉克（Boaz Barak）。作业和考试
练习将在周二分发，一周后必须在周二提交。通过电子邮件提交给汤姆·班宁克受到鼓励。你可以合作，但每个人都必须用自己的话写下自己的解决方案。计算练习的平均分数时，最低分数将被删除。
除了练习外，还有期末考试打开书本，这意味着你可以携带这本书和你做的任何笔记，不允许携带数字设备。本课程的最终成绩将是练习成绩和期末考试成绩之间的平均值。
如果你想参加补考，请给汤姆·班宁克发一封电子邮件。
地铁列车时刻表
| 时间 | 位置 | 主题 |
| 2月7日。 13-15 |
标准件D1.115 |
计算复杂性简介
作业1鼓励通过电子邮件提交。
作业1部分解决方案
幻灯片
|
| 2月9日。 13-15 |
SP G2.02 |
P、 NP，减少，联合NP书籍：1.1–1.4、1.6、1.7、2.1、2.2
对于简单图灵机的可视化，您可以访问：图灵机器上的在线Wolfram笔记本.在这些可视化中，方块是磁带，可以是白色或橙色（0或1）。黑色的小符号是图灵机器的“头”，它可以向上或向下指向机器的当前状态。
|
| 2月10日。 09-11 |
SP G0.05 |
关于渐近符号的练习课。
练习（2月10日更新）
练习的解决方案
|
| 2月14日。 13-15 |
标准件D1.115 |
Cook-Levin Thm：3-SAT为NP完成，决策vs搜索书籍：2.3、2.5
作业2
|
| 2月16日。 13-15 |
SP G2.02 |
对角化，时间层次书籍：3.1、3.2 |
| 2月17日。 09-11 |
SP G0.05 |
关于家庭作业1的练习课。 |
| 2月21日。 13-15 |
标准件D1.115 |
相对化书籍：3.4
作业3（2月24日更新）
作业3部分解决方案
|
| 2月23日。 13-15 |
SP G2.02 |
空间复杂性，PSPACE，L，NL书：第4章 |
| 2月24日。 09-11 |
SP G0.05 |
作业练习课2。 |
| 2月28日。 13-15 |
标准件D1.115 |
Immerman-Szelepcsényi定理，多项式层次书：第5章4.3.2
家庭作业4
|
| 3月2日。 13-15 |
SP G2.02 |
电路复杂性，Karp-Lipton定理书：第六章 |
| 3月3日。 09-11 |
SP G0.05 |
作业练习课3。 |
| 3月7日。 13-15 |
标准件D1.115 |
奇偶校验不在AC^0中书籍：14.2
家庭作业5
|
| 3月7日。 13-15 |
SP G2.02 |
概率算法书籍：7.1–7.3 |
| 3月10日。 09-11 |
SP G0.05 |
作业练习环节4。 |
| 3月14日。 13-15 |
标准件D1.115 |
BPP、电路和多项式层次书籍：7.3–7.5
家庭作业6
|
| 3月16日。 13-15 |
SP G2.02 |
图同构问题的交互式证明书籍：8.1–8.2 |
| 3月17日。 09-11 |
SP G0.05 |
作业练习环节5。 |
| 3月21日。 13-15 |
标准件D1.115 |
IP=PSPACE书籍：8.3 |
| 3月23日。 13-15 |
- |
没有讲座 |
| 3月24日。 09-11 |
SP G0.05 |
作业练习环节6。提问环节。 |
| 2013年3月28日至16日 |
SP C1.110 |
考试你可以带书和笔记，但不能带电子设备。
练习考试
|
另请参见2015/2016课程网站.