SCIP分支切割算法调试：排查LP界100节点被剪枝的原因

1. 启用SCIP详细调试日志 #

• 启动SCIP时执行命令 set debug loglevel 5，这会输出节点处理的完整流程，包含剪枝触发的具体原因（如LP不可行、节点下界≥全局截断界等）。重点搜索包含pruned的日志行，该行会明确标注剪枝的触发条件。
• 若日志量过大，可通过 set debug filename scip_debug.log 将日志输出到文件，方便按节点ID定位目标节点的处理记录。

2. 检查全局截断界的异常变化 #

由于你的问题是最小化目标，当节点LP下界≥当前全局上界时，SCIP会剪枝该节点。需确认：

• 目标节点被处理时，全局上界是否被错误设为100以下？搜索日志中cutoff bound相关条目，对比节点处理前后的全局上界数值。
• 验证最优解（目标值100）是否被SCIP正确识别为可行解——若该解被错误拒绝，会导致全局上界被高估为101。

3. 验证分支约束的合法性 #

你创建分支约束时将check flag设为FALSE，跳过了SCIP的约束可行性检查，可能生成错误约束排除了最优解：

• 临时将check flag改为TRUE，重新运行程序，查看是否有分支约束合法性报错，快速定位错误约束。
• 手动核对目标节点路径上的所有分支约束，确认最优解的变量取值是否真的违反这些约束；若未违反，说明分支约束生成逻辑存在bug。

4. 调试自定义分支规则的冲突 #

使用debug solution时出现分支不等式违反报错，说明最优解不满足自定义分支规则生成的约束：

• 在自定义分支规则代码中添加日志，记录每次生成的分支约束内容（变量、系数、右侧值），对比最优解的变量值，确认是否真的存在违反。
• 临时禁用自定义分支规则，使用SCIP默认分支规则运行程序。若能得到正确最优值100，说明问题出在自定义分支规则的实现上。

5. 用SCIP事件API追踪剪枝细节 #

通过注册事件监听回调，在节点被剪枝时触发自定义调试逻辑：

• 监听SCIP_EVENTTYPE_NODEPRUNED事件，在回调中调用SCIPcheckSolNode(scip, sol, node, TRUE, TRUE, TRUE, NULL)，手动验证最优解在目标节点下的可行性，该函数会返回具体的违反原因。
• 同时获取节点的LP下界、全局上界、节点路径上的分支约束等信息，交叉验证剪枝逻辑是否合理。

6. 确认变量锁定的正确性 #

你在自定义约束处理器中锁定了变量，需检查：

• 变量锁定的上下界是否误排除了最优解的变量取值，调用SCIPgetVarLocks(scip, var)查看变量锁定状态，对比最优解的对应值。
• 确认锁定逻辑仅针对需要固定的变量，没有影响到最优解中合法的变量取值。

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