哈佛大学教授获2010年图灵奖.docVIP

哈佛大学教授获2010年图灵奖 　　文章编号：1672-5913(2011)21-0055-03 中图分类号：G642 文献标识码：A 　　 　　ACM委员会于2011年3月10日公布，2010年度图灵奖授予莱斯利#8226;瓦里安特教授，表彰他在机器学习理论以及计算机科学诸多方面的奠基性贡献。 　　2011年6月5日，在加州圣荷塞会议中心ACM召开的计算研究联合大会FCRC 2011开幕日上，为莱斯利#8226;瓦里安特举办了颁奖晚宴，奖金为25万美元，仍由Intel和Google赞助。 　　1 学术生平 　　莱斯利#8226;瓦里安特(Leslie Gabriel Valiant) 1949年3月28日生于英国。1970年在剑桥大学国王学院获数学学士学位，1973年在伦敦帝国学院获计算机科学毕业文凭，1974年获华威克大学(University of Warwick)计算机科学博士学位。 　　1973年至1974年，莱斯利在卡内基-梅隆大学作 　　 　　访问学者。1974年至1976年在里兹大学、1977年至1982年在爱丁堡大学、1982年至今在哈佛大学任教。从2001年起，担任哈佛工程与应用科学学院计算机科学与应用数学的杰弗逊(T. Jefferson Coolidge)讲席教授。他是英国皇家学会会员、美国科学院院士。 　　2 三大贡献 　　莱斯利的第一个贡献是在机器学习领域。1984年他在《ACM通讯》上发表了论文“习能力理论”(A Theory of the Learnable)，在论文中提出了PAC模型，即“概率近似正确”(Probably Approximately Correct)的学习模型。PAC模型使20世纪50年代诞生的机器学习领域第一次有了坚实的数学基础，从而清除了学科发展的障碍，对于机器学习、人工智能和其他计算领域(如自然语言处理、手写识别、机器视觉等)都产生了重要影响。该模型可解决信息分类问题，为此学习算法会根据过去的经验而设计一个概率假设，并将此假设作为判断依据。PAC模型可最大限度地降低泛化(Over-generalization)带来的错误，这就是为什么它被称为“概率近似正确”的原因。 　　 　　莱斯利的第二个贡献是在计算复杂性领域。1986年莱斯利和瓦兹拉尼在《理论计算机科学》上发表论文，题目是“NP同检测唯一解一样容易”(NP is as easy as detecting unique solutions)，提出了瓦里安特-瓦兹拉尼定理(Valiant?CVazirani theorem)，合作者瓦兹拉尼(Vijay Virkumar Vazirani)是印度裔美国计算机科学家，佐治亚技术学院教授。 　　该定理可叙述为：UNIQUE-SAT #61646; P #61662; NP = RP。其中，SAT表示布尔可满足性问题(Boolean Satisfiability Problem)，指是否存在一组变量赋值，用来解决给定的布尔方程式。NP是“非确定性的多项式复杂程度”(Non-deterministic Polynomial)问题。 　　该定理的含义：如果UNIQUE-SAT 存在一个多项式时间算法P(polynomial time algorithm)，那么NP=RP。这里的RP是随机的多项式时间(randomized polynomial time)，给出问题的复杂性类。该定理属于决定性问题，是第一个被证明的NP完备问题。这个特性是概率图灵机(Probabilistic Turing machine)特有的性质，它表明即使可满足赋值数很小，SAT这个NP完备问题仍然是很难的问题。 　　莱斯利的第三个贡献是在计算神经学领域。1994年他在牛津大学出版社出版了《思维的电路》(Circuits of the Mind)一书，他为大脑设计了一个数学模型，并将它与复杂的认知功能建立了关联。他在书中描述了一个称为Neuroids的模型，支持广泛的、多种多样的、与记忆、学习、推理、搜索等相关的计算任务，不必使用更多资源就可以直接按神经系统的方法完成这些任务。 　　此外，1979年他提出的上下文无关分析算法，至今仍是最快的算法之一。在并行与分布式计算领域，1990年他提出著名的BSP并行模型，至今仍是这一学科的基本文献。 　　3 颁奖评语 　　ACM的颁奖词高度评价了莱斯利#8226;瓦里安特教授30年来对理论计算科学的基础性工作。鉴于他“对众多计算理论，包括PAC学习、枚举复杂性、代数计算和并行与分布式计算所做的变革性的贡献”而获得2010年计算机科学最高荣誉图灵奖。 　　他的工作开辟了新领域，给出了独创的新概念，并提供了许多兼具原创性、深度和优美的结