史蒂芬·库克
史蒂芬·库克
史蒂芬·亚瑟·库克（，1939年12月14日—）是一名美国计算机科学家，计算复杂性理论的重要研究者。
1971年，在他的论文《定理证明程式的复杂性》（"The Complexity of Theorem Proving Procedures"），他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。
1982年，库克获得图灵奖。因为其论文开启了NP完备性的研究，令这个领域于之后的十年成为计算机科学中最活跃和重要的研究。
库克现为多伦多大学的计算机科学和数学系教授。
本站由爱斯园团队开发维护，感谢那些提出宝贵意见和打赏的网友，没有你们的支持，网站不可能发展到今天，
继往开来，善终如始，我们将继续砥砺前行。
Copyright ©2014 iissy.com, All Rights Reserved.