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

NP 完全问题是 NP 类中最难的一类，任何 NP 问题都可以在多项式时间内归约到它；经典例子包括旅行商问题的判定版本、布尔可满足性问题（SAT）和图的 3-着色问题。

1

来源数

50%

置信度

长期有效

时效性

2026/10/22

首次发现

来源

P2NPCBench：当LLM面对P与NP难问题配对，真实推理能力现形

涉及实体

NP完全concept SATconcept 旅行商问题concept 3-着色问题concept

相关事实

待验证P 与 NP 是否相等是计算机科学中最重要的未解难题之一。66% 相似待验证依赖地狱本质上是一个 NP 难的版本约束求解问题，当依赖图中存在循环约束或不可调和的版本区间时，任何包管理器都无法找到满足所有约束的解60% 相似待验证工具调用的schema校验只能捕获结构性问题（类型错误、缺少必填字段），抓不住语义错误53% 相似待验证编排式编程落地到 Rust 面临投影正确性判定在广播、动态角色集合等高级特性上仍然棘手，需要限制 DSL 表达能力以换取可判定的投影算法。52% 相似待验证依赖版本不一致在 npm 生态中容易引发重复安装、类型冲突甚至运行时行为差异。51% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/1084114

API

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

MCP

get_claim(id=1084114)