当前位置: 编码机 >> 编码机介绍 >> PvsNP五十年AI正在解决不可解问题
P和NP问题一直是计算机领域的老大难问题,那么在近50年间,人们对这个问题有什么深入的研究呢?让我们在本文中深挖这个世纪难题。
作者
LanceFortnow
编译
Don
编辑
青暮
在年5月4日,伟大的计算机科学家和数学家SteveCook就在他的论文《定理证明程序的复杂性TheComplexityofTheoremProvingProcedures》中首次向世界提出了P和NP的问题。在50年后的今天,世人仍然在试图解决这个计算机领域中最著名的问题。其实在12年前(年),我也曾经就该问题进行了一些讨论,大家可以看之前的《P与NP问题的现状》综述。