史蒂芬·亚瑟·库克（Stephen Arthur Cook，1939年12月14日－，计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
首页 >
史蒂芬·库克
✍ dations ◷ 2024-12-22 20:34:27 #1939年出生,在世人物,图灵奖获得者,美国计算机科学家,密歇根大学校友,哈佛大学校友
相关
- 狂犬病病毒属丽沙病毒属（英语：Lyssavirus），又称狂犬病毒属，一种核糖核酸病毒，属于单股反链病毒目炮弹病毒科。它的名称来自希腊神话中的丽沙（Lyssa），主管疯狂、发狂的女神。这个属的病毒中，包括了
- 巴黎地下墓穴巴黎地下墓穴（法语：Catacombes de Paris）是法国巴黎一处著名的藏骨堂，位于今天巴黎十四区的丹费尔-罗什洛广场。原为地下石灰石采石场。1786年，巴黎爆发瘟疫，为了解决墓地不足和公
- ǁ̬浊边搭嘴音（Voiced lateral click）是一种辅音，主要出现于南非的一些口语中。表示此音的国际音标（IPA）是⟨ǁ̬⟩或⟨ᶢǁ⟩，亦有部分语言学家偏好使用已废弃的音标⟨ʖ̬⟩或⟨ᶢ
- 地轴地球自转是固体的地球绕着自己的轴转动，方向是由西向东。从天球的北极点鸟瞰，地球自转是逆时针旋转；从南极点上空看是顺时针旋转。地球自转的周期是一个恒星日，目前其值为23时56
- 西门子能源业务领域西门子能源业务领域是西门子公司的四大业务领域之一，主要为火力发电和可再生能源发电、输电以及石油和天然气的开采、转换和输送提供产品、服务和解决方案。2008年1月1日创建
- 白厅白厅（英语：Whitehall；又译怀特霍尔）是英国伦敦威斯敏斯特市内的一条大道，自特拉法加广场向南延伸至国会广场，亦为英国A3212号公路（特拉法加广场至切尔西）的首段。白厅是英国政府中枢
- DRSDRS（英文全称：Drag Reduction System）译为减少空气阻力系统或者可变尾翼，是2011年世界一级方程式锦标赛引入的一项技术。该技术旨在通过调节尾翼的角度以减少空气阻力，从而使赛车
- 十三烷十三烷（分子式：C13H28），烷烃的一种，在室温下是无色可燃的液体。它是一些昆虫用于御敌时喷射出的化学物质成分。十三烷有802个同分异构体。健康危害： 吸入、摄入或经皮肤吸收后对身
- 硝酸锡硝酸锡是一种无机化合物，在水中易水解，化学式为Sn(NO3)4。硝酸锡可以由四氯化锡和五氧化二氮、硝酸氯（ClNO3）或硝酸溴（BrNO3）反应得到。
- 西村寿一西村寿一（日语：西村 寿一，1963年1月1日－），日本男性配音员、旁白。出身于大阪府。身高177cm。O型血。以前所属的经纪公司有大阪TV talent bureau（简称TTB）、Seeding、Iland Promotion
