1982年图灵奖--斯蒂芬·库克简介
大家好，我是执念斩长河。今天讲述1982年图灵奖获得者斯蒂芬·库克。图灵奖奖励他为计算机复杂性理论做出贡献。读完本篇博文大家可以收获的是：
- 什么是NP完全性问题
- 库克对完全性理论做出那些贡献
- NP对后世产生的影响
- 什么是复杂性结构
库克1939年12月14日生于纽约州的布法罗。在乡村中学，库克的数学成绩比较好，1957年中学毕业后，库克离开当地去上密歇根大学，专业是科学工程。1961年获得学士学位之后，接着攻读数学博士学位。课题是计算复杂性。1971年5月发表论文，首次提出NP完全性问题，并奠定了NP完全性理论的基础。所谓“NP完全性”问题是这样一个问题：P=？NP问题，答案是不相等的，库克的论文只证明了命题演算的可满足行问题是NP完全的，没有继续深入证明下去。
但他在他的启发下，卡普在第二年就证明了21个有关组合优化的NP完全问题，从而加强发展了NP完全性理论。
库克在建立NP完全性理论时，为研究复杂性类之间的关系提出的方法叫做"复杂性归约"。它可以用于函数和搜索问题。应用领域广泛。
1982年图灵奖--斯蒂芬·库克简介相关推荐
- 1998年图灵奖--詹姆斯·格雷简介
大家好,我是执念斩长河.今天讲述的是1988年图灵奖获得者詹姆斯·格雷,图灵奖奖励他为数据库技术和"事务处理"做出贡献.读完本篇博文大家可以收获的是: 解决RDBMS问题的技术手段 ...
- 1985年图灵奖-理查德·卡普简介
大家好,我是执念斩长河.今天讲述1985年图灵奖获得者理查德·卡普.图灵奖奖励他在算法的设计与分析.计算机复杂性理论.随机化算法等诸多方面做出了创造性贡献.读完本篇博文大家可以收获的是: 算法中的分支 ...
- 1977年图灵奖--约翰·巴克斯简介
大家好,我是执念斩长河,今天讲述1977年图灵奖–约翰·巴克斯,图灵奖奖励他开发了世界上第一个高级程序设计语言FORTRAN和最广泛流行的元语言BNF范式. 读完本篇博文大家可以收获的是: 纨绔子弟翘 ...
- 1978年图灵奖--罗伯特·弗洛伊德简介
大家好,我是执念斩长河.今天所讲述的1978年图灵奖–罗伯特·弗洛伊德.图灵奖奖励他为编译理论奠定深远的基础.读完本篇博文大家可以收获的是: ALGOL60编译器开发 Floyd如何写出堆排序 Flo ...
- 2000年图灵奖--姚期智简介
大家好,我是执念斩长河.今天讲述的是中国首位图灵奖获得者姚期智.图灵奖奖励他为计算机复杂性理论做出巨大的贡献.读完本篇博文大家轻松获得: 姚期智论文涵盖计算机全部复杂性 破解最小生成树线性复杂度的顶级 ...
- 1980年图灵奖--查尔斯·霍尔简介
大家好,我是执念斩长河.今天讲述的是1980年图灵奖获得者查尔斯·霍尔.图灵奖奖励他为程学设计语言的定义和设计.数据结构和算法做出强大的贡献.读完本篇博文大家可以收获的是: 快速排序的发明 switc ...
- 文学见识(含图灵奖历届指引)--目录
手动点击,无须翻阅:) 64.2020年图灵奖Jeffrey David Ullman和Alfred Vaino Aho简介 63.2019年图灵奖Edwin E. Catmull和Patrick M ...
- 2001年图灵奖--奥尔-约翰·戴尔和克里斯登·奈加特简介
大家好,我是执念斩长河.今天讲述的是2001年图灵奖获得者奥尔-约翰·戴尔和克里斯登·奈加特.图灵奖奖励他们为面向对象技术做出巨大贡献.当我们还在为不能掌握面向对象技术时,看看奠基人是如何开发出面向对 ...
- 2005年图灵奖--彼得·诺尔简介
大家好,我是执念斩长河.今天讲述的是2005年图灵奖获得者彼得·诺尔.图灵奖奖励他将编译原理继续扩充.读完本篇博文大家可以收获: 如何从天文学大佬转战成计算机 丹麦的第一台计算机DASK 对ALGOL ...
- 计算机领域的诺贝尔奖是图灵奖,计算机界的诺贝尔奖图灵奖.DOC
计算机界的诺贝尔奖图灵奖 本文内容: 1. 图灵生平 2. 图灵奖简介 3. 历届图灵获得者 1．图灵生平 阿兰图灵(Alan Turing)PhD, MIT; Prof, Yale (was Pro ...
最新文章
- @NotNull-JSR-303验证
- 【九度OJ】题目1206：字符串连接
- 转载《Data Guard Broker基础》
- Windows 2008 R2 SP1部署Lync2010标准版(1)
- C++阶段01笔记06【函数（概述、定义、调用、值传递、常见样式、声明、分文件编写）】
- Java Web学习总结（29）——Java Web中的Filter和Interceptor比较
- express 模板 及 文件上传
- 如何保证消息不被重复消费【[如何保证消息消费的幂等性】？
- 什么是推荐系统？推荐系统类型、用例和应用
- 计算机组成原理复习笔记
- Eclipse设置编辑器为绿豆沙颜色
- Lample-Ziv文本压缩(java实现)--学习笔记
- ImportError: DLL load failed:找不到指定的模块 解决方案
- 计算机域是什么概念,什么是域？域的相关概念
- vs2008简体中文正式版下载
- NVM安装nodejs的方法
- 用Python实现单词尾缀的分析及提取
- Help 药盒_疯狂的设计
- java实现视频上传和播放SpringMVC + Mybatis + ckplayer+ffmpeg+mencoder
- 前端七十二变之html和css入门