我有三个变量:A, B, c。
我想写一组线性方程使得
如果A,B,C中至少有2个为1,则X = 1 当A,B,C中只有一个是1时,X= 0
X = 0
A,B和C是二进制(0,1)。
请给出一个线性方程。
谢谢。
实现
A+B+C ≥ 2 => X=1
A+B+C ≤ 1 => X=0
我们可以简单地写:
2X ≤ A+B+C ≤ 2X+1
A,B,C,X ∈ {0,1}
在实践中,你可能不得不将三明治方程表述为两个不等式。
X >= A + B - 1
X >= B + C - 1
X >= A + C - 1
X <= A + B
X <= B + C
X <= A + C
正如评论中提到的,你没有定义A=B=C=0的结果,但在这种情况下X ->