Ваше предположение почти верно.A SCIP_EVENTTYPE_NODEINFEASIBLE
выбрасывается, если текущий узел фокуса обнаружен как недопустимый, либо путем распространения, либо после решения узла LP.
Однако удаление открытых узлов в дереве путем сокращения происходит только после того, как найдено новое действующее решение.Это внутреннее действие дерева, которое не зафиксировано ни одним событием .
К счастью, вам не нужно об этом беспокоиться, потому что обрезка не влияет на двойную границу.Просто запросите двойную границу в каждом SCIP_EVENTTYPE_NODESOLVED
.