투사 폭: 이산 분리 최적화의 새로운 구조 파라미터

초록

본 논문은 변수와 제약을 이진 트리 형태의 분할(Branch Decomposition)로 묶어 정의한 ‘투사 폭(projection‑width)’이라는 구조적 파라미터를 도입한다. 투사 폭이 다항식 수준으로 제한될 때, 분리 가능한 제약 시스템 위에서 최적화, 카운팅, Top‑k, 가중 위반 최소화 등 네 가지 핵심 이산 비선형 문제를 모두 다항 시간 알고리즘으로 해결할 수 있음을 보인다. 또한 기존의 정수 선형 최적화·이진 다항식 최적화·SAT 분야의 주요 트랙터블 결과들을 하나의 프레임워크로 통합한다.

상세 분석

논문은 먼저 ‘분리 가능한 시스템(separable system)’을 변수 집합 X, 유한 도메인 D, 등식 제약 C⁼와 부등식 제약 C≥의 네 쿼드러플(⟨X,D,C⁼,C≥⟩)로 정의한다. 각 제약은 변수별 함수 f_cx:D→ℤ의 합 형태이며, 이를 최소값을 0으로 정규화한 g_cx 로 변환한다. 이렇게 변환하면 모든 제약의 좌변은 0 이상이며, 등식 제약은 Γ_c (0부터 γ_c 까지의 정수 집합) 로, 부등식 제약은 γ_c (상한) 로 표현된다.

핵심 개념인 ‘투사(projection)’는 부분 변수 집합 X′⊆X에 대한 할당 τ:X′→D에 대해 각 제약 c에 대해 cb_c(τ)=∑_{x∈X′}g_cx(τ(x)) 를 정의하고, 이를 γ_c 와 비교해 min(cb_c(τ),γ_c) 를 반환한다. 이렇게 얻은 맵 C′/τ 은 제약 c∈C′에 대해 가능한 좌변값의 범위를 압축한다.

다음으로 변수·제약을 리프에 일대일 대응시키는 이진 트리 T(Branch Decomposition)를 도입한다. 트리의 각 내부 정점 v는 하위 서브트리 T_v 에 포함된 변수 X_v와 제약 C_v를 갖는다. 여기서 proj(v)= { C_v/τ | τ:X_v→D } 와 proj⁻(v)= { C\C_v /τ | τ:X\X_v→D } 를 정의하고, 투사 폭은 모든 정점에 대해 |proj(v)|와 |proj⁻(v)| 의 최대값을 최소화한 값이다.

논문은 Lemma 2‑5를 통해 proj(v) 와 proj(v₁), proj(v₂) (자식 정점) 사이의 합성 규칙을 정확히 기술한다. 특히 Φ_c = min{Φ¹_c + Φ²_c, γ_c} 와 같은 관계식(L1)이 성립함을 보이며, 이를 이용해 트리 전역에서 모든 가능한 proj 집합을 동적 프로그래밍 방식으로 효율적으로 구축한다.

알고리즘적 기여는 네 가지 문제에 대해 각각 O( w_proj³·(|X|+|C|)·|C| + w_proj·|C⁼|·Λ + |X||C||D|log|D| ) 와 같은 복합 다항식 시간 복잡도를 제시한다. 여기서 w_proj 은 투사 폭, Λ 는 Δ_c 원소 포함 여부를 판단하는 기본 연산 비용이다. 최적화와 카운팅은 동일한 복잡도를 가지며, Top‑k는 추가적인 k·log 항을 포함하고, 가중 위반 최소화는 부등식 제약만을 고려해 약간 간소화된 형태를 갖는다.

이러한 결과는 기존의 ‘PS‑width’(CNF SAT)와 ‘incidence treewidth’(정수 선형 최적화) 개념을 일반화한다. 실제로 투사 폭이 다항식이면, 정수 선형 최적화의 ‘bounded incidence treewidth’ 인스턴스, 이진 다항식 최적화의 ‘bounded hypergraph incidence treewidth’ 인스턴스, 그리고 SAT의 ‘bounded PS‑width’ 인스턴스 모두 본 프레임워크의 특수 케이스가 된다. 따라서 서로 다른 연구 분야에서 독립적으로 발견된 트랙터블 결과들을 하나의 구조적 설명 아래 통합한다는 점에서 이론적 의의가 크다.

마지막으로 논문은 투사 폭을 이용한 확장된 폴리토프(extended formulation) 구축, DNNF(Deterministic Decomposable Negation Normal Form) 변환 등 응용 가능성을 제시하며, 향후 더 넓은 도메인·제약 유형에 대한 일반화와 실험적 평가의 필요성을 강조한다.