Angenommen, ich habe ein IntVar-Array int n = 10; IntVar [] x = VariableFactory.boundedArray ("x", n, 0, 100, Solver);Choco Solver ICF-Einschränkung, um die Standardabweichung eines IntVar-Arrays innerhalb der Grenze zu definieren
Ich muss eine Einschränkung definieren, die die Standardabweichung (kann eine Zahl mit Dezimalpunkten sein) dieses Arrays weniger als eine vordefinierte reelle Zahl, sagen wir 3,45.
Die Abweichungsbedingung ist in choco (noch) nicht implementiert. Meine Firma kann es implementieren und es für Sie in die Bibliothek aufnehmen, wenn Sie möchten. Kontaktieren Sie uns, um ein kommerzielles Angebot zu erhalten (https://www.cosling.com/#contact).
Andernfalls können Sie die Abweichung als eine kontinuierliche Einschränkung (wie in diesem Beispiel https://github.com/chocoteam/choco-solver/blob/master/choco-samples/src/main/java/org/chocosolver/samples/real/SmallSantaClaude.java) kodieren, aber es erfordert Ibex-Solver, mit der jni Brücke (http://www.ibex-lib.org/doc/java-install.html) zu installieren.
Best,
Jean-Guillaume Fages https://www.cosling.com/