Choco Solver - Wie erhalten Sie die beste Lösung (erfüllt die meisten Einschränkungen) im Falle extrem langer Laufzeit?

Question

In Choco Solver, wie erhalten Sie die nächste Lösung (eine Lösung, die die meisten Einschränkungen erfüllt, aber möglicherweise nicht alle Einschränkungen erfüllen) in dem Fall, in dem das Finden einer Lösung zu lange dauern kann?

Zum Beispiel, wenn ich mitten in der Ausführung Model.getSolver(). Solve() für eine Lösung bin, und ich habe entschieden, dass es lange genug trotz Lösung keine Lösung genommen wird, wie kann ich die nächste Lösung ausgeben bisher?

Answer 1

Es scheint, dass ich die Frage beim ersten Mal nicht gut gelesen habe.

Sie können Ihr Modell so ändern, dass harte Integritätsbedingungen in weiche Integritätsbedingungen umgewandelt werden was bedeutet, dass Sie Ihr Zufriedenheitsproblem in ein Optimierungsproblem umwandeln Sie können die Einschränkung für die Reformation verwenden.