javaconstraint-programmingchoco

Choco Solver ICF constraint to define the distance between min and max variable in an array


I am having an array of Choco solver IntVar variables, say, X1, X2,...,Xn. I need to define a constraint which enforces the rule - the distance( absolute difference) value between the min and max variable should be less than a fixed value, say, 100 i.e. |max(X1,..Xn) - min(X1,..,Xn)| < 100 .

Can someone help?


Solution

  • You have the IntConstraintFactory.distance() method to do that precisely. See docs.

    And here is the actual code that does what you are asking:

    Solver solver = new Solver();
    
    int n = 10;
    IntVar[] x = VariableFactory.boundedArray("x", n, 0, 500, solver);
    
    IntVar min = VariableFactory.bounded("min", 0, 500, solver);
    IntVar max = VariableFactory.bounded("max", 0, 500, solver);
    
    solver.post(IntConstraintFactory.minimum(min, x));
    solver.post(IntConstraintFactory.maximum(max, x));
    
    solver.post(IntConstraintFactory.distance(min, max, "<", 100));
    
    if (solver.findSolution()) {
        int solutions = 5;
        int nSol = 0;
        do {
            System.out.print("x: ");
            for (int i = 0; i < n; i++)
                System.out.print(x[i].getValue() + " ");
            System.out.println("\nmin = " + min.getValue() + ", max = " + max.getValue() + ", |min - max| = " + Math.abs(min.getValue() - max.getValue()) + "\n");
    
            nSol++;
    
            if (solutions > 0 && nSol >= solutions)
                break;
        } while (solver.nextSolution());
    
        System.out.println(nSol + " solutions found.");
    } else {
        System.out.println("No solution found.");
    }