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

본 논문은 혼합정수선형 프로그램(MILP)에서 코너 폴리hedron의 완화 형태를 연구한다. 구체적으로, 정수 변수 m개와 비음수 연속 변수 k개로 구성된 시스템 x = f + Σ_{j=1}^k r_j s_j, x∈ℤ^m, s_j≥0 를 고려한다. 데이터 f와 r_j 가 유리수라고 가정하면, 이 시스템은 Gomory의 코너 폴리hedron을 일반화한 형태이며, 최근 다중 행 절단면 연구의 핵심 모델로 자리 잡았다. 저자들은 먼저 conv(R_f) 가 차단형(polyhedron of blocking type)임을 이용해, 모든 비자명한 유효 부등식은 γ·s ≥ 1 (γ∈ℝ_+^k) 형태로 표현될 수 있음을 상기한다. 다음 단계에서는 차단 폴리hedron의 이중공간(conv(R_f)^∨)을 명시적으로 기술한다. 이를 위해 모든 가능한 기저 I⊆{1,…,k} (|I|=m) 를 정의하고, 각 I에 대해 X(I)= {x∈ℤ^m | x−f ∈ cone({r_j | j∈I})} 를 구성한다. x∈X(I) 를 r_j (j∈I) 의 기저로 표현할 때의 비음수 계수를 s_j(x,I) 로 두어, Proposition 3.2 에서는 γ≥0 가 모든 I와 x∈X(I) 에 대해 Σ_{j∈I} γ_j s_j(x,I) ≥ 1 을 만족하면 γ 가 유효 부등식의 계수임을 증명한다. 이때 γ_j = ψ_{M_γ−f}(r_j) 로 정의된 Minkowski 함수와 M_γ 라는 볼록집합의 정수점 부재 조건이 핵심이다. 무한히 많은 제약을 다루는 대신, Theorem 3.3 은 각 X(I) 의 극점(ext(X(I))) 만을 고려하면 충분함을 보인다. 즉, conv(R_f)^∨ = {γ≥0 | Σ_{j∈I} γ_j s_j(x,I) ≥ 1 ∀ I, ∀ x∈ext(X(I))}. 이는 차단 폴리hedron의 면을 극점들의 유한 집합으로 완전히 기술한다는 의미이며, Gomory가 코너 폴리hedron에 대해 제시한 구조와 일치한다. 이 구조를 활용해 저자들은 고정된 m에 대해 lₚ 노름이 최소인 절단면을 찾는 다항시간 알고리즘을 설계한다. l₁ 및 l_∞ 노름의 경우, 제약식이 선형이므로 다항시간 선형계획법으로 직접 해결할 수 있다. 일반적인 lₚ (p>1) 에 대해서는 각 I에 대해 극점들을 열거하고, 해당 γ 를 최소 lₚ 노름으로 선택하는 비선형 프로그램을 풀어 최적 절단면을 얻는다. 특히 m=2 인 경우, Lovász가 제시한 최대 격자 자유 집합의 세 가지 유형(스플릿, 삼각형, 사각형)을 이용해 면의 구조를 상세히 분석한다. 기존 연구(Cornuéjols·Margot)는 복잡한 감소 알고리즘을 통해 면을 판별했지만, 여기서는 Theorem 4.x 에서 제시된 명시적 필요조건을 직접 검증함으로써 알고리즘적 구현이 쉬워진다. 이러한 조건이 위배되면 해당 부등식은 다른 부등식들의 볼록조합으로 표현될 수 있음을 보이며, 이는 triangle closure 가 다각형임을 증명하는 핵심 단계가 된다. 결과적으로 Theorem 6.2 는 conv(R_f) 의 면 개수가 입력 크기에 대해 다항적으로 제한됨을 증명한다. 이는 m이 고정된 경우, 전체 면을 열거하는 것이 이론적으로도 실용적으로도 가능함을 의미한다. 이어서 Theorem 6.3 은 m=2 일 때 모든 면을 다항시간에 열거하는 구체적인 알고리즘을 제시한다. 이 알고리즘은 각 유형별(스플릿, 타입1~3 삼각형, 사각형) 최대 격자 자유 집합을 생성하고, 해당 집합에 대한 Minkowski 함수를 계산한 뒤, 극점들을 통해 면을 구성한다. 마지막으로, 저자들은 이러한 구조적·알고리즘적 결과가 실제 MILP 솔버에서 강력한 절단면을 생성하는 데 활용될 수 있음을 강조한다. 특히, 면을 직접 열거하고 최적 lₚ 노름 절단을 선택함으로써 기존의 휴리스틱 절단 생성기보다 더 강력하고 이론적으로 보장된 성능을 기대할 수 있다. 논문은 또한 향후 m≥3 에 대한 면의 명시적 조건 개발과, 제시된 다항시간 알고리즘을 기반으로 한 휴리스틱 설계 가능성을 제시하며 연구를 마무리한다.