Линеаризовать нелинейное ограничение

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