DC 제약을 갖는 비선형 최적화를 위한 순차 볼록 프로그래밍

초록

본 논문은 차이볼록(DC) 제약을 포함하는 비선형 최적화 문제에 대해 순차 볼록 프로그래밍(SCP) 기법을 적용한 알고리즘을 제시하고, 수렴성을 이론적으로 증명한다. 또한, 부적합한 선형화에 대비해 L1 정확 페널티를 이용한 완화 기법을 도입하여 실험을 통해 알고리즘의 효율성을 검증한다.

상세 분석

논문은 먼저 DC 함수와 DC 제약의 정의를 명확히 하고, 기존의 DC 프로그래밍(DCA, CCCP 등)과 순차 볼록 프로그래밍(SCP)의 공통점을 분석한다. 핵심 아이디어는 비볼록 제약 g(x)=u(x)−v(x)에서 볼록 부분 u(x)와 볼록 부분 v(x)를 분리한 뒤, 현재 반복점 x_k에서 v(x)의 서브그라디언트 행렬 Ξ_k를 계산하고, 이를 이용해 v(x) 를 1차 근사(v(x_k)+Ξ_k(x−x_k)) 로 대체함으로써 전체 제약을 볼록화한다. 이렇게 구성된 서브문제 P(x_k)는 전형적인 볼록 최적화 문제이며, Slater 조건이 만족될 경우 KKT 조건을 통해 전역 최적해를 얻을 수 있다. 알고리즘 1은 (1) 서브그라디언트 계산, (2) 볼록 서브문제 해결, (3) 수렴 판정의 세 단계로 이루어지며, 각 단계는 기존 SCP 프레임워크와 동일하게 구현 가능하다.

수렴성 증명에서는 Clarke의 일반화 미분 및 정상성 조건을 활용하여, 문제(P)가 calmness 제약 자격을 만족할 경우 생성된 시퀀스 {x_k}가 KKT 점으로 수렴함을 보인다. 특히, 강볼록 파라미터 ρ_f>0 를 갖는 함수들에 대해 선형 수렴률을 확보한다는 점이 주목할 만하다.

하지만 실제 적용 시, v(x)의 서브그라디언트가 존재하지 않거나 서브문제의 실현 가능성이 깨지는 경우가 발생한다. 이를 해결하기 위해 저자들은 L1 정확 페널티를 도입한 완화 SCP-DC(SCP-DC‑R) 알고리즘을 제안한다. 페널티 항 ‖max{0, u(x)−v(x_k)−Ξ_k(x−x_k)}‖_1 를 목적함수에 추가함으로써 부적합한 선형화가 발생해도 서브문제가 항상 해를 갖도록 보장한다. 이 완화 기법은 기존 DC 프로그래밍에서 페널티 파라미터를 고정하는 방식보다 보수성이 낮으며, 더 큰 단계 크기를 허용한다는 장점이 있다.

두 개의 실험 사례—이중선형 시스템에 대한 비선형 모델 예측 제어(NMPC)와 상보성 제약을 포함한 수학적 프로그램(MPCC)—를 통해 알고리즘의 실제 성능을 평가한다. NMPC 사례에서는 bilinear 동역학을 DC 형태로 변환하고, MPCC 사례에서는 x·z≤0 형태의 상보성 제약을 ‖(x,z)‖^2−‖x−z‖^2≤0 로 재구성한다. 실험 결과, SCP‑DC와 완화 버전 모두 기존 DCA 기반 방법보다 빠른 수렴과 적은 반복 횟수를 보였으며, 특히 부적합한 선형화가 빈번히 발생하는 경우 완화 버전이 안정적인 해를 제공한다.

전반적으로 이 논문은 DC 제약을 갖는 비선형 최적화 문제에 대해 SCP 프레임워크를 체계적으로 적용하고, 이론적 수렴 보장과 실용적 완화 전략을 동시에 제공함으로써 기존 DC 프로그래밍 방법론의 한계를 보완한다는 점에서 의미가 크다.