关于Madhu Sudan的工作：2002年Nevalinna奖获得者
摘要：Madhu Sudan的工作涵盖了计算机科学理论的许多领域，包括计算复杂性理论、设计高效算法、算法编码理论和程序检测与纠正理论。 Sudan的两个成果在计算数学中产生了重大影响。第一个工作展示了NP类的概率特征——对于这些集合，存在简短且易于检验的成员证明，并展示了这一特征对近似问题复杂性分类的影响。第二个工作展示了一种用于列解码Reed Solomon纠错码的多项式时间算法。 这篇简短的笔记将致力于描述Sudan在概率可检验证明方面的工作——所谓的PCP定理及其影响。
作者：Shafi Goldwasser
论文ID：cs/0212056
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23