지향 트리와 분기점: 방향 그래프 최대 잎 문제의 새로운 경계와 빠른 알고리즘

초록

이 논문은 방향 그래프에서 최대 잎을 갖는 아웃‑트리와 아웃‑브랜칭을 찾는 두 결정 문제를 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT) 알고리즘으로 해결한다. 새 알고리즘은 시간 복잡도를 2^{O(k log k)}·n^{O(1)} 로 낮추며, 기존 2^{O(k³ log k)}·n^{O(1)}· 및 2^{O(k log² k)}·n^{O(1)} 수준을 크게 개선한다. 또한, 모든 아크가 최소 하나의 아웃‑브랜칭에 포함되는 그래프에 대해 ℓ_s(D) ≥ ℓ(D)/3 을, 최소 진입 차수가 3인 강하게 연결된 그래프에 대해 ℓ_s(D) = Θ(√n) 를 보이며, 이 경계가 최적임을 증명한다.

상세 분석

논문은 먼저 방향 그래프 D에서 아웃‑트리와 아웃‑브랜칭의 최대 잎 수를 각각 ℓ(D)와 ℓ_s(D) 로 정의한다. 기존 연구에서는 k‑Leaf Out‑Tree와 k‑Leaf Out‑Branching 문제에 대해 각각 2^{O(k log² k)}·n^{O(1)}와 2^{O(k³ log k)}·n^{O(1)} 복잡도의 FPT 알고리즘만 알려져 있었다. 저자들은 두 문제 모두에 대해 파라미터 함수 f(k)=2^{O(k log k)} 로 개선된 알고리즘을 설계한다. 핵심 아이디어는 ‘쓸모 없는(arcs)’를 제거한 뒤, 1‑optimal 아웃‑브랜칭을 초기 해로 삼아 백‑아크(back arcs)를 적절히 그룹화하고, 이를 기반으로 트리 분해(tree decomposition)를 구성하는 것이다. 기존 방법이 경로 분해(path decomposition)를 사용해 폭이 O(k³)인 구조를 만들었다면, 여기서는 초기 1‑optimal 브랜칭 자체를 트리 분해의 골격으로 삼아 폭을 O(k) 수준으로 낮춘다. 이렇게 하면 동적 프로그래밍 단계에서 필요한 상태 공간이 크게 감소해 전체 복잡도가 2^{O(k log k)}·n^{O(1)} 로 수렴한다.

또한, ℓ(D)/ℓ_s(D) ≤ 3 라는 비율 상한을 증명한다. 이는 모든 아크가 최소 하나의 아웃‑브랜칭에 포함되는 그래프(‘쓸모 없는 아크’가 없는 경우)에서만 성립한다. 증명은 1‑optimal 브랜칭 T를 기준으로, T의 잎과 브랜치 정점 사이의 관계를 정밀히 분석하고, 백‑아크가 충분히 많을 경우 바로 k‑leaf 아웃‑브랜칭을 구성할 수 있음을 보인다. 백‑아크가 부족하면 트리 분해와 동적 프로그래밍을 통해 잎을 충분히 늘릴 수 있다.

두 번째 주요 결과는 최소 진입 차수가 3인 강하게 연결된 그래프에 대해 ℓ_s(D) = Ω(√n) 를 보이는 것이다. 기존에는 ℓ_s(D) ≥ Ω(n^{1/3}) 정도만 알려져 있었으며, 이 차이는 상수 계수 차원에서 최적임이 증명되었다. 저자들은