Unverified50% confidenceFactExact time
NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论
1
Sources
50%
Confidence
Long-term
Relevance
7/6/2026
First Seen
Sources
贪心算法与背包问题详解：MIT 6.0002第一讲核心笔记
bilibiliAI从零开始学7/3/2026
Related Claims
Unverified1971年斯蒂芬·库克证明了NP完全性理论72% similarUnverifiedP vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一66% similarUnverified1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法63% similarUnverifiedCurry-Howard同构揭示了命题对应类型、证明对应程序、证明化简对应程序执行的结构对应，是1934-1969年间逐步发现的59% similarUnverifiedKen Thompson早在1968年的论文中就描述了高效的NFA模拟算法57% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/115509API
curl https://kongchang.com/api/v1/knowledge/claims/115509MCP
get_claim(id=115509)