googles OR ツール ライブラリでは、「元の」CP ソルバー (ここで説明: https://developers.google.com/optimization/cp/original_cp_solver ) を使用して再シードできます.ReSeed()。ただし、新しいバージョンの CP-SAT ではできません。
私の推測では、CP-SAT は問題のすべてのオプションを徹底的に試し、実行可能なものから最大または最小 (最適化の目標に応じて) を選択します。それらをすべて試行するため、シードは必要ありません。したがって、このオプションは利用できません。
この理解は正しいでしょうか？そうである場合、元のソルバーにシードがあるのはなぜですか? 私が正しくない場合、.ReSeed()新しい CpSolver の欠如は見落としですか?