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），但需要使用jni桥（http://www.ibex-lib.org/doc/java-install.html）安装Ibex解算器。

最佳，

Jean-Guillaume Fages https://www.cosling.com/