1982 Stephen A. Cook(ZT)电话是416打头的. [#2192879@0 -ROLIA.NET 相约加拿大网上社区 之 枫下论坛 & 枫下部落, 枫下论坛主坛 ]
1982 Stephen A. Cook(ZT)电话是416打头的.
by
pipibug
(golf)
at
2005.3.21 00:39
(#2192879@0)
Stephen A. Cook
Citation
For his advancement of our understanding of the complexity of computation in a significant and profound way. His seminal paper, "The Complexity of Theorem Proving Procedures," presented at the 1971 ACM SIGACT Symposium on the Theory of Computing, Laid the foundations for the theory of NP-Completeness. The ensuing exploration of the boundaries and nature of NP-complete class of problems has been one of the most active and important research activities in computer science for the last decade.
--------------------------------------------------------------------------
Stephen A. Cook
University Professor
Department of Computer Science
University of Toronto
Toronto, Canada M5S 3G4
Tel: (416) 978-5183
sacook [at] cs [dot] toronto [dot] edu
史提芬·A·古克(Stephen A. Cook)是計算機科學家，計算複雜性理論的重要研究者。
1971年，在他的論文The Complexity of Theorem Proving Procedures，他整理了NP完備性的目標，亦產生了古克定理——布尔可滿足性問題是NP完備的證明。
1982年，古克得到图灵奖。因為其論文開啟了NP完備性的研究，令這個範疇於之後的十年成為計算機科學中最活躍和重要的研究。
古克現為多倫多大學的計算機科學和數學部門教授.
其他的要多大的兄弟们写吧,是好是坏都行.