問題タブ [mixed-integer-programming]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
constraints - MIP/LP - 「b=1 の場合 x=y」制約のモデル化
現在、Python の PuLP ライブラリでモデル化されている混合整数計画法 (MIP) の問題があります。ただし、私の問題は非常に一般的なものであり、ここでは構文は役割を果たしません。
次のように機能する制約をモデルに追加したいと思います。
変数は、値 0 または 1をb取るバイナリ変数です。現在の在庫レベルを表す変数です。連続変数として、整数変数として。xyxy
制約は次の形式でのみモデル化できることを知っています。
上記のif b then x equals y制約をモデル化する方法がいくつかあることを願っています。
これまでの私のアプローチは次のとおりです。
2 つのバイナリ変数 x と y の場合、次のことが当てはまります。
解決策には、大きな M 定数、おそらくさらにヘルパー変数が含まれていると思います。
ちょっとした背景: 在庫レベルが連続している在庫問題をモデル化したいと考えています。ただし、順序の決定は整数でのみ可能であるべきです。したがって、在庫レベルを浮動小数点数でモデル化する必要があります。順序の時点 (b==1) ただし、整数です。
これが直接コーディングに関連するというよりもむしろ理論的なものであっても、誰かがここで助けてくれることを願っています. 役立つ可能性のあるさらなるリソースへのヒントも高く評価されています。