史?芬·亞瑟·?克
（英語：
Stephen Arthur Cook
，1939年12月14日
?
）是一名
美國
計算機科學家
，
計算複雜性理論
的重要?究者。
1971年，在他的論文《定理證明程式的複雜性》（
The Complexity of Theorem Proving Procedures
），他整理了
NP完備性
的目標，亦?生了
?克定理
??
布爾可滿足性問題
是NP完備的證明。
1982年，?克?得
???
。因?其論文開?了NP完備性的?究，令這個?域於之後的十年成?計算機科學中最活躍和重要的?究。
?克現?
多倫多大學
的計算機科學和數學系?授。
外部連結
[
??
]
|
|---|
| | 1960年代
| |
|---|
| | 1970年代
| |
|---|
| | 1980年代
| |
|---|
| | 1990年代
| |
|---|
| | 2000年代
| |
|---|
| | 2010年代
| |
|---|
| | 2020年代
| |
|---|
| |
|
