[논문 리뷰] Improved Algorithms for Maintaining DFS Tree in Undirected Graphs.

Lijie Chen, Ran Duan외 2명|arXiv (Cornell University)|2016. 07. 17.

Algorithms and Data Compression참고 문헌 16인용 수 6

한 줄 요약

이 논문은 간선 및 정점 갱신에 대해 동적 갱신 환경에서 무방향 그래프 내 깊이 우선 탐색(DFS) 트리를 유지하기 위한 향상된 알고리즘을 제시한다. 이는 점진적, 고장 내성, 완전 동적 설정을 포함한다. 트리 분할 레미마 및 분수 캐스케이딩을 활용하여 점진적 갱신에 대해 최적의 $O(n)$ 최악의 경우 갱신 시간을 달성하고, 다른 설정에서는 $O(\text{polylog } n)$ 시간의 갱신 시간을 확보한다. 이는 이전의 결과보다 크게 향상된 것이다.

ABSTRACT

Depth first search (DFS) tree is one of the most well-known data structures for designing efficient graph algorithms. Given an undirected graph $G=(V,E)$ with $n$ vertices and $m$ edges, the textbook algorithm takes $O(n+m)$ time to construct a DFS tree. In this paper, we study the problem of maintaining a DFS tree when the graph is undergoing updates. Formally, we show the following results. Incremental DFS tree: Given any arbitrary online sequence of edge or vertex insertions, we can report a DFS tree in $O(n)$ worst case time per operation, and $O\left(\min\{m \log n + n \log^2 n, n^2\} ight)$ preprocessing time. Fault tolerant DFS tree: There exists a data structure of size $O(m \log n)$, such that given any set $\mathcal{F}$ of failed vertices or edges, it can report a DFS tree of the graph $G \setminus \mathcal{F}$ in $O(n|\mathcal{F}|\log^2 n)$ time. Fully dynamic DFS tree: Given any arbitrary online sequence of edge or vertex updates, we can report a DFS tree in $O(\sqrt{nm}\log^{1.5} n)$ worst case time per operation. Our result for incremental DFS tree improves the previous $O(n \log^3 n)$ worst case update time by Baswana et al., and matches the trivial $\Omega(n)$ lower bound when it is required to explicitly output the DFS tree. Our other results also improve the corresponding state-of-the-art results by Baswana et al. as well. Our work builds on the framework of the breakthrough work by Baswana et al., together with a novel use of a tree-partition lemma by Duan and Zhang, and the celebrated fractional cascading technique by Chazelle and Guibas.

연구 동기 및 목표

• 정점 및 간선 갱신 하에서 무방향 그래프 내 DFS 트리를 유지하기 위한 효율적인 동적 알고리즘을 설계하기 위해.
• Baswana 등에 의한 $O(n /\log^3 n)$의 경계를 포함해 이전 연구의 높은 갱신 시간을 극복하기 위해.
• 명시적으로 DFS 트리 구조를 보고함과 동시에 근사 최적 또는 최적의 최악의 경우 갱신 시간을 달성하기 위해.
• 정점 또는 간선 장애 발생 후 빠르게 DFS 트리를 복구함으로써 고장 내성을 지원하기 위해.

제안 방법

• Baswana 등이 제안한 프레임워크를 기반으로 하지만, Duan 및 Zhang의 트리 분할 레미마를 새로운 방식으로 적용하여 DFS 트리를 더 작은 관리 가능한 구성요소로 분해한다.
• 분수 캐스케이딩을 사용하여 동적 갱신 중 백엣지 탐색을 가속화함으로써 필요한 트리 간선을 찾고 재계산하는 데 소요되는 시간을 줄인다.
• 고장 내성 쿼리를 지원하기 위해 크기 $O(m \log n)$인 데이터 구조를 구성하여 $\mathcal{F}$개의 고장 이후 빠르게 DFS 트리를 재구성할 수 있도록 한다.
• 점진적 알고리즘은 동적 트리 데이터 구조를 사용해 부모 및 조상 관계를 효율적으로 유지함으로써 갱신당 $O(n)$ 최악의 경우 시간을 보장한다.
• 완전 동적 갱신의 경우 트리 분할과 분수 캐스케이딩을 조합하여 갱신당 $O(\sqrt{nm} \log^{1.5} n)$ 최악의 경우 갱신 시간을 달성한다.
• 사전처리 단계는 $O(\min\{m \log n + n \log^2 n, n^2\})$ 시간 내에 수행되어 이후 갱신을 위한 빠른 초기화를 가능하게 한다.

실험 결과

연구 질문

• RQ1 명시적 출력에 대한 비트리비얼 하한선을 고려할 때, 점진적 DFS 트리 유지에서 $O(n)$ 최악의 경우 갱신 시간을 달성할 수 있는가?
• RQ2 정점 또는 간선 고장 이후 DFS 트리 유지에서 고장 내성을 효율적으로 지원할 수 있는가?
• RQ3 완전 동적 DFS 트리 유지에 대해 가능한 최악의 경우 갱신 시간은 무엇인가?
• RQ4 점진적 갱신에 대해 이전 연구의 $O(n \log^3 n)$ 갱신 시간을 향상시킬 수 있는가?
• RQ5 정점 및 간선 갱신을 모두 지원하면서 갱신당 다항로그 또는 근사 선형 시간을 확보할 수 있는 동적 DFS 구조를 설계할 수 있는가?

주요 결과

• 점진적 DFS 트리 알고리즘은 명시적 출력에 대한 $\Omega(n)$ 하한선과 일치하는 최적의 $O(n)$ 최악의 경우 갱신 시간을 달성한다.
• 고장 내성 DFS 트리 데이터 구조는 $O(m \log n)$ 공간을 사용하며 $\mathcal{F}$개의 고장 이후 $O(n|\mathcal{F}|\log^2 n)$ 시간 내에 유효한 DFS 트리를 보고한다.
• 완전 동적 DFS 트리 알고리즘은 정점 및 간선 갱신의 임의의 온라인 시퀀스를 $O(\sqrt{nm} \log^{1.5} n)$ 최악의 경우 갱신 시간으로 지원한다.
• 사전처리 시간은 $O(\min\{m \log n + n \log^2 n, n^2\})$로 희박 그래프 및 조밀 그래프 모두에 대해 효율적이다.
• 제안된 모든 알고리즘은 Baswana 등의 최신 기준 결과를 특히 최악의 경우 갱신 시간과 공간 효율성 측면에서 향상시킨다.
• 트리 분할 레미마 및 분수 캐스케이딩의 사용은 특히 동적 환경에서 이전 방법에 비해 상당한 성능 향상을 이룬다.