[논문 리뷰] Cardinal Optimizer (COPT) User Guide

Dongdong Ge, Qi Huangfu외 3명|arXiv (Cornell University)|2022. 08. 30.

Topology Optimization in Engineering인용 수 8

한 줄 요약

이 사용자 가이드는 선형, 혼합정수, 이차, 그리고 제2차 원판 프로그래밍을 지원하는 고성능 최적화 솔버인 Cardinal Optimizer(COPT)에 대해 상세히 기술합니다. C, C++, C#, Java, Python, AMPL, Pyomo, PuLP, CVXPY 등 다양한 인터페이스를 통해 COPT를 설치, 라이선스 부여, 사용하는 데 필요한 포괄적인 문서를 제공하며, quicksum 및 tupledict와 같은 도우미 함수를 통한 효율적인 모델링과 MIP 스타트, 솔루션 풀, 파rameter 튜닝과 같은 고급 기능에 중점을 두고 있습니다.

ABSTRACT

Cardinal Optimizer is a high-performance mathematical programming solver for efficiently solving largescale optimization problem. This documentation provides basic introduction to the Cardinal Optimizer.

연구 동기 및 목표

• 연구자 및 실무자들이 최적화 모델을 구현할 수 있도록 Cardinal Optimizer(COPT) 솔버에 대한 완전하고 표준화된 사용자 가이드를 제공하는 것.
• COPT를 Python, C++, C#, Java 및 AMPL, Pyomo 등의 모델링 언어를 포함한 다양한 프로그래밍 환경에 원활하게 통합할 수 있도록 하는 것.
• 효율적인 표현식 구성과 다중 스레딩 계산을 포함한 고성능 모델링을 위한 최적의 실천 방법을 제공하는 것.
• MIP 스타트, 솔루션 풀, 파라미터 튜닝과 같은 고급 기능을 문서화하여 솔버 성능을 향상시키는 것.
• Windows, Linux, macOS 시스템 간의 다중 플랫폼 호환성과 강력한 오류 처리 기능을 확보하는 것.

제안 방법

• COPT는 핵심 인터페이스로 C API를 제공하며, C, C++, C#, Java, Python 등 언어별 래퍼를 통해 플랫폼 간 상호운용성을 확보합니다.
• Python 인터페이스는 표현식 구성과 변수 관리를 간소화하기 위해 quicksum, psdquicksum, tupledict, tuplelist와 같은 도우미 클래스를 사용합니다.
• 객체지향 추상화를 통해 모델링이 간편해지며, 환경, 모델, 변수, 제약조건, 목적함수는 메서드 호출을 통해 생성 및 수정됩니다.
• 문제 교환 및 지속성 저장을 위해 MPS, LP, SDPA, CBF, 이진형식, 이진 블롭 등 다양한 입력/출력 형식을 지원합니다.
• 고급 기능으로는 MIP 스타트 로딩, 솔루션 풀 관리, 자동 파라미터 최적화 도구인 COPT Tuner가 포함되어 있습니다.
• 라이선스는 로컬 또는 플로팅 라이선스 방식으로 관리되며, 서버 및 클라이언트 설정을 위한 전용 도구를 제공하고, Linux 및 macOS에서 시스템 서비스로 실행하는 것까지 지원합니다.

실험 결과

연구 질문

• RQ1 다양한 프로그래밍 환경과 모델링 프레임워크에 고성능 최적화 솔버를 효과적으로 통합하는 방법은 무엇인가요?
• RQ2 Python 및 기타 언어에서 대규모 최적화 모델을 구성할 때 가장 효율적인 프로그래밍 패턴과 데이터 추상화는 무엇인가요?
• RQ3 COPT의 파라미터 튜닝 및 MIP 스타트 기능이 해의 품질과 수렴 속도에 어떻게 기여합니까?
• RQ4 생산 환경에서 다중 플랫폼 호환성과 강력한 오류 처리를 보장하기 위한 메커니즘은 무엇인가요?
• RQ5 2차 원판 및 양의 정부호 행렬 제약 조건과 같은 고급 모델링 기능을 효율적으로 표현하고 해결하는 방법은 무엇인가요?

주요 결과

• COPT는 선형, 혼합정수, 이차, 제2차 원판, 그리고 준정부호 프로그래밍을 포함한 다양한 최적화 문제를 고성능으로 지원하며, 모든 유형에서 뛰어난 성능을 발휘합니다.
• Python 인터페이스는 quicksum 및 tupledict와 같은 도우미 함수를 통해 코드 복잡도를 감소시키고 실행 속도를 향상시켜 효율적인 모델링을 실현합니다.
• COPT의 MIP 스타트 기능을 통해 사용자는 초기 해를 제공할 수 있으며, 타당한 해가 사전에 알려져 있을 경우 해를 구하는 데 소요되는 시간을 크게 줄일 수 있습니다.
• COPT Tuner를 통해 자동 파라미터 튜닝이 가능하며, 일부 테스트 케이스에서는 솔버 성능을 수 개의 지수 수준으로 향상시킬 수 있습니다.
• MPS, LP, 이진 형식과 같은 표준 형식을 통해 모델 및 해의 지속적 저장과 교환을 지원하여 다른 도구와의 상호운용성을 확보합니다.
• COPT는 이중 Farkas 증거, 원추 방향, 기저 상태 등 상세한 해 정보를 제공하여 고급 분석 및 비가능성 진단을 지원합니다.