编码机

PvsNP五十年AI正在解决不可解问题

发布时间:2022/11/16 16:01:42   
北京治疗白癜风到哪里去最好 https://yyk.99.com.cn/fengtai/68389/

P和NP问题一直是计算机领域的老大难问题,那么在近50年间,人们对这个问题有什么深入的研究呢?让我们在本文中深挖这个世纪难题。

作者

LanceFortnow

编译

Don

编辑

青暮

在年5月4日,伟大的计算机科学家和数学家SteveCook就在他的论文《定理证明程序的复杂性TheComplexityofTheoremProvingProcedures》中首次向世界提出了P和NP的问题。在50年后的今天,世人仍然在试图解决这个计算机领域中最著名的问题。其实在12年前(年),我也曾经就该问题进行了一些讨论,大家可以看之前的《P与NP问题的现状》综述。

文章

转载请注明:http://www.aideyishus.com/lkyy/2328.html

------分隔线----------------------------