史蒂芬·库克

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

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

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

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

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

相关

  • Léri-Weill软骨骨生成障碍综合症Léri-Weill软骨骨生成障碍综合征(英语:Léri-Weill dyschondrosteosis,LWD),是一种罕见的基因疾病,肇因于性染色体上拟常染色体区的“SHOX(英语:SHOX)基因”突变。此病将造成患者身
  • 姜伯驹姜伯驹(1937年9月-),浙江平阳(今属苍南县)人,生于天津,中国数学家,主要从事拓扑学中的不动点理论和低维拓扑学的研究。其父是中国现代数学奠基人之一姜立夫先生。生于天津,1957年毕业
  • 圣多明尼克圣道明(圣公宗传统译圣道明力;西班牙语:Santo Domingo de Guzmán Garcés O.P.,1170年-1221年8月6日),又称为奥斯马的道明(Dominic of Osma)。他是一个西班牙的教士,西班牙神父及罗
  • 相对购买力指标购买力平价(英语:Purchasing Power Parity,缩写PPP),是一种根据各国不同的价格水平计算出来的货币之间的等值系数,使我们能够在经济学上对各国的国内生产总值进行合理比较,这种理论
  • 临邑县临邑县是中国山东省德州市所辖的一个县。临邑县的地理位置在东经116°41'46"和117°03'16"、北纬36°59'45"和37°31'34"之间,在德州东部50千米,离济南60千米。整个县位于鲁东
  • 各国人均咖啡消费量列表这是一个各国(地区)年人均咖啡消费量列表,最新的为2009年的数据。
  • 史丹利·艾林史丹利·艾林(Stanley Ellin,1916年10月6日-1986年7月31日),为美国推理小说作家。艾林出生于纽约的布鲁克林区,在成为推理作家前,他曾任职教师、钢铁工人、乳牛牧场农夫等,二战时并
  • 周瑛周瑛可以是下列人物:
  • 无偏博弈在组合博弈论里,无偏博弈是一类任意局势对于游戏双方都是平等的回合制双人游戏。这里平等的意思是所有可行的走法仅仅依赖于当前的局势,而与现在正要行动的是那一方无关。换句
  • 池添隆博池添隆博(1976年-),日本男性动画师、演出家、动画导演。出身于千叶县。动画公司华德迪士尼动画日本出身,现为个人工作室studio-KIN代表。