史蒂芬·库克

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

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

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

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

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

相关

  • 环境决定论环境决定论也称为气候决定论或地理决定论。认为人物的生活习惯及其文化特点由其地理条件而形成的理论。地理决定论是由埃尔斯沃思·亨廷顿(英语:Ellsworth Huntington)提出的,他
  • 孕酮受体1A28, 1E3K, 1SQN, 1SR7, 1ZUC, 2C7A, 2OVH, 2OVM, 2W8Y, 3D90, 3G8O, 3HQ5, 3KBA, 3ZR7, 3ZRA, 3ZRB, 4A2J, 4APU· steroid hormone receptor activity · ligand-activa
  • 内弗尔卡拉一世内弗尔卡拉(Neferirkare,希腊语:Νεφερχέρης)是古埃及第五王朝的第三位法老,大约在前25世纪间在位约10年(一说20年)。他是萨胡拉的弟弟,也是第一个拥有二个王名的法老,修建
  • 点心点心可以指:
  • 电子货币电子货币(英文:Electronic money,台湾又称电子票证;部分地区又称塑胶货币),是指以数码记账的方式代替使用现金交易的货币系统。电子货币有效提高交易的效率与安全,例如消费者无须携
  • 联邦党人文集《联邦党人文集》或称《联邦论》、《联邦主义议文集》(英语:Federalist Papers),是18世纪80年代三位美国政治家在制定美国宪法的过程中所写作的有关美国宪法和联邦制度的评论文
  • 刘大潭刘大潭(1956年7月21日-),全球第一位身障发明家,出生于台湾南投县,逢甲大学机械工程学系毕业,为速跑得机械股份有限公司董事长,曾获得多项发明大奖。2008年获选为逢甲大学第十届杰出
  • 鸭川食堂《鸭川食堂》为日本作家柏井寿(日语:柏木圭一郎)创作的日本小说,2013年由小学馆出版。2016年由NHK改编为8集连续剧。京都市鸭川沿岸位于东本愿寺附近,有一间没有招牌也不挂暖帘的
  • 确定双线性形式在数学中,确定双线性形式是双线性形式使得在不是0的时候有固定的符号(或正或负)。要给出形式定义,设是域R(实数)或C(复数)之一。假设是在上的向量空间,并且 是Hermitian形式的双线性
  • 向达伦大冒险角色列表本篇为《向达伦大冒险》系列的小说与漫画作品之登场人物介绍。主要角色之外的吸血鬼们很像人类却又不是人类的…,不喜欢干涉吸血鬼的事,在向达伦到奇怪世界(200多年后)时有出