Choco Solver制限内のIntVar配列の標準偏差を定義するICF制約

Question

IntVar配列を持っています。 int n = 10; IntVar [] x = VariableFactory.boundedArray（ "x"、n、0、100、ソルバー）;

この配列の標準偏差（小数点を含む数字でもよい）を、あらかじめ定義された実数、例えば3.45未満に制限する制約を定義する必要があります。

Answer 1

偏差制約はチョコではまだ実装されていません。私の会社はそれを実装し、望むならあなたのためにライブラリに追加することができます。商用サービス（https://www.cosling.com/#contact）を取得するには、お問い合わせください。

そうでなければ、（この例https://github.com/chocoteam/choco-solver/blob/master/choco-samples/src/main/java/org/chocosolver/samples/real/SmallSantaClaude.javaのように）連続的な制約として偏差をコードすることができるが、それは、JNIブリッジ（http://www.ibex-lib.org/doc/java-install.html）と、ソルバアイベックスをインストールする必要があります。

ベスト、

ジャン=ギョームFages https://www.cosling.com/