使用SCIP在B＆amp; P中的分支机制

Question

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

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

我问，因为（大多数情况下）我的B＆amp; P算法运行良好。但是，在某些时候它到达对应于双重绑定解的节点。在解决定价问题（并且没有列对输入主问题有吸引力）之后，此节点处的松弛解包含非整数解，但不调用分支机制。跑步刚刚退出。想知道这里发生了什么吗？

谢谢， Rob Curry

Answer 1

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

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