史蒂芬·库克

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

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

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

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

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

相关

  • 迈克尔·希茨迈克尔·帕特里克·希茨(英语:Michael Patrick Sheetz),美国生物学家,哥伦比亚大学的细胞生物学研究者。他是力学生物学和生物力学的先驱者之一。1968年在阿尔比恩学院获学士学位
  • 高雄玉皇宫坐标:22°38′03″N 120°17′22″E / 22.6341841°N 120.2894258°E / 22.6341841; 120.2894258高雄市玉皇宫天公庙,位于中华民国台湾高雄市三民区河北二路,是主祀玉皇上帝的
  • 当代中国问题研究院南开大学当代中国问题研究院,是南开大学于2011年成立的研究机构,位于南开大学八里台校区文科创新楼。该研究院致力于当代中国社会发展问题的理论研究。南开大学校长龚克担任院
  • 斯坦利·米勒斯坦利·劳埃德·米勒(英语:Stanley Lloyd Miller,1930年3月7日-2007年5月20日)是一位美国化学家和生物学家,以生命起源的无生源论研究而闻名,尤其是以证明有机化合物可从简单的无
  • 2011年热带风暴李热带风暴李(英语:Tropical Storm Lee)是2011年大西洋飓风季形成的第十五个热带气旋,也是第十二场获命名的风暴。
  • 阳明路 (高雄)阳明路(Yangming Rd.)为三民区的南北向干道。起端于三民区九如一路,末端止于清华街。 三民区 (由北至南)街一路三民区
  • 行为准则行为准则指的是一套规则,概述个人行为的社交规范、责任,亦可能包含较为适当的作法建议。国际会计师联会在 2007 年发布的国际良好实务指南之《制订有效的企业行为守则》中对此
  • 澳大利亚影艺学院最佳电影澳大利亚影艺学院最佳电影(AACTA Award for Best Film)是澳大利亚影艺学院每年颁发的奖项,表扬每年出色的本地电影(即澳大利亚制作的电影)。该奖是澳大利亚影视界最具分量的奖
  • 武内直子武内直子(1967年3月15日-),日本女性漫画家,小名为“直子公主”。出生于日本山梨县甲府市,代表作为《美少女战士》。1999年与冨㭴义博结婚,户籍改名为冨㭴直子。武内直子出身于山梨
  • 吕美荪吕美荪(1881年-1945年)女,行名贤鈖,后改名眉孙、眉生,又易名美荪,字清扬,号仲素,别署寒碧山庄主人、齐州女布衣。安徽旌德人,清末民初教育家、诗人。光绪七年(1881年),吕美荪生于北京。5