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

NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论

1

来源数

50%

置信度

长期有效

时效性

2026/7/6

首次发现

来源

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

bilibiliAI从零开始学2026/7/3

相关事实

待验证1971年斯蒂芬·库克证明了NP完全性理论72% 相似待验证P vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一66% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法63% 相似待验证Curry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的59% 相似待验证Ken Thompson早在1968年的论文中就描述了高效的NFA模拟算法57% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/115509

API

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

MCP

get_claim(id=115509)