使用 SCIP 的 B&P 中的分支机制

Question

我正在使用 SCIP 在 c 中实现分支和价格算法。

问题：为了调用分支机制，我使用了基本的 BRANCHEXECLP 机制。 SCIP 如何知道何时分支？当前松弛解有非整数解时，对吗？我不必告诉 SCIP 为这种情况调用分支机制，对吗？

我问是因为（在大多数情况下）我的 B&P 算法运行良好。但是，在某些时候，它会到达对应于对偶边界解的节点。在解决了定价问题（并且没有任何列对进入主问题具有吸引力）后，该节点的松弛解包含非整数解，但不调用分支机制。运行就结束了。知道这里发生了什么吗？

谢谢， 抢库里

Answer 1

我猜您在定价期间检查了当前 LP 解决方案中是否存在小数变量？

那个节点的对偶边界等于全局对偶边界？您是否将目标标记为仅具有整数值？在这种情况下，如果对偶边界足够接近原始边界，四舍五入给出相同的数字，SCIP 将切断节点。也许 SCIP 在您的定价之后发现了一个新的解决方案，该解决方案立即被当前的全球双重约束证明是最优的？ SCIP 在定价循环中每个求解 LP 后自动运行一些简单的舍入启发式算法。