89
次編輯
變更
史提芬·A·古克（Stephen A. Cook，1939年12月14日－），1961年从University of Michigan获得其学士学位，于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到1970年，Stephen在加州Berkeley分校担任
史提芬·A·古克（Stephen A. Cook，1939年12月14日－），1961年从University of Michigan获得其学士学位，于1962年和1966年从哈佛大学分别获得其硕士与博士学位。1966年到1970年，Stephen在加州Berkeley分校担任助理教授职务。
1970年，Stephen加盟多伦多大学并工作直到现在。他是NP完全性理论的奠基人，1971年发表Cook定理奠定了NP完全理论的基础而获1982年图灵奖。Cook是对计算复杂性理论有突出贡献的计算机科学家之一。
NP完全性理论的奠基人史提芬·A·古克（Stephen A. Cook，1939年－），计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。
1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。克现为多伦多大学的计算机科学和数学系教授。加拿大多伦多大学教授斯蒂芬·库克(Stephen Arthur Cook)因在计算复杂性理论方面的贡献，尤其是在奠定NP完全性理论基础上的突出贡献而荣获1982年度的图灵奖。
1970年，Stephen加盟多伦多大学并工作直到现在。他是NP完全性理论的奠基人，1971年发表Cook定理奠定了NP完全理论的基础而获1982年图灵奖。Cook是对计算复杂性理论有突出贡献的计算机科学家之一。
NP完全性理论的奠基人史提芬·A·古克（Stephen A. Cook，1939年－），计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了古克定理——布尔可满足性问题是NP完备的证明。
1982年，古克得到图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。克现为多伦多大学的计算机科学和数学系教授。加拿大多伦多大学教授斯蒂芬·库克(Stephen Arthur Cook)因在计算复杂性理论方面的贡献，尤其是在奠定NP完全性理论基础上的突出贡献而荣获1982年度的图灵奖。