[논문 리뷰] SOSOPT: A Toolbox for Polynomial Optimization

Peter Seiler|arXiv (Cornell University)|2013. 08. 08.

Advanced Optimization Algorithms Research참고 문헌 22인용 수 40

한 줄 요약

SOSOPT는 사용자가 다항식 최적화 문제를 형식화하고 해결할 수 있도록 해주는 MATLAB 툴박스입니다. 이는 다항식 최적화 문제를 선형행렬부등식(선형행렬부등식, LMI) 형태로 변환하여, 이를 통해 정수형 프로그래밍 문제로 변환합니다. 이 툴박스는 SeDuMi 및 multipoly 툴박스를 활용하여 다항식 조작과 해 검증을 지원함으로써, SOS 테스트, 타당성 문제, 표준 최적화 문제, 일반화된 SOS 문제를 효율적으로 해결할 수 있습니다.

ABSTRACT

SOSOPT is a Matlab toolbox for formulating and solving Sum-of-Squares (SOS) polynomial optimizations. This document briefly describes the use and functionality of this toolbox. Section 1 introduces the problem formulations for SOS tests, SOS feasibility problems, SOS optimizations, and generalized SOS problems. Section 2 reviews the SOSOPT toolbox for solving these optimizations. This section includes information on toolbox installation, formulating constraints, solving SOS optimizations, and setting optimization options. Finally, Section 3 briefly reviews the connections between SOS optimizations and semidefinite programs (SDPs). It is the connection to SDPs that enables SOS optimizations to be solved in an efficient manner

연구 동기 및 목표

• 고급 환경인 MATLAB에서 다항식 최적화 문제를 형식화하고 해결할 수 있도록 사용자 友好的 MATLAB 툴박스를 제공하는 것.
• SOS 제약 조건을 자동으로 정수형 프로그래밍(SDP) 형태로 변환함으로써 다항식 최적화와 정수형 프로그래밍을 연결하는 것.
• SOS 테스트, 타당성 문제, 표준 SOS 최적화, 일반화된 SOS 프로그램을 포함한 다양한 최적화 유형을 지원하는 것.
• Gram 행렬 분해와 제약 조건 이행 여부를 포함한 구성 가능한 타당성 검사 기능을 통해 해의 신뢰성을 확보하는 것.
• SeDuMi, SDPT3, CSDP와 같은 기존 정수형 프로그래밍 솔버와의 인터페이스를 통해 효율적인 계산을 가능하게 하는 것.

제안 방법

• 다변수 다항식을 표현하고 제약 조건을 정의하기 위해 multipoly 툴박스를 사용합니다.
• 관계 연산자(<=, >=, ==)를 오버로드하여 SOS 및 등식 제약 조건을 생성하고, 제약 조건 관리를 위한 polyconstr 객체를 반환합니다.
• Gram 행렬 분해를 통해 SOS 제약 조건을 선형행렬부등식(LMI) 제약 조건으로 변환함으로써, SOS 타당성 문제를 SDP 형태로 변환합니다.
• 각 SOS 제약 조건을 결합된 결정 변수와 행렬 요소에 대한 선형 등식 제약 조건을 갖는 양의 준정적 행렬로 표현합니다.
• sosoptions 객체를 통해 원시(이미지) 및 쌍대(핵심) SDP 공식화를 지원함으로써 솔버의 유연성을 확보합니다.
• 일반화된 SOS 문제의 경우 이분형 항이 결정 변수에 포함되어 있어 비볼록 구조를 띠지만, 스칼라 변수 t에 대한 이분법과 타당성 검사를 통해 효율적으로 해결할 수 있습니다.

실험 결과

연구 질문

• RQ1 어떻게 하면 MATLAB과 같은 고수준 환경에서 합의 제곱(SOS) 다항식 최적화 문제를 효율적으로 형식화하고 해결할 수 있는가?
• RQ2 SOS 제약 조건을 등가의 정수형 프로그래밍(SDP) 형태로 변환할 때 수치 정확도를 유지하는 가장 효과적인 방법은 무엇인가?
• RQ3 이차형 항이 결정 변수에 포함되어 있어 비볼록 구조를 띠는 일반화된 SOS 문제를 어떻게 효율적으로 해결할 수 있는가?
• RQ4 특히 수치 오차가 존재할 경우, SOS 해의 타당성을 검증하는 데 가장 신뢰할 수 있는 방법은 무엇인가?
• RQ5 다양한 최적화 유형(테스트, 타당성, 최적화, 일반화)을 통합된 확장 가능한 프레임워크 내에서 지원할 수 있도록 툴박스를 설계하는 방법은 무엇인가?

주요 결과

• SOSOPT는 SOS 다항식 최적화 문제를 등가의 정수형 프로그래밍(SDP) 문제로 성공적으로 변환하여, 표준 SDP 솔버를 통해 효율적으로 해결할 수 있도록 합니다.
• 이 툴박스는 네 가지 주요 문제 유형을 지원합니다: SOS 테스트, SOS 타당성 문제, 표준 SOS 최적화, 일반화된 SOS 최적화이며, 일관된 인터페이스를 통해 제공됩니다.
• 일반화된 SOS 문제는 결정 변수에 대해 이차형이지만, 쌍선형 구조를 띠며, 스칼라 변수 t에 대한 이분법을 통해 효율적으로 해결할 수 있습니다.
• 타당성 검사는 구성 가능합니다: 'fast' 옵션은 솔버가 제공하는 타당성 정보를 사용하고, 'full' 옵션은 허용 오차 내에서 Gram 행렬의 양의 정적 성질과 계수 일치 여부를 검증합니다.
• 이 툴박스는 SeDuMi, SDPT3, CSDP를 대상으로 테스트되었으며, SeDuMi이 가장 광범위하게 검증된 솔버입니다.
• SDP 출력에서의 해 재구성 과정은 최적의 결정 변수와 Gram 행렬 분해를 복원함으로써, 다항식 형태에서의 정확성과 해석 가능성 보장을 합니다.