問題タブ [coin-or-cbc]

Windows コマンド ラインで CBC を使用して、混合整数線形計画法の問題を解決しています。これは、妥当な時間内に問題を解決できるため、非常にうまく機能します。

ただし、最適解を形成する変数の値を CBC に出力させる方法がわかりません。

COIN-OR の CBC ソルバーを使用して、いくつかの数値最適化問題を解決しています。PuLP を介して Python で最適化問題を構築しています。

GUROBI や CPLEX などのソルバーがログ ファイルを作成することに気付きましたが、(オプティマイザーの進行状況を画面に出力するのではなく) CBC にログ ファイルを作成させる方法がわかりません。

ログファイルを設定するCBCのオプションを知っている人はいますか? すべての stdout をファイルにリダイレクトしてもうまくいきません。これは、多数の問題を並行して解決していて、それらのログ ファイルを分けておきたいからです。

ソルバーを呼び出す方法の例を次に示します。これはうまく機能し、進行状況を端末に出力します。

これは、ソリューションをどのように構成する必要があると私が考えるかです (ただし、明らかにLogFileNameは有効な CBC オプションではありません)。

これに関するヘルプは大歓迎です。私はこれを理解しようとして、インターネット、ドキュメント、および CBC のインタラクティブ セッションを何時間も調べてきました。

PuLp で解決しようとしている大規模な線形計画法モデルがあります。これまでのところ、dict 変数の各「行」の最小値と最大値を設定しようとしたときに問題が発生したことを除いて、すべてが順調に進んでいます。以下の例では、示されているように、エリアごとの動物の最小数と最大数を設定したいと考えています。

簡単にするために、変数名を「dogs」と「cats」に変更しました

結果は次のとおりです。min_cats問題は、これらの変数のそれぞれにとよりも少なくない値が存在する必要があることですmin_dogs。値を分散するのではなく、猫と犬の 1 つの領域に割り当てました。

行レベルで最小境界と最大境界を割り当てるにはどうすればよいですか?

PuLP を使用して FLP を解決しようとしています。変数値に論理制約を追加したい。

LpVariable f があり、 C は LpVariables のリストです。問題の制約に f を追加したいのですが、これは c[i] の値に依存します。

以下はコードスニペットです >

最初の制約を追加:

ここで、次の制約を追加します。

ここでの問題は、LpVariables c[i] が初期化されNoneているため、計算中にエラーがスローされることlpSum()です。

私がはっきりしていることを願っています。このクエリを理解するのに助けが必要かどうか教えてください。ただし、与えられたコード スニペットで十分だと思います。