史蒂芬·库克

✍ dations ◷ 2025-06-29 17:20:17 #1939年出生,在世人物,图灵奖获得者,美国计算机科学家,密歇根大学校友,哈佛大学校友

史蒂芬·亚瑟·库克(Stephen Arthur Cook,1939年12月14日-,计算机科学家,计算复杂性理论的重要研究者。

1971年,在他的论文《The Complexity of Theorem Proving Procedures》,他整理了NP完备性的目标,亦产生了库克定理——布尔可满足性问题是NP完备的证明。

1982年,库克获得图灵奖。因为其论文开启了NP完备性的研究,令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。

库克现为多伦多大学的计算机科学和数学系教授。

相关

  • 路德维希港路德维希港(德语:Ludwigshafen),全称莱茵河畔路德维希港(德语:Ludwigshafen am Rhein),是德国莱茵兰-普法尔茨州的第二大城市(次于美茵兹之后),坐落在莱茵河边。路德维希港是一个无属县
  • 私人航天公司列表这是一个私人航天公司列表,包括目前提供或计划推出着眼于航天器(无人航天器及载人航天器)装置和服务的公司。GTO:地球同步转移轨道(Geostationary transfer orbit) VTOL:垂直起降(Ve
  • 艾马拉语艾马拉语(艾马拉语:Aymar aru),或译艾玛拉语,是一种由住在安地斯山脉的艾马拉人的语言,为玻利维亚的官方语言之一。艾马拉语和克丘亚语有许多相同的字汇,这使得一些语言学家认为这
  • 芡实芡(学名:Euryale ferox),又名䓈,民间俗称“鸡头莲”,是属于睡莲科芡属的水生植物,芡属是个单型属,只有这一物种。芡的种子称为“芡实”或“芡米”、“鸡头米”。是“勾芡”用的“芡
  • 联盟联盟(马来语:Perikatan;英语:Alliance)是1951年成立于马来亚联合邦的政党联盟,由巫来由人统一组织(巫统)、马来亚华人公会(马华公会)及马来亚印度国民大会党(国大党)所组成,是马来西亚国
  • 骨木镶嵌骨木镶嵌是中国浙江省宁波市的一项传统工艺,在木器表面嵌入动物骨骼进行装饰。2008年,骨木镶嵌被列入第二批国家级非物质文化遗产保护名录。骨木镶嵌工艺诞生于隋唐,经历木雕、
  • 埃德斯维勒埃德斯维勒是瑞士的城镇,位于该国西北部,由汝拉州负责管辖,面积3.31平方公里,海拔高度553米,2011年人口118,七成半人口信奉罗马天主教,人口密度每平方公里36人。
  • 丁烯酮丁烯酮(MVK),结构式CH3COCH=CH2。是最简单的α,β-不饱和酮。无色具有刺激性臭味的挥发性液体。可燃。易溶于水、甲醇、乙醇、乙醚、丙酮、冰醋酸,微溶于烃。与水形成二元共沸物,
  • 泽鳅泽鳅为辐鳍鱼纲鲤形目鳅科的其中一种,为亚热带淡水鱼,被IUCN列为濒危保育类动物,分布于欧洲希腊Louros及Kalamas流域,为特有种,体长可达9公分,栖息在沼泽、水塘及溪流的底层水域,生
  • 2017年台中逢甲商圈气爆事故2017年台中逢甲商圈气爆事故是2017年7月18日中午,发生在台湾台中市逢甲商圈西安街心斋桥咖喱名物餐厅的瓦斯气爆事故,波及周遭9间店面,造成3死13伤,伤者中3人为店员、6人为逢甲