Choco Çözücü

Question

dizisindeki min ve maksimum değişken arasındaki mesafeyi tanımlamak için ICF kısıtlaması Bir dizi Choco çözücü IntVar değişkenine sahip olduğumu söyleyebilirim, X1, X2, ..., Xn. Kuralı zorlayan bir kısıtlama tanımlamalıyım - min ve maks değişken arasındaki mesafe (mutlak fark) değeri sabit bir değerinden daha az olmalıdır, yani, 100 yani | max (X1, .. Xn) - min (X1, .., Xn) | < 100.

Birisi yardımcı olabilir mi?

Answer 1

Bunu tam olarak yapmak için IntConstraintFactory.distance() yöntemine sahipsiniz. Bakınız docs.

Ve burada ne soran yapar gerçek kod:

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