次の 2 つの if-then 制約があります
1.- IF x1+y2-n >= 0 THEN m2=0, ELSE m2=1
ここで、x1、x2 は離散、n は定数、m2 はバイナリ変数です。
- IF 2x1 - y1 >= 0 THEN m1=0、ELSE m1=1
ここで、m1 はバイナリ変数です。
この拘束を通常の拘束に変換する方法。
次の 2 つの if-then 制約があります
1.- IF x1+y2-n >= 0 THEN m2=0, ELSE m2=1
ここで、x1、x2 は離散、n は定数、m2 はバイナリ変数です。
ここで、m1 はバイナリ変数です。
この拘束を通常の拘束に変換する方法。