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

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

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

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

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

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