1982年图灵奖--斯蒂芬·库克简介

       大家好，我是执念斩长河。今天讲述1982年图灵奖获得者斯蒂芬·库克。图灵奖奖励他为计算机复杂性理论做出贡献。读完本篇博文大家可以收获的是：

• 什么是NP完全性问题
• 库克对完全性理论做出那些贡献
• NP对后世产生的影响
• 什么是复杂性结构

       库克1939年12月14日生于纽约州的布法罗。在乡村中学，库克的数学成绩比较好，1957年中学毕业后，库克离开当地去上密歇根大学，专业是科学工程。1961年获得学士学位之后，接着攻读数学博士学位。课题是计算复杂性。1971年5月发表论文，首次提出NP完全性问题，并奠定了NP完全性理论的基础。所谓“NP完全性”问题是这样一个问题：P=？NP问题，答案是不相等的，库克的论文只证明了命题演算的可满足行问题是NP完全的，没有继续深入证明下去。
       但他在他的启发下，卡普在第二年就证明了21个有关组合优化的NP完全问题，从而加强发展了NP完全性理论。
       库克在建立NP完全性理论时，为研究复杂性类之间的关系提出的方法叫做"复杂性归约"。它可以用于函数和搜索问题。应用领域广泛。