史蒂芬·库克

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

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

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

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

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

相关

  • 电磁相互作用电磁力(英语:electromagnetic force)是处于电场、磁场或电磁场的带电粒子所受到的作用力。大自然的四种基本力中,电磁力是其中一种,其它三种是强作用力、弱作用力、引力。光子是
  • 真社会性真社会性(英语:Eusociality)是最高度组织化的动物社会性。“Eusocial”一词是1966年由苏珊·巴特拉(Suzanne Batra)所提出,而爱德华·威尔森则对此用语作了进一步的定义。在一般常
  • 尸胺尸胺 (cadaverine),又称1,5-戊二胺(1,5-pentanediamine)、1,5-二氨基戊烷(pentamethylenediamine)、五亚甲基二胺或尸毒素,分子式为NH2(CH2)5NH2,是一种在动物身体组织腐烂时由蛋白
  • 桃园国际机场公司航空科学馆坐标:25°04′14″N 121°13′25″E / 25.070671°N 121.223627°E / 25.070671; 121.223627桃园国际机场股份有限公司航空科学馆,是台湾桃园市大园区的航空博物馆,简称桃园国
  • 复制保护复制保护(英语:Copy protection)也称内容保护(content protection)、防止复制(copy prevention)或复制限制(copy restriction)等,是为防止软件、电影、音乐或其他作品被复制而付出的行
  • 斯库拉斯库拉(Scylla /ˈsɪlə/, 或者称为Skylla,在希腊语中称为 Σκύλλα,来自于希腊语动词σκύλλω“撕碎、扯破”),是希腊神话中吞吃水手的女海妖。她的身体有六个头十二只
  • MacworldMacworld是一本专门关注苹果公司产品的网站及月刊,杂志由Mac Publishing出版,总部位于美国旧金山。Macworld始创于1984年2月 ,如今已发展为全北美洲最畅销的苹果产品杂志,是现存
  • 史氏伞管螺史氏伞管螺(学名:),是柄眼目烟管蜗牛科伞管螺属的一种。本物种见于中国大陆的湖南省。常栖息在热带、亚热带雨林中的潮湿,多腐殖质环境,栖息于石灰岩、岩缝、洞穴及潮湿的树干上。
  • 加藤奈奈绘加藤 奈々絵(1976年2月24日-)日本的女性声优。出身于茨城县。血型为O型。除了担任少年角色外,还有配音一些非人类的角色,还有担任少女角色。适合性格开朗的角色,发挥超然的世界。
  • 孙金鼎 (明朝)孙金鼎(1616年-1646年),南明政治人物。早年因罪充军,后被朱亨嘉收留,与陈邦傅结为亲家。官至参赞军机大学士。朱亨嘉称帝兵败以后,孙金鼎逃往陈邦傅处,邦傅却私下与参画胡执功商议:“