对理解PCP定理的证明有什么好的参考?


Answers:


40

无论Goldreich的复杂教科书阿罗拉和巴拉克的复杂教科书有专门解释PCP定理的证明章(有图片!)。

另外,如果您还没有尝试解决Dinur的论文,那么它值得一读。(在我看来)至少比原始证明更平易近人,您可以通过略读前12页(然后深入研究本文后面部分中包含的技术证明)来很好地了解证明的工作原理, 如果你更喜欢)。


3
实际上,我更喜欢Dinur的论文,而不是Arora / Barak中的讨论。
安德拉斯·萨拉蒙(AndrásSalamon)2010年

37

2008年,我和Irit Dinur在Weizmann教授了PCP课程,其中包括代数和组合证明。大部分课程都提供手写的讲义:http : //people.csail.mit.edu/dmoshkov/courses/pcp/index.html

这个学期我正在麻省理工学院教授PCP课程,其中包括旧课程的内容,对平行重复的更全面处理和独特的游戏猜想,以及最近的成果(从2008年至2009年),例如低错误构成和最优性假设唯一博弈猜想的约束满足问题的半定规划问题。我还将时间用于教授纠错代码,扩展器,信息论和傅立叶分析。

这是该课程的网站:http : //stellar.mit.edu/S/course/6/fa10/6.895/

此处提供注释:http : //people.csail.mit.edu/dmoshkov/courses/pcp-mit/index.html


1
太酷了,这些都是很棒的笔记。实际上,我很高兴终于看到一位作者附于《 PCP定理的图解历史》。我以前曾在多个地方看过它,但从未引用过任何消息!
Daniel Apon





13

对于PCP定理的原始(长期的)证明,我推荐Sudan的笔记作为回顾,而Feige的讲义则详细解释该证明。

另外,有关其他材料和有用的讨论,请参见Fortnow的帖子


12

我建议阅读Eli-Ben Sasson的讲义。另外,Prahladh Harsha的讲义包含和阐述了PCP定理的两个证明。Prahladh课程的链接可以在他的TIFR网页上找到(美国芝加哥,2007年秋季)。Venkat Guruswami和Ryan O'Donnell的课程笔记(由Hung Q. Ngo建议)也非常好。


12

有2个来源对我来说特别好。上面有人建议的一种是Venkat和Ryan的讲义。

另一个有用的资料是Luca Trevisan的这些讲义

目前,Prasad Raghvendra在Georgia Tech提供此课程。遗憾的是,该页面尚未启动。

这将我带到Subhash Khot的另一个消息来源。在Google上搜索。您应该能够找到这些。

(就我个人而言,我也没有查阅过Khot的笔记,只是想起他也曾在GaTech教过这门课程)


11

我的建议:

  • 对于新手计算机科学家:

1- Irit Dinur的概率检验证明和代码

2- Madhu Sudan的概率检验证据

3- Goldreich书中的第9章:计算复杂性,概念角度

  • 对于专业计算机科学家:

1- 通过Irit Dinur的间隙放大得到的PCP定理

2- 关于Jainkumar Radhakrishnan和Madhu Sudan的Dinur 关于PCP定理的证明

3- 阿罗拉(Arora)和巴拉克(Barak)书中的第22章:计算复杂性:一种现代方法

4- Prahladh Harsha撰写的耐用的PCP和较短的PCP(涵盖了PCP定理的第一个证明)


8

对于PCP定理的“经典”(即Dinur之前)证明,我发现Prahladh Harsha的论文是最好的资源。

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.