Lösen Sie multivariable Gleichung mit Einschränkungen - Choco - Java, Gleichung lösen, Choco

Ich möchte eine nichtlineare multivariable Gleichung mit diskreten Werten wie diesem lösen:

x*y + z + t - 10 = 0

mit Einschränkungen:

10 < x < 100

etc..

Ich versuche es mit der Choco-Bibliothek zu machen, aber ich bin ein bisschen verloren. Ich habe diesen Code gefunden:

    // 1. Create a Solver
Solver solver = new Solver("my first problem");
// 2. Create variables through the variable factory
IntVar x = VariableFactory.bounded("X", 0, 5, solver);
IntVar y = VariableFactory.bounded("Y", 0, 5, solver);
// 3. Create and post constraints by using constraint factories
solver.post(IntConstraintFactory.arithm(x, "+", y, "<", 5));
// 4. Define the search strategy
solver.set(IntStrategyFactory.lexico_LB(x, y));
// 5. Launch the resolution process
solver.findSolution();
//6. Print search statistics
Chatterbox.printStatistics(solver);

aber ich verstehe nicht, wo ich meine Gleichung platziere.

Antworten:

1 für die Antwort № 1

Ja, genauer gesagt, Sie sollten Ihre Gleichungen in mehrere Bedingungen aufteilen:

10 < x < 100

wird

solver.post(ICF.arithm(x,">",10));
solver.post(ICF.arithm(x,"<",100));

und

x*y + z + t - 10 = 0

wird

// x*y = a
IntVar a = VF.bounded("x*y",-25,25,solver);
solver.post(ICF.times(x,y,a);
// a+z+t=10
IntVar cst = VF.fixed(10,solver);
solver.post(ICF.sum(new IntVar[]{a,z,t},cst));

Beste,

Kontaktieren Sie uns für weitere Unterstützung zu Choco Solver: www.cosling.com

---

2 für die Antwort № 2

Ich habe diese Bibliothek vorher noch nicht benutzt, aber vielleicht sollten Sie Ihre Gleichung einfach als Einschränkung behandeln?

---