[논문 리뷰] A New Framework for Strong Connectivity and 2-Connectivity in Directed Graphs.

Loukas Georgiadis, Giuseppe F. Italiano외 1명|arXiv (Cornell University)|2015. 11. 09.

Distributed systems and fault tolerance참고 문헌 19인용 수 5

한 줄 요약

이 논문은 m개의 간선과 n개의 정점을 가진 방향 그래프에서 O(m+n) 시간의 사전 처리 후, 강한 연결성과 2-연결성에 대한 최적의 최악의 경우 쿼리를 가능하게 하는 O(n)-공간 데이터 구조를 제안한다. 단일 간선 또는 정점 삭제 후 강한 연결 성분의 보고, 세기, 크기 계산을 O(n) 총 시간 내에 지원하며, 2-간선/정점 연결성 쿼리는 존재성 확인에 O(1) 시간, k개의 분리 간선 또는 정점 보고에 O(k) 시간을 소요한다.

ABSTRACT

In this paper, we investigate some basic problems related to the strong connectivity and to the $2$-connectivity of a directed graph, by considering the effect of edge and vertex deletions on its strongly connected components. Let $G$ be a directed graph with $m$ edges and $n$ vertices. We present a collection of $O(n)$-space data structures that, after $O(m+n)$-time preprocessing can accomplish the following tasks: $(i)$ Report in $O(n)$ worst-case time all the strongly connected components obtained after deleting a single edge (resp., a single vertex) in $G$. $(ii)$ Compute the total number of strongly connected components obtained after deleting a single edge (resp., vertex) in total worst-case $O(n)$ time for all edges (resp., for all vertices). $(iii)$ Compute the size of the largest and of the smallest strongly connected components obtained after deleting a single edge (resp., vertex) in total worst-case $O(n)$ time for all edges (resp., for all vertices). All our bounds are tight. After the same $O(m+n)$-time preprocessing, we can also build an $O(n)$-space data structure that can answer in asymptotically optimal time the following basic $2$-edge and $2$-vertex connectivity queries on directed graphs: $(i)$ Test whether an edge or a vertex separates two query vertices in $O(1)$ worst-case time. $(ii)$ Report all edges or all vertices that separate two query vertices in optimal worst-case time. If there are $k>0$ separating edges (resp., separating vertices), then the time is $O(k)$ in the worst case. If there are no separating edges (resp., separating vertices), then the time is $O(1)$ in the worst case.

연구 동기 및 목표

• 단일 간선 또는 정점 삭제 상황에서 방향 그래프의 강한 연결성과 2-연결성을 효율적으로 유지하고 쿼리하는 데 도전하는 문제를 다루기.
• 단일 삭제 후 강한 연결 성분의 보고, 세기, 크기 계산을 빠르게 지원하는 데이터 구조를 개발하기.
• 쿼리 쌍 간의 분리 간선 또는 정점의 테스팅과 보고를 포함하여 2-간선 및 2-정점 연결성 쿼리에 대해 최적의 시간 복잡도를 확보하기.
• 모든 연산에서 시간 및 공간 복잡도를 엄격히 유지하여 최악의 경우 성능에서 이론적 최적성을 달성하기.

제안 방법

• 방향 그래프 G에 대해 O(m+n) 시간의 사전 처리 단계 동안 O(n)-공간 데이터 구조를 구성한다.
• 간선 및 정점 삭제 상황에서의 도달 가능성과 강한 연결성 정보를 인코딩하기 위해 그래프 분해 기법을 활용한다.
• 경로 기반 및 성분 추적 구조를 사용하여 단일 삭제 후 성분 변화에 대한 쿼리를 O(n) 총 시간 내에 응답한다.
• 도달 가능성 오라클과 성분 레이블링 체계를 통합하여, 두 쿼리 정점 사이를 분리하는 간선 또는 정점이 존재하는지 O(1) 시간 내에 테스트할 수 있도록 한다.
• 출력에 민감한 보고 메커니즘을 설계하여, k > 0일 경우 k개의 분리 간선 또는 정점을 O(k) 시간 내에 반환하고, 존재하지 않을 경우 O(1) 시간 내에 반환한다.
• 모든 데이터 구조가 공간 효율적이며, 최악의 경우 최적의 쿼리 성능을 보장한다.

실험 결과

연구 질문

• RQ1 단일 간선 또는 정점 삭제 후 강한 연결 성분을 효율적으로 보고할 수 있도록 방향 그래프를 사전 처리할 수 있는가?
• RQ2 모든 단일 간선 또는 단일 정점 삭제에 대해 총 강한 연결 성분 수를 O(n) 총 시간 내에 계산할 수 있는가?
• RQ3 모든 단일 간선 또는 정점 삭제 후 형성된 성분 중 가장 크고 가장 작은 성분의 크기를 O(n) 총 시간 내에 계산할 수 있는가?
• RQ4 2-간선 및 2-정점 연결성 쿼리—분리 간선 또는 정점의 존재 여부 테스팅과 보고—를 최악의 경우 시간 복잡도에서 최적으로 해결할 수 있는가?

주요 결과

• 제안된 데이터 구조는 단일 간선 또는 정점 삭제 후 강한 연결 성분을 O(n) 최악의 경우 시간 내에 보고할 수 있다.
• 모든 단일 간선 또는 정점 삭제에 대해 총 강한 연결 성분 수를 O(n) 최악의 경우 시간 내에 전체적으로 계산할 수 있다.
• 모든 단일 간선 또는 정점 삭제 후 형성된 성분 중 가장 크고 가장 작은 성분의 크기를 O(n) 최악의 경우 시간 내에 모든 간선 또는 정점에 대해 계산할 수 있다.
• 데이터 구조는 방향 그래프에서 두 쿼리 정점 사이를 분리하는 간선 또는 정점이 존재하는지 O(1) 시간 내에 테스트할 수 있다.
• k > 0일 경우 두 쿼리 정점 사이의 모든 분리 간선 또는 정점을 O(k) 최악의 경우 시간 내에 보고할 수 있고, 존재하지 않을 경우 O(1) 시간 내에 보고할 수 있다.
• 모든 시간 및 공간 복잡도 한계가 날카롭게 유지되어 고려된 문제들에 대해 이론적 최적의 최악의 경우 성능을 달성한다.