已过期60% 置信事实时间未知
P vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一
2
来源数
60%
置信度
中期 (~90 天)
时效性
2026/7/2
首次发现
有效期至：2026/9/30(已过期)
来源
验证驱动开发：释放AI编程真正潜力的关键
bilibiliDtsolaSpace
相关事实
待验证NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论66% 相似待验证P=NP是Clay数学研究所悬赏100万美元的千禧年数学难题，至今未被证明62% 相似待验证1971年斯蒂芬·库克证明了NP完全性理论62% 相似待验证认知系统工程专家 Richard Cook 于1998年撰写了《How Complex Systems Fail》（复杂系统如何失败）59% 相似待验证Cook的论文证明了布尔可满足性问题（SAT）是NP-complete的，Richard Karp于1972年证明了包括背包问题在内的21个经典问题都属于NP-complete56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/60622API
curl https://kongchang.com/api/v1/knowledge/claims/60622MCP
get_claim(id=60622)