线性化非线性约束

Question

我遇到的问题可能是：

max 5 x11 + 6 x12 + 2 x21 + 3 x22 st 
st.
x11,x12,x21,x22  binary
x11 + x12 = 1
x21 + x22 = 1
-25 x1 x2 >= 0

我想检查x11和x21都是1。

如何线性化此约束？或者是否可以线性化？

非常感谢。

Answer 1

“我只想检查x11和x21是否为1”。怎么样：

x11 + x21 >= 1

而不是

-25 x1 x2 >= 0