SCIPopt's setppc简介

Question

关于SCIP的“集分区/打包/覆盖的约束处理程序”：

1. 是否足够聪明，不用我直接调用setppc函数就可以推断出它支持的所有表单？
2. 能够处理/检测sum(x) == y的形式，其中x是二进制变量的列表，y也是二进制变量？同样的问题是否小于或等于？

，

1. ，它的文档说明它需要一个等于1的右手边。RHS=0?

呢？

Answer 1

1. ，如果我正确地理解了您，您是在问SCIP是否会看到线性约束是setppc约束并自动升级它？是的，

1. 是的，不管你怎么写它。

1. ：rhs = 0的二进制变量之和只会将所有变量传播并修复到0。(如果只有lhs是0，那就是多余的)

如果其中一些系数是-1，而不是+1，SCIP仍然会试图通过否定所有负变量(或所有正变量，然后乘以-1 )来使其工作。如果可以这样升级，SCIP将检查任何只有二进制变量和+1/-1系数的线性约束。