COIN-OR：CBCが解決した最適化プロセスにおいて、有界の正の整数変数はどのような値を取るのですか？

Question

私はPuLPとCBCでMILPの問題を解決しようとしています。

残りの問題を除いて、私は正の整数変数のセットに問題があります。私はリラクゼーションの制約があります。つまり、正の整数変数の変数のいくつかは、制約のため一定の値に固定されません。

正の整数の制約のセットから言い換えると、いくつかは制約のために値を取得しますが、この同じ制約が緩和されると（大きなM緩和）、残りの変数は一定の値。

値を与えるのはCBCの責任です。それらのほとんどは0になりますが、そのうちのいくつかは1440という変数の上限の値を取得します。それはなぜですか？ CBCはこれらの変数にこれらの値を与えていますか？ソーラーが従うというルールはありますか？

私が情報を追加したり言い換えることができるようにわかっているものが分かっていない場合は、私はこれに慣れています。ありがとうございました。

Answer 1

CBCソルバーは、通常、ツリーを検索する際に、LPリラクゼーションのシーケンスを解決する「標準的な」B検索を行います。シンプレックス法の1つを使ってLPを解く場合、一般的に、そのLPの検索プロセスは実行可能な空間の表面を歩いているので、それ以外の制約の少ない変数では、上限値または下限値。