首页 >

史蒂芬·库克

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

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

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

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

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

相关

罗伯特·H·迪克罗伯特·亨利·迪克（英语：Robert Henry Dicke，/ˈdɪki/，1916年5月6日－1997年3月4日），美国物理学家，对天体物理，原子物理，宇宙学和引力等领域做出了重要贡献。
塞阔雅塞阔雅县（英语：Sequoyah County）是美国俄克拉荷马州东部的一个县，东邻阿肯色州，面积1,852平方公里。根据美国2000年人口普查，本县共有人口38,972人。本县县治为萨利索（Sallisaw）。本
乔治·华莱士小乔治·科利·华莱士（George Corley Wallace Jr.，1919年8月25日－1998年9月13日），出身美国亚拉巴马州的律师、政治家，美国民主党成员，曾三次出任亚拉巴马州州长。华莱士曾四次参选
Google+Google+（Google Plus，简称：G+或GPlus）是Google公司推出的社交网站与身份服务；除社交网站身份外，Google也将Google+视为其旗下众多服务之间社交层面的补强，与传统社交网站仅能登录单
海盐县海盐县是中国浙江省嘉兴市下辖的一个县，是浙江最早建县的城市之一。面积503平方千米，人口37万。邮政编码314300。县人民政府驻武原镇枣园中路118号。秦山核电站位于该县境内。
合众国际社合众国际社（英文：United Press International，缩写：UPI），美国著名通讯社之一，总部位于美国华盛顿特区，使用英文、西班牙文和阿拉伯文向世界各地发布新闻和评论。其前身为1907年成立
欧根·博姆-巴维克欧根·博姆-巴维克（Eugen von Böhm-Bawerk，1851年2月12日－1914年8月27日）是奥地利的经济学家，他对奥地利经济学派有着重要的贡献。博姆-巴维克前往维也纳大学就读法律学，在那里他
希律亚基帕二世希律亚基帕二世（英语：Herod Agrippa II，希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR",
作对《作对》林逸欣 Shara 莎拉公主于2012年8月6日发行的第一张个人专辑唱片，由喜欢音乐唱片公司制作、环球唱片公司(Universal)发行。《作对》专辑从筹划、收歌、录制到发行历
奥古斯特·库别兹克奥古斯特·库别兹克（德语：August Kubizek，1888年8月3日－1956年10月23日）是希特勒青年时期的好友和室友。1955年他出版了一本《我认识的青年希特勒》（ The Young Hitler I knew）的书