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

整数规划因引入离散变量而属于NP难问题，通常借助分支定界法求解

1

来源数

50%

置信度

长期有效

时效性

2026/7/13

首次发现

来源

用Claude做约束优化研究：AI自动化科研的潜力与局限

相关事实

待验证整数规划（IP）因引入离散变量使解空间组合爆炸，属于NP难问题83% 相似待验证PCB布局（Placement）本质上是一个NP难的组合优化问题73% 相似待验证冷链物流优化问题本质上是带有多重约束的车辆路径问题（VRP）的变体，精确求解在计算上通常是NP-hard的67% 相似待验证Sugiyama算法第二步的最小化边交叉被证明是NP完全问题，由Garey和Johnson在1983年证明即使两层情况下最小化交叉数也是NP难的66% 相似已验证RNN以串行方式处理序列，存在长序列梯度消失和无法并行计算两大问题65% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/502403

API

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

MCP

get_claim(id=502403)