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

Question

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

（如果x1> 0则1否则0）* someconst_1 +（如果x2> 0则1否则0）* someconst_2> = 0

在纸浆中是否有其他选择可以在不声明许多二进制变量的情况下对这种约束进行编码-每个整数变量一个？

Answer 1

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