[논문 리뷰] Biconnectivity, chain decomposition and $st$-numbering using $O(n)$ bits

Sankardeep Chakraborty, Venkatesh Raman외 1명|arXiv (Cornell University)|2016. 06. 28.

Interconnection Networks and Systems인용 수 6

한 줄 요약

이 논문은 압축된 DFS 트리 표현과 효율적인 트리 분할 기법을 사용하여, 이중 연결성, 2-간선 연결성, 절점/절연선 탐지, 체인 분해, st-번호 부여와 같은 기본 그래프 문제에 대해 O(n)-비트 공간 알고리즘을 제시한다. 이 방법은 작은 상수 c ≤ 2에 대해 O(m lg^c n lg lg n) 시간을 달성하며, 시간 복잡도가 거의 최적에 가까운 상태를 유지하면서도 공간 효율성을 크게 향상시킨다.

ABSTRACT

We consider space efficient implementations of some classical applications of DFS including the problem of testing biconnectivity and $2$-edge connectivity, finding cut vertices and cut edges, computing chain decomposition and $st$-numbering of a given undirected graph $G$ on $n$ vertices and $m$ edges. Classical algorithms for them typically use DFS and some $\Omega (\lg n)$ bits\footnote{We use $\lg$ to denote logarithm to the base $2$.} of information at each vertex. Building on a recent $O(n)$-bits implementation of DFS due to Elmasry et al. (STACS 2015) we provide $O(n)$-bit implementations for all these applications of DFS. Our algorithms take $O(m \lg^c n \lg\lg n)$ time for some small constant $c$ (where $c \leq 2$). Central to our implementation is a succinct representation of the DFS tree and a space efficient partitioning of the DFS tree into connected subtrees, which maybe of independent interest for designing other space efficient graph algorithms.

연구 동기 및 목표

• 오직 O(n) 비트 메모리만을 사용하여 고전적인 DFS 기반 그래프 문제에 대해 공간 효율적인 알고리즘을 설계하기.
• Elmasry 등이 제안한 O(n)-비트 DFS 구현을 확장하여 이중 연결성 및 st-번호 부여와 같은 고급 그래프 응용을 지원하기.
• 일般적으로 정점당 Ω(lg n) 비트가 필요한 전통적인 DFS 기반 알고리즘의 공간 복잡도를 전체적으로 O(n) 비트로 감소시키기.
• 절점, 절연선, 체인 분해와 같은 구조적 그래프 성질을 선형 공간 내에서 효율적으로 계산할 수 있도록 하기.

제안 방법

• 필수적인 구조적 정보를 유지하면서 공간 사용을 최소화하기 위해 DFS 트리의 압축 표현을 활용하기.
• O(n) 비트 공간 내에서 효율적인 순회 및 성질 계산을 지원하기 위해 DFS 트리를 연결된 부분트리로 분할하기.
• 모든 후속 그래프 알고리즘의 기초로 Elmasry 등의 O(n)-비트 DFS 프레임워크를 사용하기.
• DFS 순회 중에 발견 시간, 최소값, 트리 관계를 추적하기 위한 공간 효율적인 데이터 구조 설계하기.
• 분할 기법을 적용하여 이중 연결성 및 2-간선 연결성 컴ponent의 점진적 계산을 가능하게 하기.
• 압축된 데이터 구조를 활용하고 중복 작업을 최소화하여 시간 복잡도를 O(m lg^c n lg lg n)로 최적화하기 (작은 상수 c ≤ 2).

실험 결과

연구 질문

• RQ1 이중 연결성과 2-간선 연결성을 near-optimal 시간 복잡도를 유지하면서도 오직 O(n) 비트 메모리만을 사용하여 테스트할 수 있는가?
• RQ2 DFS 기반 기법을 사용하여 O(n) 비트 공간에서 체인 분해와 st-번호 부여를 어떻게 효율적으로 계산할 수 있는가?
• RQ3 O(n) 비트 공간 내에서 DFS 트리의 효율적 표현과 순회를 가능하게 하는 압축된 데이터 구조는 무엇인가?
• RQ4 DFS 트리를 O(n) 비트 공간 내에서 연결된 부분트리로 분할하여 모듈러한 그래프 알고리즘 설계를 지원할 수 있는가?
• RQ5 공간 제약 조건이 있는 환경에서 DFS를 사용하여 절점과 절연선을 계산하기 위해 필요한 최소 공간 오버헤드는 얼마인가?

주요 결과

• 논문은 오직 O(n) 비트 메모리만을 사용하여 이중 연결성, 2-간선 연결성, 절점 및 절연선 탐지, 체인 분해, st-번호 부여를 성공적으로 구현하였다.
• 모든 알고리즘이 작은 상수 c ≤ 2에 대해 O(m lg^c n lg lg n) 시간 내에 실행되어 거의 최적의 시간 복잡도를 달성하였다.
• 제안된 압축 DFS 트리 표현은 O(n) 비트 공간 내에서 부모, 자식, 발견 시간에 대한 효율적 접근을 지원한다.
• 트리 분할 기법은 연결된 부분트리를 고립시켜 모듈러하고 공간 효율적인 그래프 성질 계산을 가능하게 한다.
• 이 프레임워크는 여러 고전적인 DFS 응용으로 일반화되며, O(n)-비트 접근 방식의 유연성을 입증한다.
• 복잡한 그래프 알고리즘도 시간 효율성을 포기하지 않고 선형 공간 내에서 구현될 수 있음을 입증하였다.