z1
2
Z2 +2<= s <= 2 * z1
Y= Z1 *(1- Z2) <= s s < 2肯定地,z1 = 1表示S> 0,而Z2 = 0表示S
,但是,这使得非线性是2个变量的产物。
<2. Hence y=1 means s=1, and y=0 means s=0 or 2.
您可以作为二进制变量引入
y
,
s0
s1
。 基本上,
约束:
s