최소 잎 아웃브랜칭 문제와 파라미터화 연구

본 논문은 방향 그래프 D에서 잎(아웃‑디그리 0) 수를 최소화하는 아웃브랜칭을 찾는 Minimum Leaf Out‑Branching(MinLOB) 문제를 체계적으로 연구한다. 먼저 기본 정의와 기존 문헌을 정리하고, MinLOB가 해밀턴 경로 문제를 일반화함을 통해 일반 그래프에서 NP‑hard임을 상기한다. 그런 다음 두 가지 주요 연구축을 제시한다: (1) 비순환(acyclic) 그래프에 대한 다항시간 알고리즘, (2) 파라미터화 복잡도 분석. 1. **비순환 그래프에 대한 다항시간 알고리즘** - D가 DAG라면, 인디그리 0인 정점이 정확히 하나일 경우에만 아웃브랜칭이 존재한다는 사실을 이용한다. - D의 정점 집합 V와 복제 집합 V′을 이용해 이분 그래프 B를 구성한다. X=V, X′=V′\{r′}이며, (x, y′)∈E(B) iff (x, y)∈A(D). - B에서 최대 매칭 M을 찾고, 매칭에 포함되지 않은 오른쪽 정점 y′에 대해 임의의 인접 간선을 추가해 M*를 만든다. - M*에 대응되는 원 그래프의 간선 집합을 T의 아크 집합으로 정의하면, T는 연결된 아웃‑트리이며, 매칭의 최대성으로 인해 잎 집합이 최소가 된다. - 매칭 단계는 Hopcroft‑Karp 알고리즘 변형으로 O(m + n^{1.5 p / log n}) 시간에 해결되며, 전체 알고리즘은 동일한 복합도를 가진다. 따라서 MinLOB‑DAG는 다항시간에 해결 가능함을 증명한다. 2. **파라미터화 복잡도 분석** 세 가지 파라미터화 방식을 정의한다. - **MinLOB‑PN (ℓ_min ≤ k)**: k=1이면 해밀턴 경로 문제와 동치이므로 모든 k에 대해 NP‑complete임을 간단히 증명한다. - **MinLOB‑PSBGV (ℓ_min ≤ n/k)**: k≥2인 경우, 입력 그래프에 별 그래프 K_{1,p−1} (p≈n/(k−1))를 붙이고 한 정점에 아크를 연결하는 구성으로 해밀턴 경로 문제를 환원한다. 따라서 모든 고정 k≥2에 대해 NP‑complete이다. - **MinLOB‑PBGV (ℓ_min ≤ n−k)**: 이 경우는 “보장된 값 이하” 형태의 파라미터화이며, FPT임을 보인다. **FPT 결과와 커널화** - 최소 아웃브랜칭(minimal out‑branching)의 정의와 1‑change 연산을 도입한다. Lemma 4.1은 최소성 조건을 “비역방향 아크에 대해 부모가 내부이거나 자식이 하나뿐인 경우”로 정리한다. - 최소 아웃브랜칭 T를 구한 뒤, T가 n−k 이하의 잎을 갖지 않으면 내부 정점 집합과 “자식이 하나뿐인 잎” 집합을 합친 U가 그래프의 정점 커버가 된다. U의 크기는 ≤2k−2임을 보인다. - 이 커버를 이용해 불필요한 정점을 제거하고, 남은 인스턴스를 O(k²) 정점으로 축소한다. 이 과정을 “커널 규칙”이라 부르며, 전체 복합도는 O(n² m)이다. **Additive FPT 알고리즘** - 커널화된 인스턴스에서 가능한 내부‑잎 배치를 열거한다. 배치당 동적 프로그래밍을 통해 해당 배치가 실현 가능한 최소 잎 수를 계산한다. - 배치 수는 2^{O(k log k)}이며, 각 배치 검증은 O(n⁶) 시간에 수행된다. 따라서 전체 알고리즘 복합도는 O(2^{O(k log k)} + n⁶)이다. 이 형태는 “additive” FPT라 부르며, 파라미터 k에만 의존하는 지수 부분이 n에 비해 독립적이다. 3. **다른 문제와의 변환** - **Minimum Path Cover (MinPC)**: 각 경로를 하나의 잎으로 보는 변환을 통해 MinPC의 파라미터 n−k 문제를 MinLOB‑PBGV에 환원한다. 따라서 MinPC도 동일한 파라미터에 대해 FPT임을 얻는다. - **Maximum Internal Out‑Tree (MaxIOT)**: 내부 정점 수를 최대화하는 문제는 MinLOB의 잎 최소화와 대칭 관계에 있다. 변환을 통해 MaxIOT의 파라미터 n−k도 FPT임을 증명한다. 4. **결론 및 향후 연구** - 논문은 MinLOB 문제의 구조적 특성을 이용해 비순환 그래프에서는 효율적인 매칭 기반 알고리즘을, 일반 그래프에서는 파라미터화에 따라 난이도를 구분하는 체계적인 결과를 제공한다. - 특히 ℓ_min ≤ n−k 파라미터에 대한 O(k²) 커널과 additive FPT 알고리즘은 처음 제시된 결과이며, 커널 크기와 시간 복합도를 더 개선하거나, 실험적 평가를 통한 실용성 검증이 향후 연구 과제로 제시된다.