삼각형 폐쇄가 다면체임을 증명

초록

본 논문은 정수 변수 두 개(m=2)인 혼합 정수 선형 프로그램에서 최대 격자 자유 삼각형으로부터 얻어지는 절단면들의 교집합, 즉 삼각형 폐쇄가 다면체이며 그 면의 수가 입력 데이터의 크기에 대해 다항식적으로 제한됨을 보인다. 또한 이 결과를 이용해 혼합 정수 껍질(convex hull)의 면 개수와 면열거 알고리즘이 다항 시간에 가능함을 제시한다.

상세 분석

논문은 먼저 Andersen 등에 의해 제시된 모델 (1) x = f + ∑ r_j s_j, x∈ℤ^m, s_j≥0 을 고려한다. 여기서 f와 r_j는 유리벡터이며, s_j만을 변수로 하는 비음수 공간 R_f 을 정의한다. 격자 자유(convex) 집합 M(B) = { x∈ℝ^m | B(x−f)≤e } 에 대해 Minkowski 함수 ψ_B(r)=max_i b_i·r를 도입하고, ψ_B를 이용한 절단면 γ(B)·s≥1이 (1)의 유효 부등식임을 보인다. 이때 B는 3×2 행렬이며, M(B)가 격자 자유 삼각형이거나 스플릿(split)이다. 스플릿 폐쇄가 다면체라는 Cook‑Kannan‑Schrijver 정리를 활용해, 삼각형 폐쇄 T를 “모든 격자 자유 집합(스플릿 포함)에 대한 부등식의 교집합”으로 재정의한다. 핵심은 T를 정의하는 γ 벡터들의 집합 Δ를 닫힌 볼록껍질과 비음수 오소드(ℝ_+^k)와의 Minkowski 합 Δ₀=cl(conv(Δ))+ℝ_+^k 로 표현하고, Δ₀의 극점(C)만을 이용해 T={s≥0 | a·s≥1 ∀a∈C}임을 증명하는 것이다. Δ₀는 폐집합이며, 그 재발 cone이 ℝ_+^k이므로 모든 극점은 최소점이며, 따라서 Δ₀를 완전히 기술하려면 극점만을 나열하면 된다.

다음 단계에서는 Δ₀의 극점이 유한하고, 그 개수가 입력 데이터의 비트 크기에 대해 다항식적으로 제한된다는 것을 보인다. 이를 위해 저자들은 Δ₀의 극점이 Δ에 속하거나 Δ의 두 원소의 엄격한 볼록 결합으로 표현될 수 있음을 보이는 Proposition 3.1을 제시한다. 이 명제는 격자 자유 삼각형의 기하학적 구조를 정밀히 분석하여, 가능한 γ 벡터들의 종류를 “정수 기울기와 절편이 유리수인 제한된 경우”로 한정한다. 특히, 삼각형의 세 변에 각각 존재하는 정수점(또는 그 상대 내부에 존재하는 정수점)의 배치에 따라 세 가지 유형(Type 1, 2, 3)으로 구분하고, 각 유형마다 γ 벡터가 가질 수 있는 형태를 명시한다. 이러한 구분을 통해 가능한 γ 벡터의 수를 입력 크기의 다항식으로 상한을 잡는다.

결과적으로, Δ₀의 극점 집합 C가 다항식 크기이며, T는 C에 대한 유한 개의 선형 부등식으로 정의되므로 T는 다면체임이 증명된다. 이와 더불어, 동일한 기법을 적용해 혼합 정수 껍질 conv(R_f)의 면 개수도 다항식적으로 제한됨을 보이며, 이를 기반으로 모든 면을 열거하는 다항 시간 알고리즘이 존재함을 제시한다. 논문은 또한 Cornuéjols‑Margot의 면 정의 필요조건을 정제하고, 차원 m≥3 에 대한 향후 연구 방향을 제시한다.