混合整数計画：変数

Question

含むif文で制約定義私はPyomoを使用して最適化を実行しようとしていますが、私はこのような問題のための制約を定義するのに苦労しています：

if Variable 1 > Parameter 
    Variable 2 = Variable 1 - Parameter 
else skip constraint (?) 

if Parameter > Variable 1 
    Variable 3 = Variable 4 -(Parameter - Variable 1) 
else skip constraint (?) 

は何とかこの仕事をしていますか？ スキップ制約について：それが必要なのかどうかはわかりません。

基本的には、変数とパラメータの関係を表現したいだけです。

私はここで（Mixed integer programming: variable assignment per condition (if then else)）と似たようなものを見ましたが、私の問題に調整することはできません。

ありがとうございます！

Answer 1

私はモデルの残りの部分についてはほとんど分かっていないので、私の答えは多分過労です。

x1>p => x2=x1-pは、次のように表すことができる。ここ

y1=x1-p 
-d*M <= y1 <= (1-d)*M 
y1-d*M <= x2 <= y1+d*M 
d in {0,1} 

M大きな定数（我々はこれらのビッグMのための良好な値を見つける必要があるでしょう）です。他の条件と同様です。

ほとんどの場合、これを単純化するためにモデルの残りの部分についてもっと多くの知識を使用することができます（多くの場合）。実際には私の一般的な定式化を使用しません。