待验证50% 置信事实精确时间
1971年斯蒂芬·库克证明了NP完全性理论
1
来源数
50%
置信度
长期有效
时效性
2026/8/22
首次发现
来源
涉及实体
相关事实
待验证NP-hard概念由Stephen Cook于1971年在论文《定理证明程序的复杂性》中正式提出，Leonid Levin几乎同时在苏联独立得出类似结论72% 相似待验证1969年Manna和Waldinger提出了基于形式化规范和定理证明的演绎合成方法64% 相似待验证具身智能的理论根基来自1980年代Rodney Brooks的'包容架构'以及Rolf Pfeifer等人的'物理基础认知'理论63% 相似待验证P vs NP问题由Stephen Cook于1971年正式提出，是计算机科学中最著名的未解难题之一62% 相似待验证认知科学家 Philip Johnson-Laird 在1983年进一步发展了心智模型理论，指出心智模型允许人类进行离线推理59% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/786916API
curl https://kongchang.com/api/v1/knowledge/claims/786916MCP
get_claim(id=786916)