史提芬·古克

维基百科,自由的百科全书
跳转至: 导航搜索
史提芬·古克

史提芬·A·古克英语Stephen A. Cook,1939年12月14日),計算機科學家,計算複雜性理論的重要研究者。

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

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

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

外部鏈結[编辑]