Ограничение Choco Solver ICF для определения стандартного отклонения массива IntVar в пределах ограничения

Скажем, у меня есть массив IntVar int n = 10; IntVar[] x = VariableFactory.boundedArray("x", n, 0, 100, решатель);

Мне нужно определить ограничение, которое ограничивает стандартное отклонение (может быть числом с десятичной точкой) этого массива меньше предопределенного действительного числа, скажем, 3,45.


person Nitu Chiring    schedule 20.03.2016    source источник


Ответы (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/

person Jean-Guillaume Fages    schedule 21.04.2016