【发布时间】：2020-03-24 09:15:14
【问题描述】：
cutoff 在 SCIP 中是什么意思？我看到了 cutoff bound 这个词，但不确定 cutoff 是什么。
【问题讨论】：
标签： mathematical-optimization scip sat
【发布时间】：2020-03-24 09:15:14
【问题描述】：
这意味着该节点已被修剪，因为它的双重边界超过了最知名的原始边界。
【讨论】：
-
即求解器已经证明，任何从修剪节点派生的节点都将比当前已知的解决方案更差，因此进一步探索该路径没有意义