Ограничение 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/).

В противном случае вы можете закодировать отклонение как непрерывное ограничение (как в этом примере https://github.com/chocoteam/choco-solver/blob/master/choco-samples/src/main/java/org/chocosolver/samples/real/SmallSantaClaude.java), но для этого требуется установить Ibex Solver с мостом jni ( http://www.ibex-lib.org/doc/java-install.html).

Лучший,

Жан-Гийом Фаджес https://www.cosling.com/