在SCIPopt中自定义分支/节点选择时如何强制终止分支定界？

在自定义分支规则或节点选择规则的回调逻辑里，不需要用固定变量、更新下界这类间接方案，SCIP有更直接的方式终止B&B流程：

• 在回调函数（比如分支规则的scip_executeBranch、节点选择的scip_selectLeaveNode）中，调用 SCIPinterruptSolve(scip) 即可立即中断求解。调用后SCIP会停止当前节点处理，直接退出分支定界循环。
• 若要先确认目标解有效，可先通过 SCIPaddSol(scip, sol, TRUE) 将该解加入SCIP的解集（第二个参数设为TRUE表示接受此解），再调用中断函数，这样SCIP会保留该解作为最终结果。

另外还有一种替代方式：

• 调用 SCIPsetSolvingTimeLimit(scip, 0.0) 将求解时间限制设为0，触发立即终止，但这种方式的可控性不如SCIPinterruptSolve。

注意：在自定义回调中调用这些函数时，要确保SCIP处于允许中断的状态（节点处理阶段调用是安全的）。

内容的提问来源于stack exchange，提问作者Brannon