[논문 리뷰] On computing the $2$-vertex-connected components of directed graphs

Raed Jaberi|arXiv (Cornell University)|2014. 01. 23.

Complexity and Algorithms in Graphs참고 문헌 7인용 수 7

한 줄 요약

이 논문은 방향 그래프에서 2-정점연결 성분(2-vccs)을 계산하기 위한 두 가지 새로운 알고리즘을 제안한다: 하나는 O(nm) 시간에 작동하고 다른 하나는 O(mn²) 시간에 작동하며, 이는 이루살림스키과 스베트로프의 알고리즘에 대한 이전의 O(nm²) bound를 향상시킨다. 또한 3-vccs에 대한 O(n³m) 알고리즘과 k-vccs에 대한 O(mn²ᵏ⁻³) 알고리즘을 제안하며, 최소 2-정점연결 스패닝 서브그래프를 위한 근사 알고리즘에의 적용을 다룬다.

ABSTRACT

In this paper we consider the problem of computing the $2$-vertex-connected components ($2$-vccs) of directed graphs. We present two new algorithms for solving this problem. The first algorithm runs in $O(mn^{2})$ time, the second in $O(nm)$ time. Furthermore, we show that the old algorithm of Erusalimskii and Svetlov runs in $O(nm^{2})$ time. In this paper, we investigate the relationship between $2$-vccs and dominator trees. We also present an algorithm for computing the $3$-vertex-connected components ($3$-vccs) of a directed graph in $O(n^{3}m)$ time, and we show that the $k$-vertex-connected components ($k$-vccs) of a directed graph can be computed in $O(mn^{2k-3})$ time. Finally, we consider three applications of our new algorithms, which are approximation algorithms for problems that are generalization of the problem of approximating the smallest $2$-vertex-connected spanning subgraph of $2$-vertex-connected directed graph.

연구 동기 및 목표

• 방향 그래프에서 2-정점연결 성분(2-vccs)을 효율적으로 계산하기 위한 알고리즘을 개발하는 것.
• 이루살림스키와 스베트로프의 알고리즘에 대해 이전에 분석되지 않은 실행 시간을 분석하여, 이 알고리즘이 O(nm²) 시간에 작동함을 보이는 것.
• 방향 그래프에서 2-vccs와 도미네이터 트리 간의 관계를 탐색하는 것.
• 2-vccs 계산 방법을 k ≥ 3에 대해 일반화하여 k-정점연결 성분(k-vccs)을 계산하는 데 응용하고, 일반적인 시간 복잡도를 O(mn²ᵏ⁻³)로 제시하는 것.
• 새로운 알고리즘을 이용해 최소 2-정점연결 스패닝 서브그래프를 찾기 위한 근사 알고리즘을 개발하는 것.

제안 방법

• 주어진 정점이 포함된 2-vcc를 먼저 계산함으로써, 모든 2-vcc를 O(mn²) 시간에 계산하는 새로운 알고리즘을 제안한다.
• 정점 지배성과 플로우그래프 성질을 기반으로 한 개선된 접근 방식을 사용하여, 모든 2-vcc를 O(nm) 시간에 계산하는 더 효율적인 두 번째 알고리즘을 설계한다.
• 플로우그래프의 도미네이터 트리 구조를 이용해 강한 절점(strong articulation points)을 식별하고, 성분 분해를 이끌어내는 데 활용한다.
• 중복되는 2-vccs를 슈퍼정점으로 압축하는 코arsened 그래프 개념을 적용하여 근사 문제를 단순화한다.
• 개별 2-vcc들에 대해 기존의 k-정점연결 스패닝 서브그래프 근사 알고리즘(예: 케리아단-서리멜라 및 조지아디스)을 활용하여 전역적인 근사치를 구성한다.
• 모든 2-vcc들의 크기 합이 3n 이하로 제한됨을 증명함으로써, 근사치의 분석을 효율적으로 수행할 수 있음을 보장한다.

실험 결과

연구 질문

• RQ1 방향 그래프의 2-vccs는 선형 시간에 계산될 수 있는가, 아니면 O(nm)이 최선의 복잡도인가?
• RQ2 이루살림스키와 스베트로프의 2-vccs 알고리즘의 정확한 시간 복잡도는 무엇이며, 새로운 방법과 비교해 볼 때 어떻게 되는가?
• RQ3 2-vccs는 방향 그래프에서 도미네이터 트리와 어떻게 관련되어 있으며, 이 관계를 효율적인 계산에 활용할 수 있는가?
• RQ4 2-vccs를 계산하는 알고리즘은 k ≥ 3에 대해 일반화될 수 있는가, 그리고 그러한 일반화의 시간 복잡도는 무엇인가?
• RQ5 새로운 2-vcc 알고리즘을 이용해 최소 2-정점연결 스패닝 서브그래프를 위한 개선된 근사 알고리즘을 설계할 수 있는가?

주요 결과

• 이루살림스키와 스베트로프의 2-vccs 계산 알고리즘은 O(nm²) 시간에 작동하며, 이는 그 방법에 대한 첫 번째 공식적인 시간 복잡도 분석이다.
• 새로운 알고리즘은 모든 2-vccs를 O(mn²) 시간에 계산하며, 이는 이 문제에 대해 이전의 최선의 복잡도를 향상시킨다.
• 두 번째로 더 효율적인 알고리즘은 모든 2-vccs를 O(nm) 시간에 계산하여, 이 문제에 대해 현재까지 알려진 가장 좋은 시간 복잡도를 달성한다.
• 3-vccs를 계산하는 알고리즘은 O(n³m) 시간에 작동하며, 일반적인 k-vccs 알고리즘은 O(mn²ᵏ⁻³) 시간에 작동한다.
• 방향 그래프에서 모든 2-vcc들의 크기 합은 3n 이하로 제한되며, 이는 효율적인 근사 알고리즘을 지원한다.
• 세 가지 근사 알고리즘을 개발하였다: O(nm) 시간에 작동하는 최소 2-정점연결 스패닝 서브그래프에 대한 1.5-근사 알고리즘, 강한 연결 버전에 대한 5/3-근사 알고리즘, 코어스닝된 그래프 변형에 대한 1.5-근사 알고리즘으로, 모두 O(nm) 시간에 작동한다.