待验证50% 置信事实精确时间

Cook的论文证明了布尔可满足性问题（SAT）是NP-complete的，Richard Karp于1972年证明了包括背包问题在内的21个经典问题都属于NP-complete

1

来源数

50%

置信度

长期有效

时效性

2026/7/6

首次发现

来源

贪心算法与背包问题详解：MIT 6.0002第一讲核心笔记

bilibiliAI从零开始学2026/7/3

相关事实

待验证P vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一56% 相似待验证1971年斯蒂芬·库克证明了NP完全性理论53% 相似待验证NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论52% 相似待验证Leslie Kaelbling在1998年发表的经典论文提出了高效的POMDP近似求解算法51% 相似待验证物理学家理查德·费曼保持着一个'十二个最喜欢的问题'的心理清单，用于检验新发现能否推进这些问题的解答50% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/115510

API

curl https://kongchang.com/api/v1/knowledge/claims/115510

MCP

get_claim(id=115510)