問題タブ [scip]
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.
windows - Scip と mingw および msys の統合
SCIP を MinGW および Msys と統合するにはどうすればよいですか?
linear-programming - 予期しないVARSYM、ZIMPLプログラム
ZIMPLプログラムで予期しないVARSYMエラーが発生しました。問題が何であるかわかりません。ここに、コードの一部があります。
これが変数です
いくつかのポイントの上限は3、2、および1で、28まで上がります。
これがエラーを起こしている方程式です
エラーは、セミコロンの最後にあることを示しています
scip - SCIPは私の入力を読み取ることができません
SCIPソルバー（ http://scip.zib.de/ ）を使用しようとしています。私の入力（1.lp）はlpsolveフォーマットです。次のようになります。
私は次のようにSCIPを実行します。
ただし、SCIPは次の出力を生成します。
それは空白を窒息させていることを意味していると思います...私は何が間違っているのですか？
編集：
詳細については私の答えを参照してください。CPLEX形式で入力を行った後、すべてが正常に機能します。
scip - SCIPで2つの変数の乗算を含む制約を指定する最良の方法は何ですか?
C++ コードで SCIP Optimization Suite 3.0.2 を使用してスケジューラを実装しています。
t_i*p + d*p + t_i <=0
ここt_iで、 は連続変数、pはバイナリ変数、dは定数です。サポートされているすべてのタイプの制約の概要を見つけました: scip 制約と、より線形な制約とそれらの間の結合と分離の階層として問題を何らかの方法で実装しましたが、解決策の検索を困難にする疑いがあります。したがって、特に2つの変数の乗算について、より簡単な方法があるかどうかに興味があります。
scip - SCIP 未修正 LP バインド
LP ソルバーとして cplex 12.6 で SCIP 3.0.2 を使用しています。私のモデルには列の生成が必要です。私はすでに CPLEX に実装しましたが、CPLEX はルート ノードで CG しか実行できないため、SCIP を使用して Branch-and-Price を実行しています。CPLEX では、ヒューリスティック、カット、および前処理/プローブをオフにすることが有益であることが判明しました。SCIP で次のように設定します。
私のパラメーターファイルは次のようになります。
モデルが同じであることを確認するために、CPLEX モデルを SCIP (CG なし) で解決し、SCIP で生成されたモデルと同じ LP バウンドを得ましたが、CPLEX で解決した場合の LP バウンドとは異なります。
SCIP は、私がまだ解除していない「魔法」をまだ使用しているようです。したがって、私の質問は、モデルだけに依存して LP バウンドを取得するために何を非アクティブ化する必要があるかということです。
私はすでに統計出力を見てきましたが、実際には問題の解決に役立つ可能性のあるものがいくつかあります。
- 制約 #EnfoLP は積分に対して 1 をリストします (カットが無効になっているので奇妙に思えますか?)
- 変換された問題は問題ないようです。統計出力は次のように表示されます。
解決済みの問題 : 問題名 : t_ARLP 変数 : 969 (バイナリ 806、整数 0、暗黙的整数 0、連続 163) 制約 : 初期 9311、最大 9311
反復が開始される前に、次の結果が得られます。
LP ソルバー : 基底の行表現は利用できません -- SCIP パラメータ lp/rowrepswitch は効果がありません 変換された問題には 897 の変数 (806 ビン、0 int、0 impl、91 cont) と 9311 制約があります
9311 タイプ < 線形 > の制約
事前解決: 事前解決 (0 ラウンド): 0 削除された変数、0 削除された制約、0 追加された制約、0 強化された境界、0 追加された穴、0 変更された辺、0 変更された係数 0 含意、0 クリーク 事前解決された問題には 897 個の変数があります (806 ビン、0 int、0 impl、91 cont) および 9311 制約
9311 タイプ < 線形 > の制約
前解決時間: 0.00
72 個の列を追加しました: 元の 91 個 + 追加された 72 個 = 合計 163 個。これは大丈夫そうです。
推奨パラメータを追加しました。ドメインの伝播は以前は使用されていなかったようですが、強力な分岐がありました。残念ながら、パラメータに変更はありませんでした。
パラメータを追加することに加えて、代わりに SCIP 3.0.1 を使用しようとしました。これにより、バウンドが 670.194 から 699.203 に改善されましたが、754.348 でバインドされた cplex とはまだかなり異なります。ソルバーが多くの数値パラメーターによって異なることは知っていますが、これらのパラメーターによって引き起こされるには違いが大きすぎると思いますか?