問題タブ [cp-sat-solver]
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.
python - CP-SAT ソルバーのシード
googles OR ツール ライブラリでは、「元の」CP ソルバー (ここで説明: https://developers.google.com/optimization/cp/original_cp_solver ) を使用して再シードできます.ReSeed()。ただし、新しいバージョンの CP-SAT ではできません。
私の推測では、CP-SAT は問題のすべてのオプションを徹底的に試し、実行可能なものから最大または最小 (最適化の目標に応じて) を選択します。それらをすべて試行するため、シードは必要ありません。したがって、このオプションは利用できません。
この理解は正しいでしょうか？そうである場合、元のソルバーにシードがあるのはなぜですか? 私が正しくない場合、.ReSeed()新しい CpSolver の欠如は見落としですか?
or-tools - CSP および VRP 用の Google の OR-Tools モジュールはどのソルバーを使用しますか?
私は現在 googles or-tools を評価していますが、それ自体が実際にはソルバーではなく、主に他のソルバーへのインターフェースであることに気付きました。私が知りたいのは、このフレームワークが制約とルーティングの問題に使用するソルバーです。
私はすでにhttps://developers.google.com/optimization/を徹底的に調べましたが、それしか見つかりませんでした
- 線形最適化には Google の「社内オープンソース GLOP」を使用
- ネットワーク フローの最適化には、独自のソルバーが使用されているようです (「OR-Tools は、グラフ ライブラリでネットワーク フローの問題に対して複数のソルバーを提供しています。」)
- 混合整数プログラミングの場合、オープンソース プログラム「COIN OR branch&cut」がデフォルトで使用されます (ただし、SCIP、GLPK、Gurobi は統合できます)。
しかし、CP & VRP 情報/ガイド サイトでは、これらの問題にどのソルバーが使用されているかについての指示はありません...
CSP / VRP にどのソルバーが使用されているか知っている人はいますか?