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

Sugiyama算法第二步的最小化边交叉被证明是NP完全问题，由Garey和Johnson在1983年证明即使两层情况下最小化交叉数也是NP难的

1

来源数

50%

置信度

长期有效

时效性

2026/8/14

首次发现

来源

Line9：自研布局引擎解决Mermaid图表渲染混乱问题

相关事实

待验证整数规划因引入离散变量而属于NP难问题，通常借助分支定界法求解66% 相似待验证Hobbit的批次硬度问题本质上是NP难的，可归约为最大覆盖问题，作者用log-sum-exp项将其转化为可微光滑目标并证明具备梯度次模性64% 相似待验证整数规划（IP）因引入离散变量使解空间组合爆炸，属于NP难问题61% 相似待验证格上的最短向量问题（SVP）和最近向量问题（CVP）在最坏情况下被认为是NP-hard的60% 相似待验证序列最小优化算法（SMO）由 John Platt 于 1998 年提出，将大规模二次规划问题分解为只涉及两个变量的最小子问题59% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/746329

API

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

MCP

get_claim(id=746329)