[논문 리뷰] Incremental Cycle Detection, Topological Ordering, and Strong Component Maintenance

Bernhard Haeupler, Telikepalli Kavitha외 3명|NOT FOUND REPOSITORY (Indian Institute of Science Bangalore)|2011. 05. 12.

Computational Geometry and Mesh Generation참고 문헌 35인용 수 6

한 줄 요약

이 논문은 간선이 추가됨에 따라 방향 그래프에서 위상 순서를 유지하고 사이클을 탐지하기 위한 두 가지 증분 알고리즘을 제시한다. 첫 번째 알고리즘은 m개의 간선 추가에 대해 O(m^{3/2}) 시간에 실행되며, 희소 그래프의 경우 이전의 상한보다 로그 인자만큼 향상된다. 두 번째 알고리즘은 조밀한 그래프에 대해 O(n^{5/2}) 시간에 실행되며, 이는 이전의 상한보다 다항식 인자만큼 향상된다. 두 알고리즘은 동일한 시간 복잡도로 강한 연결 성분도 유지한다.

ABSTRACT

We present two on-line algorithms for maintaining a topological order of a directed $n$-vertex acyclic graph as arcs are added, and detecting a cycle when one is created. Our first algorithm handles $m$ arc additions in $O(m^{3/2})$ time. For sparse graphs ($m/n = O(1)$), this bound improves the best previous bound by a logarithmic factor, and is tight to within a constant factor among algorithms satisfying a natural {\em locality} property. Our second algorithm handles an arbitrary sequence of arc additions in $O(n^{5/2})$ time. For sufficiently dense graphs, this bound improves the best previous bound by a polynomial factor. Our bound may be far from tight: we show that the algorithm can take $Ω(n^2 2^{\sqrt{2\lg n}})$ time by relating its performance to a generalization of the $k$-levels problem of combinatorial geometry. A completely different algorithm running in $Θ(n^2 \log n)$ time was given recently by Bender, Fineman, and Gilbert. We extend both of our algorithms to the maintenance of strong components, without affecting the asymptotic time bounds.

연구 동기 및 목표

• 간선이 증분적으로 추가됨에 따라 방향 무순환 그래프에서 위상 순서를 효율적으로 유지하기 위한 온라인 알고리즘을 개발하는 것.
• 간선 삽입 과정에서 사이클이 생성되는 즉시 이를 탐지하는 것.
• 시간 복잡도의 점근적 증가 없이도 강한 연결 성분을 유지하기 위해 알고리즘을 확장하는 것.
• 특히 희소 및 조밀한 그래프에 대해 기존의 시간 상한을 향상시키는 것.

제안 방법

• 힙을 피하기 위해 동적 임계값 s를 사용하여 정점 가로질러 전진 및 역방향 탐색을 이끄는 소프트 임계값 검색 기법을 도입한다.
• 탐색 공간을 제한하고 비용이 많이 드는 힙 연산을 줄이기 위해 활성 및 비활성 정점 집합(F_A, F_P, B_A, B_P)을 유지한다.
• 임계값 s를 사용해 정점을 분할한다: F_P에 속한 정점은 > s, B_P에 속한 정점은 < s이며, 활성 정점은 어느 쪽이든 될 수 있다.
• 활성 집합 F_A 또는 B_A가 비어 있을 경우, s를 F_P에서 선택하여 갱신하고, s ≤ 인 정점들을 재활성화한다.
• 두 단계 탐색을 수행한다: w에서 전진 탐색과 v에서 역방향 탐색을 하며, 간선 탐색은 정점 비교와 함께 임계값 갱신에 의해 이끌린다.
• 완전히 힙 연산을 제거하여, O(log n) 삭제 연산을 동적 분할과 임계값 설정을 통해 O(1) 갱신으로 대체한다.

실험 결과

연구 질문

• RQ1 희소 그래프에 대해 증분적 위상 순서 정렬과 사이클 탐지가 O(m^{3/2}) 시간에 유지될 수 있는가?
• RQ2 새로운 데이터 구조를 사용해 조밀한 그래프에 대해 시간 복잡도를 O(n^{5/2})로 향상시킬 수 있는가?
• RQ3 동일한 점근적 상한을 강한 연결 성분 유지를 위해 확장할 수 있는가?
• RQ4 정점 가로질러 탐색에서 힙 연산을 완전히 제거하면서도 정확성과 효율성을 유지할 수 있는가?

주요 결과

• 첫 번째 알고리즘은 m개의 간선 추가에 대해 총 O(m^{3/2}) 시간에 도달하며, 희소 그래프의 경우 이전의 최선 상한보다 로그 인자만큼 향상된다.
• 두 번째 알고리즘은 O(n^{5/2}) 시간에 실행되며, 충분히 조밀한 그래프에 대해 이전의 상한보다 다항식 인자만큼 향상된다.
• 알고리즘의 성능은 Ω(n²2^{√(2 lg n)}) 이하로 경계지며, 이는 최악의 경우 상황에서 여전히 타이트하지 않을 수 있음을 시사한다.
• 두 알고리즘 모두 동일한 시간 복잡도로 강한 연결 성분을 유지하므로, 성분 추적을 필요로 하는 문제에 대한 적용 가능성을 확장한다.
• 소프트 임계값 검색 기법은 힙이 필요 없게 하여, O(log n) 연산을 O(1) 갱신으로 대체함으로써 개선된 상한을 가능하게 한다.