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

整数规划（IP）因引入离散变量使解空间组合爆炸，属于NP难问题

1

来源数

50%

置信度

长期有效

时效性

2026/7/14

首次发现

来源

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

相关事实

待验证整数规划因引入离散变量而属于NP难问题，通常借助分支定界法求解83% 相似待验证PCB布局（Placement）本质上是一个NP难的组合优化问题74% 相似待验证RNN面临梯度消失问题，序列越长梯度经过的乘法链越长，数值呈指数级缩小61% 相似待验证冷链物流优化问题本质上是带有多重约束的车辆路径问题（VRP）的变体，精确求解在计算上通常是NP-hard的61% 相似待验证Sugiyama算法第二步的最小化边交叉被证明是NP完全问题，由Garey和Johnson在1983年证明即使两层情况下最小化交叉数也是NP难的61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/503213

API

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

MCP

get_claim(id=503213)