問題タブ [scip]

私はSCIPを初めて使用し、最近Windows 8でバージョン3.0.2をダウンロードしました。現在、ZIMPLを使用してSCIPソルバーに自分の問題を入力しようとしています。

Windows 8 でさまざまなバージョンの ZIMPL をダウンロードしてみました。クリックして実行すると、すべてのバージョンが自動的に終了します。 .normal.dbg. これら 2 つのバージョンでは、msvcr100d.dll ファイルが見つからないというエラー メッセージが表示されました。問題をググった後、上記のdllファイルをダウンロードし、OS(C:)\Windows\System 32にコピーしました。しかし、0xc000007bに関する別のエラーメッセージが表示されました。「アプリケーションを正しく開始できませんでした (0xc000007b)。[OK] をクリックしてアプリケーションを閉じてください。」[OK] をクリックした後、「Windows は問題の解決策を確認しています...」 その後、「問題が発生したため、プログラムが正常に動作しなくなりました。Windows はプログラムを終了し、解決策がある場合は通知します。」

YouTube でいくつかのチュートリアルを実行しましたが、問題は解決しませんでした。特に ZIMPL と SCIP の経験豊富なユーザーからのヘルプ/コメントに感謝します。前もって感謝します。

INITSOLVE 段階で、元の問題空間の解を読みました。一部のマルチ集計変数は無視されます。他の変数の値が固定されると、それらの値を推測できるので、これで問題ないと思います。ただし、読み取りソリューションの客観的な値は現在オフになっています..これらのマルチ集計変数からの客観的な値が含まれていないため..これには何かありますか?

電話をかける前に問題の LP 緩和を使用したいSCIPsolve()と思います。これを行うための最良/最も簡単な方法を知りたいです。

SCIP_LPI現在、元の問題のデータを入力したい を作成しています。簡単な方法は呼び出すSCIPgetLPI()（そしてすべてをコピーする）ことだと思いましたが、その問題をファイルに書き込むと（それを見るために）、空の問題が発生します。まだ電話していないからだと思いSCIPsolve()ます。最初に電話してみSCIPpresolve()ましたが、問題はまだ空です。

SCIP (3.0.1) ベースのソフトウェアを使用しています。実行する実験がたくさんあります。そのために、SCIP の最大実行時間を単純に強制したいと思います。最適なソリューションをまだ見つけていない場合は、x 秒後に、これまでに見つかった最適なソリューションが出力されます。

現在、バインドされた PID プロセスに目的の時間の後に sigint 割り込みを送信するスクリプトを使用していますが、常に機能しているわけではありません。これをSCIPで適切にコーディングしたいと思います。簡単に聞こえるかもしれませんが、それを行うための適切なオプションが見つかりませんでした。

何か考えはありますか？

よろしくお願いいたします。

http://scip.zib.de/doc/html/TEST.phpの手順に基づいて、SCIP を使用して自動テストを設定することができました。ただし、客観的な値を取得するだけでなく、ソリューション (実行可能な最適なソリューション) をファイルに書き込みたいと考えています。自動テストでそれを行う方法はありますか？

置き換えてcheck.shでハックを行いました

残念ながら、動作していないようです。TEST=mytest テストを作成しようとすると、出力からこの行が観察されます。

対話型シェルを介してソリューションを作成できることはわかっていますが、ソリューションと obj 値の両方を取得するためにテストを自動化しようとしています。どんな助けや説明も大歓迎です！

scip.set というファイルでカスタマイズされた設定を定義し、myscipdir/settings に配置しました。

設定には以下が含まれます

ただし、SCIP はカスタマイズされた設定を読み込まないようです。代わりに、

1. デフォルト設定が使用されます (添付の図を参照)。
2. パラメータ ファイルが /check/results ディレクトリの下に見つかりません。

これを行う正しい方法は何ですか？make test コマンド ラインから時間制限とメモリ制限の両方を設定できますが、より多くのスレッド数を設定する必要もあります。

この図では、SCIP が「ユーザー パラメーター ファイル scip.set が見つかりません - デフォルト パラメーターを使用しています」と述べていることに注意してください。これは誤解を招く可能性があります。scip.set が実際に /settings にない場合、SCIP はファイルが見つからないというエラーを表示して中止します。

背景情報:

線形計画法 (scip/ZIMPL) を使用して最適化問題を解決します

その結果、変数は数学的定式化で下付き文字を持ちます

現在、データベース/インターフェースに mySQL/HeidiSQL を使用しています

現在、変数 (制約) を取得し、それらをテーブル内の個々の列であるインデックスに配置します。

つまり、変数「v」は index01 であり、これは期間を参照し、index02 は中央在庫を参照します。

ただし、現在作成されているインデックス/列は 6 つだけです。6 つの添字 (インデックス) を持つ変数はありませんが、6 つ以上のインデックスを持つ行を持つものもあります。

はい、簡単な修正を行ってインデックスの数を 2 倍にすることはできますが、それは長期的な解決策ではありません

変数ごとに新しい列を作成せずに、zimpl/scip によって出力された添え字を元の意味のある変数名に戻すにはどうすればよいでしょうか?