史蒂芬·库克
维基百科，自由的百科全书
| 史蒂芬·库克 | |
|---|---|
| 原文名 | Stephen Arthur Cook |
| 出生 |
1939年12月14日 美国纽约州水牛城 |
| 母校 |
哈佛大学 密歇根大学 |
| 机构 |
多伦多大学 加州大学伯克利分校 |
| 知名于 | NP完全 |
| 奖项 | 图灵奖 |
史蒂芬·亚瑟·库克（Stephen Arthur Cook，1939年12月14日－，计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
外部链接
- （英文） 古克的网站
| |||||||||||||||||||||||||||||||||||||
|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
