constraint-programming - Choco Solver ICF 约束定义 IntVar 数组在限制范围内的标准偏差

Question

说，我有一个 IntVar 数组 int n = 10; IntVar[] x = VariableFactory.boundedArray("x", n, 0, 100, 求解器);

我需要定义一个约束，限制这个数组的标准偏差（可以是带小数点的数字）小于预定义的实数，比如 3.45。

Answer 1

偏差约束（尚未）在 choco 中实现。如果您愿意，我的公司可以实施它并将其添加到库中。联系我们以获得商业报价 ( https://www.cosling.com/#contact )。

否则，您可以将偏差编码为连续约束（如本例中https://github.com/chocoteam/choco-solver/blob/master/choco-samples/src/main/java/org/chocosolver/samples/ real/SmallSantaClaude.java），但它需要安装 Ibex 求解器和 jni 桥（http://www.ibex-lib.org/doc/java-install.html）。

最好的，

让-纪尧姆·法赫斯 https://www.cosling.com/