我熟悉许多使用PCP定理的结果(主要是在近似算法中),但是我从未遇到过关于PCP定理的清晰解释(即)。
有哪些好的论文/书籍可供阅读?
我熟悉许多使用PCP定理的结果(主要是在近似算法中),但是我从未遇到过关于PCP定理的清晰解释(即)。
有哪些好的论文/书籍可供阅读?
Answers:
无论Goldreich的复杂教科书和阿罗拉和巴拉克的复杂教科书有专门解释PCP定理的证明章(有图片!)。
另外,如果您还没有尝试解决Dinur的论文,那么它值得一读。(在我看来)至少比原始证明更平易近人,您可以通过略读前12页(然后深入研究本文后面部分中包含的技术证明)来很好地了解证明的工作原理, 如果你更喜欢)。
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
Dinur的论文(在Daniel Apon的回答中链接)写得很好,值得一读。关于本文及其证明的广泛讨论也已发表,这在阅读本文本身时非常有用:Jaikumar Radhakrishnan和Madhu Sudan,关于Dinur的PCP定理证明,Bull。阿米尔。数学。Soc。44(2007),19-61(预印本)。
我发现Guruswami&O'Donnell课程的讲义(UW,2005)非常有用。
对于非常高级的观点,我真的很喜欢几天前Tim Gower的博客文章:
http://gowers.wordpress.com/2010/08/30/icm2010-avila-dinur-plenary-lectures/
确实帮助我“获得”了纠错码和不可接近性的联系。
一年前有一篇关于PCP定理和应用程序的不错的教程。他们的讲义应该会有所帮助:近似算法的局限性:PCP和唯一游戏(DIMACS讲义笔记)
对于PCP定理的原始(长期的)证明,我推荐Sudan的笔记作为回顾,而Feige的讲义则详细解释该证明。
另外,有关其他材料和有用的讨论,请参见Fortnow的帖子。
我建议阅读Eli-Ben Sasson的讲义。另外,Prahladh Harsha的讲义包含和阐述了PCP定理的两个证明。Prahladh课程的链接可以在他的TIFR网页上找到(美国芝加哥,2007年秋季)。Venkat Guruswami和Ryan O'Donnell的课程笔记(由Hung Q. Ngo建议)也非常好。
有2个来源对我来说特别好。上面有人建议的一种是Venkat和Ryan的讲义。
另一个有用的资料是Luca Trevisan的这些讲义。
目前,Prasad Raghvendra在Georgia Tech提供此课程。遗憾的是,该页面尚未启动。
这将我带到Subhash Khot的另一个消息来源。在Google上搜索。您应该能够找到这些。
(就我个人而言,我也没有查阅过Khot的笔记,只是想起他也曾在GaTech教过这门课程)
我的建议:
1- Irit Dinur的概率检验证明和代码
2- Madhu Sudan的概率检验证据
3- Goldreich书中的第9章:计算复杂性,概念角度
2- 关于Jainkumar Radhakrishnan和Madhu Sudan的Dinur 关于PCP定理的证明
3- 阿罗拉(Arora)和巴拉克(Barak)书中的第22章:计算复杂性:一种现代方法
4- Prahladh Harsha撰写的耐用的PCP和较短的PCP(涵盖了PCP定理的第一个证明)