使用纸浆中的整数变量作为二进制

Question

我有许多整数变量 x1,x2,x3... 的优化问题，我对它们设置了许多约束，一切都很好。但现在我有涉及将它们视为二进制文件的表达式的约束。例如：

(如果 x1 > 0 则 1 否则 0)*someconst_1 + (如果 x2 > 0 则 1 否则 0)*someconst_2 >= 0

在纸浆中是否有任何替代方法可以在不声明许多二进制变量的情况下对该约束进行编码 - 每个整数变量一个？

Answer 1

根据给定的信息，没有捷径可走。因为每一个都将依赖于整数变量。但是，如果这些在方程级别，析取和合取范式对您可能有用。