`SCIP_EVENTTYPE_NODESOLVED` 包含的事件是什么意思？

Question

我正在尝试使用事件处理程序捕捉双重绑定的变化。 There is no event in type_event.h for catching this，所以我想使用SCIP_EVENTTYPE_NODEFEASIBLE 事件。

SCIP_EVENTTYPE_NODESOLVED 所包含的事件（SCIP_EVENTTYPE_NODEFEASIBLE、SCIP_EVENTTYPE_NODEINFEASIBLE 和 SCIP_EVENTTYPE_NODEBRANCHED）之间的关系让我有点困惑。这些事件是脱节的吗？它们具体是什么意思？恕我直言，文档对此不是很清楚。

我的猜测如下（假设三个事件不相交）：

• SCIP_EVENTTYPE_NODEFEASIBLE：这个节点的LP是整数。
• SCIP_EVENTTYPE_NODEINFEASIBLE：节点不可行或被绑定剪枝。
• SCIP_EVENTTYPE_NODEBRANCHED：此节点的 LP 解决方案是分数的，并且已完成分支。

提前致谢！

Answer 1

您的猜测几乎是正确的。如果通过传播或求解节点 LP 后检测到当前焦点节点不可行，则抛出SCIP_EVENTTYPE_NODEINFEASIBLE。

但是，只有在找到新的现有解决方案后才能通过修剪来移除树中的开放节点。这是一个不被任何事件捕获的内部树操作。

幸运的是，您不必担心这一点，因为对偶边界不受修剪的影响。只需查询每个SCIP_EVENTTYPE_NODESOLVED 的双重界限。