我正在使用SCIP在c中实现分支和价格算法 .
问题：要调用分支机制，我使用基本的BRANCHEXECLP机制 . SCIP如何知道何时分支？当前的松弛解决方案有非整数解，对吧？我没有告诉SCIP为这种情况调用分支机制，对吗？
我问，因为（大多数情况下）我的B＆P算法运行良好 . 但是，在某些时候它到达对应于双重绑定解的节点 . 在解决定价问题（并且没有列对输入主问题有吸引力）之后，此节点处的松弛解包含非整数解，但不调用分支机制 . 跑步刚刚退出 . 知道这里发生了什么吗？
谢谢，Rob Curry
1 回答
我猜您在定价期间检查过当前LP解决方案中是否存在小数变量？
并且该节点的双重界限等于全局双界？您是否将目标标记为仅具有整数值？在这种情况下，如果双边界足够接近原始边界，将其四舍五入给出相同的数字，SCIP将切断节点 . 也许SCIP在你的定价之后找到了一个新的解决方案，这个解决方案被当前的全球双重限制立即证明是最优的？在定价循环中每个解决LP后，SCIP自动运行一些简单的舍入启发式算法 .