スピップ 制約整数プログラムを解く
今すぐダウンロード

スピップ ランキングとまとめ

スピップ タグ

整数 ソルバー フレームワーク 解決する リスト制約 SharePointの制約 制約 ピッチの制約 整数を説明してください 整数コンバータ 整数シーケンス 整数ライブラリ 整数演算 FIFO整数スタック 制約プログラミング 制約ライブラリ 整数番号 整数計算 整数を編集します ユニバーサル整数 テキストに変換する整数 整数ベクトル オブジェクト制約言語 制約ソルバー 整数作成者 整数プログラミングソルバー 整数計画法フレームワーク 制約整数 整数プログラミング 整数線形プログラミング 整数線形 整数精度 任意の精密整数 IPから整数へ IPへの整数 整数計算機 符号なし整数を扱います 符号なし整数 整数にchar 制約管理ソフトウェア

スピップ 説明

SCIPは現在、最速の非市販の混合整数プログラミングソルバーの1つです。それはまた、制約整数プログラミングおよび分岐カットアンド価格のためのフレームワークでもあります。それは解決策プロセスの全制御およびソルバーの内部への詳細情報のアクセスを可能にする。 SCIP A整数プログラミングの問題の解決方法をどのように役立つかを確認してください。 主な特徴： それは分岐、切断、価格、そして伝播のためのフレームワークです。 多くのユーザープラグインを通して非常に柔軟性があります。 任意の制約を実装するための制約ハンドラ、 問題変数を動的に作成するための変数価格、 変数のドメインで制約に依存しない伝播を適用するためのドメイン伝搬子 LPリラクゼーションで切断面を適用するためのセパレータをカットする LPリラクゼーションに加えて、リラクゼーションと二重範囲を提供するリラクセレーター、 Primal Heuristicsのプロービングとダイビングのための特定のサポートを持つ実現可能な解決策を検索する、 検索をガイドするノードセレクタ 問題をサブ問題に分割する分岐規則 解決した問題を簡単にするためのプレスレータ、 異なる入力ファイル形式を解析するためのファイル読み取り者、 特定のイベントについて知らされるイベントハンドラ、例えばノードが解決された後、特定の変数がその境界を変更するか、または新しいプライマルソリューションが見つかりました。 ソルバーの出力に追加の列を作成するためのハンドラを表示します。 付属のコマンドシェルを拡張するためのダイアログハンドラ。 すべての既存のユニットはプラグインとして実装されており、ほとんどの追加のユーザー拡張のニーズを満たすのに十分な柔軟性があります。 ダイナミックカットプール管理が含まれています。 ユーザは、前処理とアクティブな問題変数を式で混在させることができます。それらは自動的に対応するアクティブな問題変数に変換されます。 ノードごとに任意に多くの子供が作成でき、異なる子供たちは任意に定義できます。 それは開いたLPソルバーのサポートを開いています。現在サポートされています。 cplex Gurobi Xpress-MP モセク SOPLEX QSOPT CLP LPリラクゼーションは、単一のノードごとに解決される必要はありません（完全にオフにすることもでき、純粋な制約プログラミングソルバーを模倣します）。 追加のリラクゼーション（例えば、半整理またはラグランジュリラクゼーション）を含めることができ、並行してまたはインターリーブされている。 紛争分析は、実行不可能なサブ問題から学ぶために適用できます。 動的メモリ管理デバッグモードでの自動メモリリーク検出を伴うオペレーションシステムコール数を減らします。

スピップ 関連ソフトウェア