史提芬·古克

王朝百科·作者佚名  2009-11-13
窄屏简体版  字體: |||超大  

史提芬·A·古克(Stephen A. Cook)是计算机科学家,计算复杂性理论的重要研究者。

1971年,在他的论文The Complexity of Theorem Proving Procedures,他整理了NP完备性的目标,亦产生了古克定理——布尔可满足性问题是NP完备的证明。

1982年,古克得到图灵奖。因为其论文开启了NP完备性的研究,令这个范畴于之后的十年成为计算机科学中最活跃和重要的研究。

古克现为多伦多大学的计算机科学和数学部门教授。

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航