部分验证65% 置信事实精确时间

3-SAT是第一个被证明的NP完全问题（Cook-Levin定理的特例）。

3

来源数

65%

置信度

长期有效

时效性

2026/10/26

首次发现

来源

指数时间假设被证伪？理论计算机科学迎来大地震

涉及实体

3-SATconcept Cook-Levin定理concept

相关事实

待验证Cook-Levin定理证明了SAT问题是NP完全的70% 相似待验证三体问题对任意初始条件都不存在通用的闭式解，庞加莱在19世纪末通过数学证明揭示了其不可积性60% 相似待验证Cook的论文证明了布尔可满足性问题（SAT）是NP-complete的，Richard Karp于1972年证明了包括背包问题在内的21个经典问题都属于NP-complete58% 相似待验证论文的验证目前集中在三维Navier–Stokes动力学场景，能否推广到更广泛的向量值PDE问题仍待后续研究53% 相似待验证1971年斯蒂芬·库克证明了NP完全性理论53% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1101461

API

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

MCP

get_claim(id=1101461)