我有四个变量x1，x2，x3，x4，它取二进制值，即（0,1）和4组为 - 。
s1 = (x1,x2)
s2 = (x1,x3)
s3 = (x4,x2)
s4 = (x4,x3)
我想选择最小化的变量数量，以便选择其中一个变量。我使用整数编程来建模目标函数为x1+x2+x3+x4的位置和约束为。
x1*x2 + x1*x3 + x4*x2 + x4*x3 >=1
我希望将此约束线性化或简化它，以便易于表示和解决。 进行转换时会添加许多我不想要的额外变量。