[논문 리뷰] Faster algorithms for computing maximal 2-connected subgraphs in sparse directed graphs

Shiri Chechik, Thomas Dueholm Hansen외 3명|arXiv (Cornell University)|2017. 01. 16.

Interconnection Networks and Systems인용 수 12

한 줄 요약

이 논문은 희박한 방향성 그래프에서 최대 2-간선 및 2-정점 연결 부분그래프를 계산하는 데 더 빠른 알고리즘을 제안하며, O(m^{3/2})의 시간 복잡도를 달성하여 이전의 O(n²) 및 O(mn)의 경계보다 상당한 향상이다. 이 접근법은 상수 k에 대해 k-간선 연결성으로 확장되며, O(m^{3/2} log n)의 시간 복잡도를 얻어 희박한 그래프에서 이전의 O(n² log n) 방법보다 뛰어나다.

ABSTRACT

Connectivity related concepts are of fundamental interest in graph theory. The area has received extensive attention over four decades, but many problems remain unsolved, especially for directed graphs. A directed graph is 2-edge-connected (resp., 2-vertex-connected) if the removal of any edge (resp., vertex) leaves the graph strongly connected. In this paper we present improved algorithms for computing the maximal 2-edge- and 2-vertex-connected subgraphs of a given directed graph. These problems were first studied more than 35 years ago, with O(mn) time algorithms for graphs with m edges and n vertices being known since the late 1980s. In contrast, the same problems for undirected graphs are known to be solvable in linear time. Henzinger et al. [ICALP 2015] recently introduced O(n2) time algorithms for the directed case, thus improving the running times for dense graphs. Our new algorithms run in time O(m3/2), which further improves the running times for sparse graphs.The notion of 2-connectivity naturally generalizes to k-connectivity for k > 2. For constant values of k, we extend one of our algorithms to compute the maximal k-edge-connected in time O(m3/2 log n), improving again for sparse graphs the best known algorithm by Henzinger et al. [ICALP 2015] that runs in O(n2 log n) time.

연구 동기 및 목표

• 방향성 그래프에서 최대 2-간선 및 2-정점 연결 부분그래프를 효율적으로 계산하는 데 오랫동안 해결되지 않은 과제를 다루며, 이는 무방향 그래프보다 계산적으로 더 어렵다.
• 무방향 그래프에서 이 문제들이 선형 시간 내로 해결 가능하다는 점과는 대비하여, 방향성 그래프에서의 더 느리고 최적화되지 않은 해법 사이의 격차를 메운다.
• 희박한 방향성 그래프에서 시간 복잡도를 향상시키며, 이전 알고리즘들이 여전히 최악의 경우 O(mn) 또는 O(n²)로 제한되어 있음에도 불구하고 이를 개선한다.
• 2-연결성의 경우를 초월하여, 상수 k > 2에 대해 k-간선 연결 부분그래프를 효율적으로 계산할 수 있도록 개선된 효율성을 일반화한다.

제안 방법

• 희박한 방향성 그래프에 특화된 고급 그래프 분해 기법을 활용하여, 이전 방법보다 더 효율적으로 2-간선 및 2-정점 연결 성분을 식별한다.
• 희박성의 특성을 활용하는 새로운 알고리즘 프레임워크를 설계하여, 최대 2-연결 부분그래프를 탐지하기 위해 필요한 간선 및 정점 순회 수를 줄인다.
• 고급 분해 및 이진 상승 스타일의 정밀화를 통해 k-간선 연결성에 대해 시간 복잡도에 로그 인자를 도입한다.
• 깊이 우선 탐색 변형과 동적 데이터 구조를 조합하여 부분그래프 탐색 중 연결 정보를 유지한다.
• 희박한 그래프에서의 알고리즘 성능을 최적화하기 위해, 저도수 정점과 간선 지배적 구조에 집중하여 불필요한 계산을 줄인다.

실험 결과

연구 질문

• RQ1 희박한 그래프에서 방향성 그래프의 최대 2-간선 연결 부분그래프를 계산하는 데 있어 O(n²)를 초월한 시간 복잡도 향상을 이룰 수 있는가?
• RQ2 희박한 방향성 그래프에서 2-정점 연결 부분그래프 계산에 대해 2차 이하 시간 복잡도를 달성할 수 있는가?
• RQ3 2-연결성에 대해 개발된 기법을 일반화하여, 상수 k > 2에 대해 최대 k-간선 연결 부분그래프를 효율적으로 계산할 수 있는가?
• RQ4 새로운 알고리즘이 희박한 그래프 인스턴스에서 기존의 O(n²) 및 O(mn) 방법과 비교해 어떻게 성능을 냈는가?

주요 결과

• 제안된 알고리즘은 O(m^{3/2}) 시간 내에 최대 2-간선 및 2-정점 연결 부분그래프를 계산하며, 1980년대 후반의 O(mn) 경계보다 상당히 향상된다.
• 희박한 그래프에서는 새로운 O(m^{3/2}) 시간 복잡도가 Henzinger 등이 2015년에 확립한 O(n²) 경계보다 엄밀히 개선된다.
• 알고리즘은 상수 k에 대해 k-간선 연결 부분그래프로 확장되며, O(m^{3/2} log n) 시간 복잡도를 달성하여 이전의 O(n² log n) 경계를 초월한다.
• 이러한 향상은 m가 n에 가까운 희박한 그래프에서 가장 두드러지며, 새로운 경계가 이전 방법보다 점근적으로 더 빠르다.