史蒂芬·庫克

史蒂芬·亞瑟·庫克(英語:Stephen Arthur Cook,1939年12月14日)是一名美國計算機科學家計算複雜性理論的重要研究者。

史蒂芬·庫克
Stephen Arthur Cook
出生 (1939-12-14) 1939年12月14日84歲)
 美國紐約州水牛城
母校哈佛大學
密歇根大學
機構多倫多大學
加州大學伯克利分校
知名於NP完全
獎項圖靈獎

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

1982年,庫克獲得圖靈獎。因為其論文開啟了NP完備性的研究,令這個領域於之後的十年成為計算機科學中最活躍和重要的研究。

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

外部連結

編輯