1995年图灵奖--曼纽尔·布卢姆简介

大家好，我是执念斩长河。今天讲述的是1995年图灵奖获得者曼纽尔·布卢姆。图灵奖奖励他为计算机复杂性理论做出贡献。读完本篇博文大家可以收获的是：

什么是计算机复杂性理论
计算机复杂性分类
卢卡做出什么样的贡献
卢卡解决Intel浮点运算错误

布卢姆是加州大学伯克利分校的教授，他所研究的计算机复杂性理论已经有先驱做出奠基。而布卢姆是站在巨人的肩膀上研究。比如前人
37、1993年图灵奖–尤里斯·哈特马尼斯和理查德·斯特恩斯简介
所谓“计算机复杂性”，通俗来说，就是用计算机求解问题的难易程度。其度量标准：一是计算所需的步数或指令条数(这叫做时间复杂度)，二是计算所需的存储单元数(这叫空间复杂度)。将复杂性进行分类：

P类问题：由确定型图灵机在多项式时间内可解的一切判定问题所组成的集合；
NP类问题：由非确定型图灵机在多项式时间内可计算的判定问题所组成的集合
NP完全问题：如果判定问题Π∈NP，并且对所有其他判定问题Π’∈NP，都有Π‘多项式变换到Π(记为Π’无穷大牌)，则称判定问题Π是NP完全的。

现在主流学者不能证明P=?NP.卢卡姆在此方面深入研究开创很多定理。还有一个Intel在推出Pentium时，被人发现该处理器的除法运算存在一个细微问题，从而引起了一场轩然大波。卢卡姆和他的学生提出解决方案和应吸取的教训。卢卡姆的老师明斯基是图灵奖，他的学生阿德勒曼和米卡利也是图灵奖，真可谓图灵三代呀！

1995年图灵奖--曼纽尔·布卢姆简介相关推荐

图灵奖简介、2012年图灵奖得主及其贡献领域简介
一.图灵奖简介图灵奖(A.M. Turing Award,又译"杜林奖"),由美国计算机协会(ACM)于1966年设立,又叫"A.M. 图灵奖",专门奖励那些 ...
历届图灵奖和马尔奖获得者
1.历届图灵奖获得者 1966 A. J. Perlis因在新一代编程技术和编译架构方面的贡献而获奖 1967 Maurice V. Wilkes因设计出第一台具有内置存储程序的计算机而获奖 1968 ...
图灵奖得主珀尔 | 在大数据、概率之外，我们仍需要问因果关系的相关问题
大数据,让我们得以"偷懒",但因果推理是人类思想中不可或缺的组成部分,应该对其进行形式化和算法化处理,得以实现人类水平的机器智能. Pearl 描述了一个因果推理 ...
2020年图灵奖Jeffrey和Alfred人物简介
本篇博文源于2020年图灵奖,旨在讲述图灵奖大佬Jeffrey David Ullman和Alfred Vaino Aho人物生平简介.读完本篇文章,大家可以轻松收获以下: Jeffrey David ...
2013年图灵奖--莱斯利·兰波特简介
大家好,我是执念斩长河.今天讲述的是2013年图灵奖获得者莱斯利·兰波特.图灵奖奖励他为分布式系统.时序逻辑和并行算法做出贡献.读完本篇博文大家可以收获的是: 对数学的痴爱互斥算法的完整解决-面包算 ...
1974年图灵奖--唐纳德·克努特简介
大家好,我是执念斩长河.今天讲述的是1974年图灵奖获得者唐纳德·克努特.图灵奖奖励他写出百万字的多卷本<计算机程序设计的艺术>.看完本篇博文大家可以获得: 克努特天才的学习经历多卷本的 ...
2010图灵奖--莱斯利·瓦里安特简介
大家好,我是执念斩长河.今天讲述的是2010年图灵奖获得者莱斯利·瓦里安特.图灵奖奖励他为机器学习.计算机复杂性以及平行和分布式计算这三个领域中的贡献.读完本文大家可以收获的是: 瓦里安特定义的计算机 ...
2002年图灵奖--利维斯、沙米尔和阿德勒曼简介
大家好,我是执念斩长河.今天讲述的是2002年图灵奖获得者利维斯(Ronald L.Riverst).沙米尔(Adi Shamir)和阿德勒曼(Leonard M.Adleman).图灵奖奖励他为公钥 ...
文学见识(含图灵奖历届指引)--目录
手动点击,无须翻阅:) 64.2020年图灵奖Jeffrey David Ullman和Alfred Vaino Aho简介 63.2019年图灵奖Edwin E. Catmull和Patrick M ...

1995年图灵奖--曼纽尔·布卢姆简介

1995年图灵奖--曼纽尔·布卢姆简介相关推荐

最新文章

热门文章