많은 잎을 가진 방향 트리 찾기

본 논문은 루트가 지정된 방향 그래프 D에서 모든 정점을 포함하는 스패닝 아웃브랜칭(out‑branching)을 찾는 문제, 즉 Rooted Maximum Leaf Outbranching(RMLO) 문제를 다룬다. 이 문제는 NP‑완전이며, 기존에는 √OPT‑근사 알고리즘과 O(k⁴)‑시간 FPT 알고리즘이 알려져 있었다. 저자들은 두 가지 주요 기여를 제시한다. 첫째, s‑t 번호 매김(r‑r numbering)이라는 개념을 도입해 RMLO 문제에 대한 새로운 조합적 하한을 도출하고, 이를 기반으로 상수 배율 근사 알고리즘을 설계한다. 둘째, 매개변수 k에 대해 그래프를 효율적으로 축소하는 새로운 감소 규칙을 제시해 기존의 3차 커널을 2차 커널로 개선한다. 1. **문제 정의와 전제** - 그래프는 루프와 다중아크가 없으며, 루트 r은 indegree = 0, outdegree ≥ 2인 ‘루트된 무루프 그래프’로 가정한다. - 2‑연결성(2‑connected)이라는 개념을 방향 그래프에 맞게 정의하고, 모든 정점이 r에서 도달 가능하도록 한다(‘연결성’). 2. **s‑t 번호 매김과 조합적 구조** - Lemma 1: 모든 2‑연결된 루트 그래프는 r‑r 번호 매김을 가진다. 이는 정점 순서 σ를 정하여, 각 정점 x≠r가 r의 아웃네이버이거나 두 전임자(in‑neighbors) u, v가 σ(u) < σ(x) < σ(v)인 형태를 만족한다. - σ를 이용해 전방(arcs)와 후방(arcs) 두 개의 스패닝 트리 D|σ와 D|σ̅ 로 분해한다. 두 트리는 서로 독립적이며, 전체 아크의 절반 이상을 포함한다는 특성을 갖는다. 3. **조합적 하한** - Lemma 2와 Lemma 3은 무방향 그래프에서 정점 커버와 지배 집합의 크기에 대한 일반적인 상한을 제공한다. 이를 방향 그래프에 적용해, indegree ≥ 2인 정점 l개와 루트의 outdegree d(r)≥2가 주어지면 최소 (l + d(r) − 1)/3 + 1개의 잎을 갖는 아웃브랜칭이 존재함을 보인다(Corollary 1). - Theorem 1은 indegree ≥ 3인 정점 l개가 있으면 최소 l개의 잎을 보장한다. 이는 σ와 σ̅ 중 indegree = 2인 정점이 더 많은 쪽을 선택해 적용한다. - ‘니즈(ni­ce)’ 정점은 단순 in‑arc에만 연결된 정점으로 정의하고, Theorem 2에서는 이러한 정점 l개가 존재하면 최소 24l개의 잎을 갖는 아웃브랜칭이 존재함을 증명한다. 전방·후방 트리의 전이(arcs) 구조를 분석해 전이 아크의 개수를 하한화하고, 이를 Corollary 2에 적용한다. 4. **상수 배율 근사 알고리즘** - 위의 조합적 결과를 이용해 다음 절차를 수행한다. a. 그래프를 전처리해 2‑연결성을 확보하고, r‑r 번호 매김 σ를 구한다. b. 전방 트리 T_f와 후방 트리 T_b를 구성하고, 전이 아크 집합을 구한다. c. 전이 아크가 더 많은 트리를 선택하고, 해당 트리와 전이 아크 집합을 합친 서브그래프에 Corollary 2를 적용한다. - 이 과정은 선형 시간에 수행 가능하며, 최종 아웃브랜칭은 최소 (1/24)·OPT 이상의 잎을 보장한다. 즉, 기존 √OPT‑근사보다 상수 배율이 크게 개선된 결과이다. 5. **커널화와 감소 규칙** - 매개변수 k에 대해 다음과 같은 감소 규칙을 제시한다. R1: 루트 r의 아웃네이버가 1개인 경우 해당 정점을 제거한다. R2: indegree = 1인 정점 v가 존재하면 (v, u) 아크를 삭제하고 v를 제거한다. R3: indegree ≥ 3인 정점 x에 대해, 두 전임자 중 하나를 삭제해 indegree를 2로 만든다. R4–R6: 전방·후방 트리 구조를 이용해 불필요한 전이 아크와 단순 아크를 제거한다. - 이 규칙들은 k와 무관하게 적용 가능하며, 적용 후 남는 그래프 G′의 정점 수는 O(k²) 이하가 된다. 따라서 기존 연구에서 제시된 O(k³) 커널을 O(k²) 커널로 개선한다. 6. **결론 및 향후 연구** - s‑t 번호 매김을 활용한 조합적 분석이 방향 그래프의 잎 최적화 문제에 강력한 도구가 됨을 보였다. - 상수 배율 근사와 2차 커널은 이론적 복잡도와 실제 구현 모두에서 큰 진전을 의미한다. - 향후 연구에서는 상수 배율을 더 개선하거나, 다른 매개변수(예: 트리 폭, 사이클 수)를 이용한 FPT 알고리즘을 탐구할 여지가 있다.