Choco Solver ICF約束來定義數組中的最小和最大變量之間的距離

Question

我有一個Choco求解器IntVar變量的數組，比如X1，X2，...，Xn。我需要定義一個強制規則的約束 - 最小和最大變量之間的距離（絕對差）值應該小於一個固定值，比如100，即| max（X1，... Xn） - min（X1， ..，XN）| < 100。

有人可以幫忙嗎？

Answer 1

您有IntConstraintFactory.distance()方法可以做到這一點。見docs。

這裏是實際的代碼，做你的要求：

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."); 
}