Choco Solver - 런타임이 극히 오래 걸리는 경우 가장 근접한 솔루션을 얻으려고합니까 (대부분의 제약 조건을 충족합니까)?

Question

Choco Solver에서 솔루션을 찾는 데 시간이 오래 걸릴 수있는 경우 가장 가까운 솔루션 (지금까지 대부분의 제약 조건을 충족하지만 모든 제약 조건을 충족하지 못할 수있는 솔루션)을 어떻게 얻습니까?

예를 들어, 솔루션을 찾기 위해 Model.getSolver(). solve()를 실행하는 중이고 솔루션을 찾을 수 없음에도 불구하고 충분히 길게 잡았다 고 판단한 경우 가장 가까운 솔루션을 어떻게 출력 할 수 있습니까? 지금까지?

Answer 1

처음에는 질문을 잘 읽지 못했던 것 같습니다.

하드 제한을 소프트 제약 으로 바꿀 수 있습니다. 이는 만족 문제를 최적화 문제로 바꾸는 것을 의미합니다. 제약 조건 수정을 사용할 수 있습니다.