리프트 앤 프로젝트 폐쇄 최적화 방법

초록

본 논문은 혼합정수선형프로그램(MILP)의 초기 제약식에서 도출되는 모든 리프트‑앤‑프로젝트 컷을 이용한 폐쇄(lift‑and‑project closure)를 근사하는 새로운 알고리즘을 제시한다. 핵심은 변수와 제약식의 경계를 단순히 변형하여 만든 하나의 선형 프로그램을 이용해 컷을 생성하는 방식이며, 이는 기존의 분리 LP와 이중 관계에 있음을 보인다. 실험을 통해 제안 방법의 효율성과 기존 기법 대비 우수성을 확인하였다.

상세 분석

논문은 먼저 리프트‑앤‑프로젝트 폐쇄가 “초기 선형 완화에서 모든 리프트‑앤‑프로젝트 컷을 적용한 최강의 다면체”임을 재정의하고, 이를 실제 계산 가능한 형태로 전환하는 문제를 제기한다. 기존 연구에서는 각 불가능한 기본 해에 대해 Gomory 혼합 정수 컷을 생성하거나, 분리 절차를 통해 다수의 디스정트 판별식을 풀어야 했지만, 저자들은 변수와 제약식의 상한·하한을 조정한 단일 선형 프로그램(LP)을 통해 동일한 컷 집합을 얻을 수 있음을 증명한다. 이 LP는 “컷 생성 LP”의 이중 형태이며, 특히 Balas와 Perregaard가 제시한 리프트‑앤‑프로젝트 컷과 Gomory 컷의 동등성 정리를 기반으로 한다.

핵심 아이디어는 원래의 LP에 대해 각 변수에 대해 새로운 상한·하한을 부여하고, 제약식에도 유사한 변형을 적용함으로써, 최적해가 기존의 모든 리프트‑앤‑프로젝트 컷을 만족하도록 만드는 것이다. 이렇게 변형된 LP는 기존의 분리 절차에서 요구되는 복잡한 다중 디스정트 모델을 대체하며, 단일 LP 해결만으로도 폐쇄에 대한 근사값을 얻을 수 있다. 저자는 이 LP의 구조적 특성을 분석하여, 해의 존재 여부가 리프트‑앤‑프로젝트 컷의 유효성을 직접 판단하게 함으로써, 기존의 “컷 생성 → 분리 → 추가” 반복 과정을 크게 단축한다.

또한, 제안된 LP는 특정 정규화(예: 컷 계수의 L1‑노름을 1로 고정)와 결합될 때, 기존의 디스정트 프로그래밍에서 사용되는 “컷 생성 LP”와 정확히 동일한 듀얼 관계를 갖는다. 이를 통해 이론적으로는 모든 Gomory 혼합 정수 컷이 해당 LP의 해에 의해 재현될 수 있음을 보이며, 실질적으로는 계산량이 크게 감소한다.

실험 섹션에서는 표준 MILP 베치(예: MIPLIB)와 여러 난이도 인스턴스를 대상으로, 제안 알고리즘이 기존의 “전체 리프트‑앤‑프로젝트 컷 생성” 방법보다 30~50% 빠르게 동일하거나 더 강한 경계값을 제공함을 입증한다. 특히, 변수 수가 많고 제약식이 촘촘한 경우에 변형된 LP의 스파스 구조가 솔버의 내부 프리징 메커니즘을 효율적으로 활용하게 만든다.

결과적으로, 이 논문은 리프트‑앤‑프로젝트 폐쇄를 직접 최적화하는 새로운 패러다임을 제시함으로써, 이론적 동등성뿐 아니라 실용적인 계산 효율성까지 동시에 달성한 점이 가장 큰 공헌이다.