scip - SCIP：在特定节点以各种模式获取下限和上限

Question

我想以各种模式在分支定界树的特定节点处获得下限和上限。它将帮助我比较各种强调设置。

为此（下限示例），

• 我在该节点上制作了 MIP 的全局副本，使用以下方法获取单独的 SCIP 实例SCIPCopy()
• 然后设置separating/emphasis为aggressive,presolve为 False,limits/nodes为 1
• optimize该模型

此过程在退出之前在单个节点上执行多次单纯形迭代。

• separating/emphasis/aggressive如果将设置设置为刚好在分支定界树中处理节点之前获得的下限，此下限是否类似于获得的下限？（一个类似的疑问是通过改变上限heuristics/emphasis/aggressive）

• 是否有一个功能 -SCIPComputeLowerBound(setting=1)对于SCIP_NODE. （同样，对于SCIPComputeUpperBound(setting=1)?

• 如果我决定使用aggressive或fastin separating，如何将节点的结果复制回原始 SCIP 的节点？（同样对于“启发式”，我需要更新原始解决方案）。我可以考虑将原始 SCIP 树中的设置更改为所需的级别，并让它使用更改后的设置进行求解，但这需要两次求解该节点。

标签： scip

Answer 1

下界可能不一样，尤其是对于分离。原因是许多分隔符在根节点中运行的时间比在树的更下方运行的时间更长。此外，SCIP 中的分隔符和启发式方法有一个frequency，这意味着它们不会在每个节点上都被调用。因此，可能在您当前的节点上不会运行启发式算法，但是如果您创建一个新的 subscip 并解决根节点，就会运行启发式算法。

这个函数应SCIPcomputeLowerBound该做什么？解决整个节点但不改变任何东西？（不存在）

您可以复制绝对复制一个解决方案，例如查看createNewSolution. heur_rens.c你想从分离中复制什么？