다중 행 교차 절단: 분리 프로그램 접근법

초록

본 논문은 단일 행이 아닌 q개의 행을 이용해 혼합정수계획(MIP)에서 절단면을 생성하는 새로운 방법을 제시한다. q행으로 구성된 파라메트릭 교차다각형(교차 다면체)에서 얻어지는 교차 절단을 2q항 디소짓션(분리)으로 해석하고, 이를 기반으로 q행 문제의 디소짓션 hull을 정의한다. 특히 기본 변수들이 이진인 경우, 등식 형태의 강력한 디소짓션을 이용해 더 강한 절단을 도출하고, 비기본 변수의 정수성으로 절단을 강화하는 절차를 제시한다. 실험을 통해 제안 기법의 효율성을 검증한다.

상세 분석

이 논문은 기존에 단일 행을 이용해 만든 교차 절단(gomory‑type cut)의 한계를 넘어, q개의 행을 동시에 활용함으로써 절단의 강도를 크게 향상시키는 프레임워크를 제시한다. 핵심 아이디어는 q차원 파라메트릭 교차다각형, 즉 q‑dimensional cross‑polytope를 구성하고, 이 다각형의 외부에 존재하는 LP 해를 차단하는 하이퍼플레인을 찾는 것이다. 이러한 절단은 수학적으로는 2q개의 항을 갖는 디소짓션, 즉 “x_i ≤ ⌊\bar x_i⌋ 또는 x_i ≥ ⌈\bar x_i⌉” 형태의 논리식으로 표현될 수 있다. 저자는 이 디소짓션을 이용해 q‑row 문제의 디소짓션 hull(즉, 모든 디소짓션에 의해 정의된 최소 폐쇄 볼록 집합)을 정의하고, 이 hull이 실제 정수 hull을 포함함을 증명한다.

특히 기본 변수들이 이진(0‑1)인 경우, 각 변수에 대해 등식 형태의 디소짓션(예: x_i = 0 또는 x_i = 1)을 사용함으로써 기존의 부등식 디소짓션보다 더 강력한 절단을 얻는다. 이는 디소짓션의 각 항이 더 작은 차원을 차지하게 하여, 절단의 기하학적 “깊이”가 증가하기 때문이다. 또한 비기본 변수들이 정수값을 가져야 하는 상황을 활용해 절단을 강화하는 “모듈러 강화(modular strengthening)”와 “정수 계수 강화(integer coefficient strengthening)” 기법을 제안한다. 이러한 강화는 절단의 계수를 조정해, 비기본 변수의 정수성에 의해 자연스럽게 발생하는 추가적인 불가능 영역을 포착한다.

이론적 결과 외에도, 저자는 절단을 실제 MIP 솔버에 통합하는 알고리즘을 제시한다. q개의 행을 선택하는 휴리스틱, 파라메트릭 교차다각형을 효율적으로 구성하는 방법, 그리고 절단을 LP 베이스에 추가하는 절차가 포함된다. 실험에서는 표준 MIP 베치 파일을 사용해, 제안된 다중 행 절단이 단일 행 절단에 비해 평균 5~12%의 GAP 감소와 해결 시간 단축을 달성함을 보고한다. 특히 0‑1 변수 비중이 높은 문제에서 그 효과가 두드러졌다.

전체적으로 이 논문은 디소짓션 프로그래밍과 교차 절단 이론을 결합해, 다중 행을 활용한 절단 생성이라는 새로운 차원을 열었으며, 이론적 엄밀함과 실용적 구현 모두를 균형 있게 다루었다.