問題タブ [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.

42 問題
Newest
Active
Bountied
318
Unanswered
0 投票する
1 に答える
59 参照

python - OR-tools CP-SAT ソルバーは、x.Min() や x.Max() などの「反射」メソッドをサポートしていますか?

古い (2010 年から) OR ツール CP ソルバー モデルを CP-SAT ソルバー (Python3) に移植しています。これらのシステムにはかなりの違いがありますが、ほとんどは CP-SAT ソルバーに簡単に移植できます。

ただし、CP-SAT ソルバーのドキュメントで見つけられなかったものの 1 つは、決定変数の下限/上限の取得など、古い CP ソルバーがサポートする「リフレクション」メソッドです。例えば

次に、これらの変数の下限/上限を使用して、他の制約を実装できます。(これは、およびメソッドcumulativeを使用して制約を実装する CP ソルバーです: http://hakank.org/or_tools/furniture_moving.py )MinMax

CP-SAT ソルバーは、これらの種類の反射法をサポートしていますか?


12345678910