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

본 논문은 방향 그래프(D)에서 아웃‑트리와 아웃‑브랜칭의 최대 잎 수를 각각 ℓ(D), ℓ_s(D) 로 정의하고, 두 관련 결정 문제인 k‑Leaf Out‑Tree와 k‑Leaf Out‑Branching을 파라미터 k에 대해 고정‑파라미터 트랙터블(FPT) 알고리즘으로 해결한다. 기존 연구에서는 k‑Leaf Out‑Tree에 대해 2^{O(k log² k)}·n^{O(1)} 복잡도, k‑Leaf Out‑Branching에 대해 2^{O(k³ log k)}·n^{O(1)} 복잡도의 알고리즘만 알려져 있었다. 저자들은 두 문제 모두에 대해 시간 복잡도를 2^{O(k log k)}·n^{O(1)} 로 낮추어, 파라미터 함수의 성장률을 크게 개선한다. 알고리즘 설계는 크게 네 단계로 구성된다. 첫째, ‘쓸모 없는(arcs)’라 불리는, 어떤 아웃‑브랜칭에도 포함되지 않는 아크들을 전처리 단계에서 제거한다. 이는 O(n²) 시간 내에 가능하며, 이후 그래프는 모든 아크가 최소 하나의 아웃‑브랜칭에 속한다는 성질을 갖는다. 둘째, 남은 그래프에서 임의의 정점 r을 선택해 R_D(r)=V(D) 를 만족하도록 강하게 연결된 컴포넌트를 추출하고, 이 컴포넌트에 대해 1‑optimal 아웃‑브랜칭 T를 다항 시간에 구한다. 1‑optimal이란, 어떤 백‑아크를 추가·삭제해도 잎 수가 증가하지 않는 브랜칭을 의미한다. 셋째, T를 기반으로 트리 분해(tree decomposition)를 만든다. 기존 방법은 경로 분해를 사용해 폭이 O(k³)인 구조를 만들었지만, 여기서는 T 자체를 트리 분해의 골격으로 삼아 각 bag에 {부모, 자식, 브랜치 정점, 잎, 해당 정점으로 들어오는 백‑아크의 헤드} 를 포함시켜 폭을 ≤4k−5 로 제한한다. 넷째, 이 트리 분해 위에 동적 프로그래밍을 수행해 k 개의 잎을 갖는 아웃‑트리를 찾는다. 동적 프로그래밍 상태는 각 bag에 포함된 정점들의 잎/브랜치 배치를 기록하며, 폭이 O(k) 이므로 전체 복잡도는 2^{O(k log k)}·n^{O(1)} 가 된다. 알고리즘의 정확성은 두 가지 경우로 나뉜다. (1) 어떤 정점 z에 대해 백‑아크의 헤드 수가 k 이상이면, 해당 백‑아크들을 이용해 즉시 k‑leaf 아웃‑트리를 구성할 수 있다. (2) 위와 같은 경우가 없으면, 트리 분해와 동적 프로그래밍을 통해 잎을 충분히 늘릴 수 있다. 이 과정에서 백‑아크를 ‘그룹화’하여 각 정점에 할당하고, 그룹 크기가 k 이하임을 보인다. 조합론적 측면에서는 두 가지 주요 경계를 증명한다. 첫 번째는 ℓ(D)/ℓ_s(D) ≤ 3 라는 비율 상한이다. 이는 모든 아크가 최소 하나의 아웃‑브랜칭에 포함되는 그래프에서만 성립한다. 증명은 1‑optimal 브랜칭 T의 구조를 분석해, T의 잎 수와 브랜치 정점 수 사이의 관계를 이용한다. 백‑아크가 충분히 많으면 바로 ℓ_s(D) ≥ ℓ(D)/3 를 얻고, 부족하면 앞서 제시한 알고리즘을 적용해 ℓ_s(D) ≥ ℓ(D)/3 를 만족한다. 이 비율은 예시 그래프에서 ℓ(D)/ℓ_s(D)=2 를 보이며, 상수 3이 최적임을 암시한다. 두 번째는 최소 진입 차수가 3인 강하게 연결된 그래프에 대해 ℓ_s(D) = Θ(√n) 라는 하한이다. 기존에는 ℓ_s(D) ≥ Ω(n^{1/3}) 정도만 알려져 있었으며, 이 논문은 ℓ_s(D) ≥ (1/4)√n 를 증명한다. 핵심 아이디어는 1‑optimal 브랜칭 T에서 ‘길이 ≥ 8k 인 1‑degree‑1 경로’를 찾는 것이다. 이런 경로가 존재하면, 해당 경로의 중간 정점들을 이용해 k 개의 잎을 만들 수 있다. 경로가 존재하지 않을 경우, T 자체의 잎 수가 이미 k 이상이거나, 백‑아크의 수가 충분히 많아 동적 프로그래밍을 통해 k‑leaf 브랜칭을 구성한다. 이를 통해 n ≤ 16k² 일 때 ℓ_s(D) ≥ k 가 보장되며, 역으로 n이 충분히 크면 ℓ_s(D) ≥ (1/4)√n 가 성립한다. 또한, 이 결과는 최소 진입 차수가 3이고 모든 아크가 아웃‑브랜칭에 포함되는 그래프(‘쓸모 없는 아크’가 없는 경우)에도 동일하게 적용된다. 논문의 마지막 부분에서는 알고리즘 구현상의 세부 사항과 복잡도 분석을 제공한다. 트리 분해 구성 단계는 1‑optimal 브랜칭을 탐색하면서 각 정점에 대해 필요한 백‑아크 헤드를 수집해 O(k·n) 시간에 수행된다. 동적 프로그래밍 단계는 각 bag당 O(2^{|X_i|}) 상태를 유지하므로 전체 복잡도는 2^{O(k log k)}·n^{O(1)} 가 된다. 실험적 평가는 포함되지 않았지만, 이론적 복잡도 개선은 실제 구현 시에도 큰 이점을 제공할 것으로 기대된다. 결론적으로, 본 연구는 방향 그래프에서 최대 잎 문제에 대한 알고리즘적·조합론적 이해를 크게 진전시켰다. 파라미터 함수의 로그 차원을 줄인 FPT 알고리즘과 ℓ_s(D)의 √n 수준 하한은 향후 연구와 실용적 응용에 중요한 기반이 될 것이다.