在 SCIP 分支定界中強制提前退出

Question

在 SCIPopt 中使用自定義分支或節點選擇規則時，是否可以在找到某個已知解決方案后強制立即退出分支定界搜索？ 我想說一個特定的節點是我要采取的解決方案，然后 B&B 程序應該立即退出。

我查看了自定義分支 ( https://www.scipopt.org/doc/html/BRANCH.php ) 和節點選擇的回調返回選項。 我沒有看到返回“立即退出”的明顯方法。 我正在考慮的替代方法：全局修復所有變量或更新全局下限以匹配我選擇的解決方案。

Answer 1

你想以某種方式宣布該解決方案是最優的嗎？ （或者你甚至知道它是？）

如果這不是那么重要，那么您可以簡單地調用interruptSolve 。 其他選項是在找到該解決方案（使用setRealParam ）后將 gaplimit 設置為您當前的差距

編輯：因此，除非您能以某種方式向 SCIP 證明您的解決方案確實是最優的，否則您執行此操作的所有可能選項都會有些 hacky。 在這一點上，您不妨強制全局下限與您找到的解決方案相匹配。 因為我不知道你怎么知道你找到的解決方案是最優的，所以我真的幫不上什么忙。