단조 서브모듈러 비용 할당 문제의 k ÷ 2 근사 알고리즘

초록

본 논문은 단조 서브모듈러 함수들로 정의되는 최소 비용 할당(MSCA) 문제에 대해, 자연스러운 LP 완화의 적분 갭을 k/2 이하로 제한함으로써 k/2‑근사 알고리즘을 제시한다. 또한 k가 고정된 경우 적분 갭이 k/2 − ε(ε>0) 이상임을 보이며 상한과 하한이 거의 일치함을 증명한다.

상세 분석

이 논문은 k개의 단조 서브모듈러 함수 f₁,…,f_k가 주어졌을 때, 원소 집합 N을 k개의 파티션 S₁,…,S_k 로 나누어 Σ_i f_i(S_i) 를 최소화하는 최소 서브모듈러 비용 할당(MSCA) 문제를 다룬다. 기존 연구에서는 일반적인 서브모듈러 경우 적분 갭이 다항식적으로 제한되지 않으며, 특히 k가 입력에 포함될 때는 (1 − o(1))·ln n 의 하한이 존재한다는 것이 알려져 있었다. 그러나 k가 상수이거나 비교적 작은 경우에 대한 정확한 적분 갭은 미지였다. 저자는 이러한 공백을 메우기 위해 두 가지 주요 결과를 제시한다. 첫 번째는 LP 완화(LP_mono)의 적분 갭이 언제든지 k/2 이하임을 보이는 정리이다. 이를 위해 최적 LP 해를 체인 구조로 변형한 뒤, 각 체인에서 상위 2/k 비율의 큰 집합들을 선택하고, 이들을 k개의 그룹으로 묶어 전체 집합 N을 커버하도록 구성한다. 핵심은 M = k(k‑1)·m 라는 정수 파라미터를 도입해 복제된 집합들의 다중 카운트를 정수화하고, 서로 다른 인덱스 조합이 N을 완전히 덮는 2·m·(k‑1)개의 순서쌍을 구성함으로써 k/2‑근사 해를 얻는 것이다. 두 번째 결과는 하한으로, log n ≥ k 일 때 적분 갭이 최소 k/2 − ε 가 되도록 특수한 단조 서브모듈러 함수들을 구성한다. 이 함수들은 로그 규모의 집합을 이용해 LP 해와 정수 해 사이의 비용 차이를 크게 만든다. 특히 k가 고정이면 하한이 k/2에 임의의 작은 ε만큼 차이 나는 수준이 된다. 이러한 상하한 결과는 k가 작을 때 LP 기반 접근법이 최적에 매우 가깝다는 것을 의미한다. 또한 k=2인 경우에는 다중다항식 교차(poly‑matroid) 교차 문제와 동형이며, 전통적인 전역 이중 정수성(total dual integrality) 결과와 일치한다는 점에서 이론적 의미가 크다. 논문은 정리 증명에 엘리포이드 방법을 활용해 체인 구조를 확보하고, 조합론적 모듈러 연산을 통해 커버링 튜플을 구성하는 기법을 상세히 기술한다. 전체적으로 이 연구는 서브모듈러 최적화 분야에서 작은 k에 대한 근사 한계를 명확히 제시하고, 실용적인 k/2‑근사 알고리즘을 제공함으로써 기존의 ln n 기반 근사와 비교해 실질적인 개선을 이룬다.