史蒂芬·库克

维基百科,自由的百科全书
(重定向自史蒂芬·古克
跳到导航 跳到搜索
史蒂芬·库克
Prof.Cook.jpg
原文名 Stephen Arthur Cook
出生 (1939-12-14) 1939年12月14日(78歲)
 美國紐約州水牛城
母校 哈佛大学
密歇根大学
机构 多伦多大学
加州大学伯克利分校
知名于 NP完全
奖项 图灵奖

史蒂芬·亞瑟·库克(Stephen Arthur Cook,1939年12月14日計算機科學家,計算複雜性理論的重要研究者。

1971年,在他的論文《The Complexity of Theorem Proving Procedures》,他整理了NP完備性的目標,亦產生了库克定理——布爾可滿足性問題是NP完備的證明。

1982年,库克获得图灵奖。因為其論文開啟了NP完備性的研究,令這個领域於之後的十年成為計算機科學中最活躍和重要的研究。

库克現為多倫多大學的計算機科學和數學系教授。

外部連結[编辑]