使用纯切割平面方法求解 MIP，并查看最终的 LP 松弛？

Question

我想使用 SCIP（或者实际上，任何求解器，SCIP 似乎最有可能使用此方法）使用纯切割平面方法（无分支）来求解 MIP。只使用 Gomory 切割可能会很好。

然后，我想读出最终 LP 松弛中出现的约束，即最优解是整数可行的约束。

SCIP 或任何其他求解器中是否存在执行此操作的功能？如果是这样，我应该从 API 的哪个位置开始挖掘？

（我试图避免自己产生削减，因为我听说这在数字上可能很棘手。）

Answer 1

到目前为止，您尝试过什么？您应该禁用所有切割限制参数，即增加切割轮数和每轮切割数（对于您感兴趣的所有切割生成器）并减少最小正交性等参数。

但即使在这种设置下，SCIP 也可能会在某个时候开始分支，因此您可能必须禁用代码中的某些检查才能继续切割。

不过，请注意：由于数字问题，您很可能不会解决您的实例。割太多几乎总是会降低 LP 解的数值稳定性——这就是我们使用分支定界的原因之一。