최초의 자동화 제약 프로그래밍 (CP) 옵티마이저

ILOG CP Optimizer는 ILOG에서 출시된 처세대 CP 엔진 입니다. 최적화 엔진과 제약 확대 엔진의 통합은 수리 최적화에서 불규칙하게 나타나는 문제들을 쉽게 해결할 수 있도록 도와드립니다.

ILOG CP Optimizer는 또한 ILOG OPL-CPLEX Development System에 임베딩된 CP 엔진입니다. 본 제품은 ILOG의 모델링 환경의 개발, 디버깅, 튜닝 기능을 최대한 활용할 수 있도록 해 줍니다. 기존 CP 엔진인 ILOG CP는 ILOG CP Optimizer의 현재 기능으로 해결할 수 없는 복잡한 스케줄링 및 라우팅 문제를 해결할 수 있습니다.

수리 프로그래밍이 모든 문제를 풀 수는 없습니다.

작업 순서결정, 자원 할당, 타임 테이블링과 같은 주요 최적화 문제들은 MP로 풀기에는 너무 불규칙합니다.

MP로 최적화 문제를 풀 수 없는 공통된 이유는 다음과 같습니다.:

• 자연적으로 비선형 제약 또는 선형화 하는 경우 급격하게 제약의 수가 증가하는 제약
• 많은 로컬 옵티마를 포함한 non-convex 솔루션 스페이스
• 낮은 바운더리 내의 고도의 분수 제약완화에 나타난 많은 분리

비록 이러한 문제들은 때때로 MIP solver로 모델링 할 수 있지만, 해의 품질이 낮거나 최적화에 대한 개선이 매우 느립니다.

제약 확장의 효율성

이러한 문제를 해결하기 위해, OR (Optimization Research) 스페셜리스트들은 종종 솔루션 스페이스를 신속하게 찾아가는 특수한 탐색 알고리즘을 개발합니다. 이러한 노력들은 종종 MP 모델이 실행하는 솔루션 보다 더 빠르고 나은 솔루션을 도출하므로써 보상을 받곤 합니다. 그러나 현실에서 그러한 서치 알고리즘은 구축하기도 유지하기도 어렵습니다.

ILOG CP Optimizer는 제약 확장의 내재된 효율성을 활용하며, 수리 공식을 기반으로 솔루션 스페이스를 자동으로 탐색합니다. ILOG CP Optimizer는 개발에 수주 또는 수 개월이 걸리는 탐색 알고리즘을 자동으로 생성합니다.