大家好,我是执念斩长河。今天讲述1982年图灵奖获得者斯蒂芬·库克。图灵奖奖励他为计算机复杂性理论做出贡献。读完本篇博文大家可以收获的是:
- 什么是NP完全性问题
- 库克对完全性理论做出那些贡献
- NP对后世产生的影响
- 什么是复杂性结构
库克1939年12月14日生于纽约州的布法罗。在乡村中学,库克的数学成绩比较好,1957年中学毕业后,库克离开当地去上密歇根大学,专业是科学工程。1961年获得学士学位之后,接着攻读数学博士学位。课题是计算复杂性。1971年5月发表论文,首次提出NP完全性问题,并奠定了NP完全性理论的基础。所谓“NP完全性”问题是这样一个问题:P=?NP问题,答案是不相等的,库克的论文只证明了命题演算的可满足行问题是NP完全的,没有继续深入证明下去。
但他在他的启发下,卡普在第二年就证明了21个有关组合优化的NP完全问题,从而加强发展了NP完全性理论。
库克在建立NP完全性理论时,为研究复杂性类之间的关系提出的方法叫做"复杂性归约"。它可以用于函数和搜索问题。应用领域广泛。