[논문 리뷰] Better Algorithms and Bounds for Directed Maximum Leaf Problems

Noga Alon, Fedor V. Fomin외 3명|ArXiv.org|2007. 07. 07.

Advanced Graph Theory Research참고 문헌 12인용 수 4

한 줄 요약

이 논문은 강하게 연결된 방향성 그래프에서 방향 최대 잎을 가진 방향성 트리 문제에 대해 향상된 알고리즘과 조합적 경계를 제시한다. 국소 탐색과 경로 폭 기반 구조 분석을 활용하여, 최소 $k$개의 잎을 가지는 방향성 트리를 탐지하는 데 $2^{O(kackepsilon^2 k)} \cdot n^{O(1)}$의 실행 시간을 달성하였으며, 최소 들어오는 차수 3인 강하게 연결된 방향성 그래프는 항상 $(n/4)^{1/3} - 1$개 이상의 잎을 가지는 방향성 트리를 포함함을 증명하였다.

ABSTRACT

The {\sc Directed Maximum Leaf Out-Branching} problem is to find an out-branching (i.e. a rooted oriented spanning tree) in a given digraph with the maximum number of leaves. In this paper, we improve known parameterized algorithms and combinatorial bounds on the number of leaves in out-branchings. We show that \begin{itemize} \item every strongly connected digraph $D$ of order $n$ with minimum in-degree at least 3 has an out-branching with at least $(n/4)^{1/3}-1$ leaves; \item if a strongly connected digraph $D$ does not contain an out-branching with $k$ leaves, then the pathwidth of its underlying graph is $O(k\log k)$; \item it can be decided in time $2^{O(k\log^2 k)}\cdot n^{O(1)}$ whether a strongly connected digraph on $n$ vertices has an out-branching with at least $k$ leaves. \end{itemize} All improvements use properties of extremal structures obtained after applying local search and of some out-branching decompositions.

연구 동기 및 목표

• 강하게 연결된 방향성 그래프에서 방향 최대 잎 방향성 트리 문제에 대한 더 빠른 고정 매개변수 가능 알고리즘을 개발하기 위해.
• 최소 들어오는 차수 3인 강하게 연결된 방향성 그래프의 방향성 트리에서의 잎 수에 대한 더 날카운 하한 경계를 설정하기 위해.
• 방향성 트리의 잎 수와 기저 무방향 그래프의 경로 폭 간의 관계를 탐색하기 위해.
• 구조적 분해를 통해 약한 연결성과 일반적인 방향성 그래프로 알고리즘 결과를 확장하기 위해.

제안 방법

• 서브트리를 재구성하여 잎 수를 증가시키는 방식으로 후보 방향성 트리를 반복적으로 개선하는 국소 탐색 기법을 사용한다.
• 방향성 트리의 $\beta$-분해를 기반으로 한 새로운 트리 분해 접근법을 활용하여 구조적 복잡도를 제한한다.
• 기저 무방향 그래프의 경로 폭 분석을 적용하여 매개변수화된 실행 시간 경계를 유도한다.
• 각 트리 분해의 레이어에 해당하는 정점에 의해 유도되는 부분 그래프의 경로 폭을 제한하는 재귀적 경로 분해 논증을 수립한다.
• 만약 $k$개의 잎을 가지는 방향성 트리가 존재하지 않는다면, 기저 그래프의 경로 폭이 $O(k\log k)$임을 이용하여 알고리즘 설계를 이끌어낸다.
• 정점 $v$에서 도달 가능한 부분 방향성 그래프 $D_v$를 고려할 때 $\ell(D) = \max_v \ell_s(D_v)$ 식을 활용하여 강하게 연결된 방향성 그래프에서의 결과를 비순환 및 일반 방향성 그래프로 확장한다.

실험 결과

연구 질문

• RQ1 최소 들어오는 차수 3인 강하게 연결된 방향성 그래프에서 방향성 트리의 잎 수에 대해 가능한 최고의 하한 경계는 무엇인가?
• RQ2 기존의 $k$에 대한 지수적 의존성보다 더 나은 매개변수 복잡도를 가지는 방향 최대 잎 방향성 트리 문제의 복잡도를 향상시킬 수 있는가?
• RQ3 기저 무방향 그래프의 경로 폭은 $k$개의 잎을 가지는 방향성 트리의 존재성과 어떻게 관련이 있는가?
• RQ4 강하게 연결된 방향성 그래프에서 개발된 알고리즘 기법을 일반 방향성 그래프로 확장할 수 있는가?
• RQ5 $\Omega(n^{1/3})$의 잎 수 하한 경계는 날카로운가, 아니면 $r > 1/3$에 대해 $\Omega(n^r)$으로 향상시킬 수 있는가?

주요 결과

• 최소 들어오는 차수 3인 순서 $n$인 강하게 연결된 방향성 그래프는 항상 $(n/4)^{1/3} - 1$개 이상의 잎을 가지는 방향성 트리를 포함한다.
• 강하게 연결된 방향성 그래프가 $k$개의 잎을 가지는 방향성 트리를 포함하지 않는다면, 그 기저 무방향 그래프의 경로 폭은 $O(k\log k)$이다.
• 강하게 연결된 방향성 그래프에서의 $k$-DMLOB 문제는 $2^{O(k\log^2 k)} \cdot n^{O(1)}$ 시간에 해결 가능하며, 이는 이전의 $2^{O(k^2\log k)} \cdot n^{O(1)}$ 경계보다 향상된 것이다.
• 비순환 방향성 그래프의 경우 문제는 $2^{O(k\log k)} \cdot n^{O(1)}$ 시간에 해결 가능하며, 이는 강하게 연결된 경우보다 빠르다.
• 동일한 점근적 실행 시간을 가지며, 일반 방향성 그래프의 $k$-DMLOT 문제(최대 잎 방향성 트리)에 대해서도 알고리즘 결과가 확장된다.
• 모든 방향성 트리가 최대 $O(\sqrt{n})$개의 잎을 가지는 최소 들어오는 차수 3인 강하게 연결된 방향성 그래프가 존재함을 보여, $n^{1/3}$ 경계가 최악의 경우 날카롭지 않음을 입증한다.