斯蒂芬·库克

多伦多大学计算复杂理论教授
image
斯蒂芬·库克（1939年12月14日-），男，出生于美国纽约州的布法罗，是美国计算机科学家、计算复杂性理论的重要研究者，现为多伦多大学的计算机科学和数学系教授。库克于1961年毕业于密歇根大学科学工程工程专业，并于1962年和1966年获得哈佛大学硕士及博士学位。库克在1971年发表的论文中整理了NP完备性的目标，并产生了库克定理——布尔可满足性问题是NP完备的证明，因此获得1982年图灵奖。

人物介绍

NP完全性理论的奠基人 斯蒂芬·A·库克（Stephen A. Cook，1939年－），计算机科学家，计算复杂性理论的重要研究者。
斯蒂芬·库克
1971年，在他的论文《The Complexity of Theorem Proving Procedures》，他整理了NP完备性的目标，亦产生了库克定理——布尔可满足性问题是NP完备的证明。