최대 격자 자유 집합에서 유도된 절단면의 알고리즘 및 복잡도 결과

초록

본 논문은 정수 변수 m개와 연속 변수 k개로 구성된 혼합정수선형 프로그램의 완화된 코너 폴리hedron을 연구한다. 최대 격자 자유 볼록집합의 Minkowski 함수로부터 모든 유효 부등식을 얻을 수 있음을 이용해, 극점들의 집합을 통해 면들을 기술하고, 고정된 m에 대해 lₚ 노름이 최소인 절단면을 다항시간에 찾는 알고리즘을 제시한다. 특히 m=2인 경우, 기존의 복잡한 감소 알고리즘 없이도 직접 검증 가능한 명시적 조건을 제공하여 면의 개수가 입력 크기에 대해 다항적으로 제한됨을 증명한다.

상세 분석

논문은 먼저 Andersen·Louveaux·Weismantel·Wolsey가 제시한 코너 폴리hedron의 완화 형태를 식 (1) 로 정의하고, 이를 R_f 라는 집합으로 표기한다. R_f 의 정점은 s 변수들의 값만으로 완전히 기술될 수 있으며, conv(R_f) 은 차단형(polyhedron of blocking type) 구조를 가진다. 저자들은 차단 폴리hedron의 이중공간(conv(R_f)^∨)을 명시적으로 기술하기 위해, 모든 가능한 기저 I⊆{1,…,k} (|I|=m) 에 대해 x∈ℤ^m 가 f와의 차이가 cone({r_j | j∈I}) 안에 존재하는 경우의 계수 s_j(x,I) 를 정의한다. Proposition 3.2 에서는 γ≥0 가 모든 I와 x∈X(I) 에 대해 Σ_{j∈I}γ_j s_j(x,I)≥1 을 만족하면 γ 가 유효 부등식의 계수임을 보이며, 이는 M_γ 라는 볼록집합이 정수점을 내부에 갖지 않음과 동치임을 이용한다. 이어서 Theorem 3.3 은 X(I) 의 극점(ext(X(I))) 만을 고려하면 충분함을 증명함으로써, 무한히 많은 제약을 다항수의 제약으로 축소한다. 이는 Gomory의 코너 폴리hedron 결과와 구조적으로 유사하지만, 여기서는 lₚ 노름 최적화를 위한 구체적인 선형·정수 프로그램을 제시한다. 특히 m이 고정된 경우, 각 I에 대해 극점들을 열거하고, 해당 γ 를 최소 lₚ 노름으로 선택하는 문제를 다항시간에 해결한다. l₁ 및 l_∞ 노름은 선형계획법으로 바로 풀 수 있으며, l_∞ 에 대해서는 대안적인 접근법도 제시한다.

m=2 인 경우, 저자들은 Lovász가 분류한 3가지 유형(스플릿, 삼각형, 사각형)의 최대 격자 자유 집합을 이용해 면의 구조를 정밀히 분석한다. 기존의 Cornuéjols·Margot 논문에서는 복잡한 종료 조건을 통해 면을 판별했지만, 여기서는 Theorem 4.x 에서 제시된 명시적 필요조건을 직접 검증함으로써 알고리즘적 구현이 쉬워진다. 이러한 조건이 위배되면 해당 부등식은 다른 부등식들의 볼록조합으로 표현될 수 있음을 보이며, 이는 triangle closure 가 다각형임을 증명하는 핵심 단계가 된다. 최종적으로 Theorem 6.2 에서는 conv(R_f) 의 면 개수가 입력 크기에 대해 다항적으로 제한됨을 보이고, Theorem 6.3 에서는 m=2 일 때 모든 면을 열거하는 다항시간 알고리즘을 제시한다. 이는 실제 절단면 생성에 있어 이론적 보증과 실용적 구현을 동시에 제공한다는 점에서 큰 의미를 가진다.