Loading AI tools
来自维基百科，自由的百科全书
史蒂芬·亞瑟·庫克（英語：Stephen Arthur Cook，1939年12月14日—）是一名美國計算機科學家，計算複雜性理論的重要研究者。
1971年，在他的論文《定理證明程式的複雜性》（The Complexity of Theorem Proving Procedures），他整理了NP完備性的目標，亦產生了庫克定理——布爾可滿足性問題是NP完備的證明。
1982年，庫克獲得圖靈獎。因為其論文開啟了NP完備性的研究，令這個領域於之後的十年成為計算機科學中最活躍和重要的研究。
庫克現為多倫多大學的計算機科學和數學系教授。
 | 這是一篇關於美國科學家的小作品。您可以透過編輯或修訂擴充其內容。 |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.
