[논문 리뷰] Finding All Bounded-Length Simple Cycles in a Directed Graph

Anshul Gupta, Toyotaro Suzumura|arXiv (Cornell University)|2021. 05. 21.

Algorithms and Data Compression참고 문헌 11인용 수 12

한 줄 요약

이 논문은 차수(order)에 따라 정점 순서를 정렬하고 깊이 우선 탐색과 사이클 제거 기법을 활용하여, 거의 균일한 차수 $d$를 가진 그래프에서 길이가 $k$ 이하인 모든 단순 사이클을 찾는 새로운 결정론적 알고리즘을 제시한다. 이로 인해 시간 복잡도는 $O((c+n)(k-1)d^k)$ 수준을 달성한다. 이 방법은 실질적으로 매우 효율적이며, 웹-버크스타인 및 soc-pokec와 같은 실제 그래프에서 수십억 개의 사이클을 처리할 수 있고, 대규모 응용 프로그램을 위한 효과적인 병렬 처리를 지원한다.

ABSTRACT

A new efficient algorithm is presented for finding all simple cycles that satisfy a length constraint in a directed graph. When the number of vertices is non-trivial, most cycle-finding problems are of practical interest for sparse graphs only. We show that for a class of sparse graphs in which the vertex degrees are almost uniform, our algorithm can find all cycles of length less than or equal to $k$ in $O((c+n)(k-1)d^k)$ steps, where $n$ is the number of vertices, $c$ is the total number of cycles discovered, $d$ is the average degree of the graph's vertices, and $k > 1$. While our analysis for the running time addresses only a class of sparse graphs, we provide empirical and experimental evidence of the efficiency of the algorithm for general sparse graphs. This algorithm is a significant improvement over the only other deterministic algorithm for this problem known to us; it also lends itself to massive parallelism. Experimental results of a serial implementation on some large real-world graphs are presented.

연구 동기 및 목표

• 대규모 희박한 방향성 그래프에서 길이 ≤k인 모든 단순 사이클을 찾는 실용적 요구를 해결하기 위해, 사회 네트워크, 금융 및 통신 그래프 분석에서 흔히 요구되는 요구사항을 충족한다.
• 기존 방법보다 뛰어난 성능을 보이는 결정론적, 확장 가능하고 효율적인 알고리즘을 개발한다.
• 균일한 차수 가정 하에 이론적 시간 복잡도 한계를 제시하고, 다양한 실제 그래프에서 성능을 실증적으로 검증한다.
• 정점 재정렬 및 대규모 병렬 처리를 지원함으로써 실용적 구현을 가능하게 하여, 대규모 그래프에서의 확장성을 향상시킨다.

제안 방법

• Johnson의 알고리즘에 영감을 받은 수정된 깊이 우선 탐색(DFS) 전략을 사용하며, 중복된 사이클 탐색을 방지하기 위해 정점 차단 및 해제 기법을 적용한다.
• 정점의 총 차수 순으로 재번호를 매겨 탐색 경로 수를 줄이고, 제거 효율성을 향상시킨다.
• 각 정점 $s$에 대해, 정점 ${ s, s+1, \dots, n \u007D$ 에 의해 유도되는 부분그래프에서 사이클 탐색을 수행하며, 가장 작은 정점으로만 사이클이 한 번만 발견되도록 보장한다.
• 탐색은 길이가 $k$ 이하인 경로로 제한되며, 경로가 시작 정점 $s$로 되돌아오고 다른 정점을 재방문하지 않을 경우에만 사이클을 수집한다.
• 실패한 경로의 재처리를 방지하기 위해 뒤로 백 트레일(Blists)을 유지하여 정확성과 효율성을 확보한다.
• 병렬 처리가 용이하도록 설계되어, 각 시작 정점별로 독립적인 사이클 탐색이 가능하여, 대규모 그래프에서의 대량 병렬 실행이 가능하다.

실험 결과

연구 질문

• RQ1 대규모 희박한 방향성 그래프에서 길이 ≤k인 모든 단순 사이클을 효율적으로 나열할 수 있는 결정론적 알고리즘이 존재하는가? 이 경우 사이클 수가 지수적으로 증가할 수 있다.
• RQ2 정점의 차수 기반 재정렬이 실질적인 사이클 나열 알고리즘 성능에 어떤 영향을 미치는가?
• RQ3 거의 균일한 정점 차수를 가정할 때, 제안된 알고리즘의 이론적 시간 복잡도는 어떻게 되는가?
• RQ4 비균일한 차수 분포를 가진 실제 그래프에서 수십억 개의 간선을 가진 그래프에 대해 알고리즘이 얼마나 확장 가능한가?
• RQ5 초대규모 그래프를 시리얼 실행이 불가능한 수준에서 처리하기 위해 알고리즘을 효과적으로 병렬화할 수 있는가?

주요 결과

• 단일 CPU를 사용하여 soc-pokec 그래프에서 길이 ≤6인 최대 6.11×10¹¹개의 사이클을 성공적으로 탐지하였고, 15분 이내에 완료되었다.
• k=5일 경우, wiki-topcats 그래프에서 정점의 차수 기반 정렬이 실행 시간을 100배 이상 단축시켜, 정점 순서 정렬의 핵심적 역할을 입증하였다.
• empirical 비율 $T / ((c+n)(k-1)\min(e,d^k))$ 는 $k$와 $c$가 증가할수록 감소하여, 알고리즘이 실질적으로 이론적 상한선을 초월해 더 잘 작동함을 나타낸다.
• SNAP 레포지토리의 모든 테스트 그래프에서 알고리즘의 실행 시간은 $c$와 $k$에 대해 선형 이하로 증가하여, 비균일한 차수 분포가 존재하더라도 강건함을 보였다.
• k=6일 경우 web-BerkStan 그래프는 10일 이상 소요되어 작업이 중단되었으며, 이는 순차적 실행에서의 실질적 $k$와 그래프 크기의 상한선을 시사한다.
• 알고리즘의 설계는 자연스럽게 대규모 병렬 처리를 지원하여, 향후 분산 환경에서의 구현을 통해 더 큰 그래프로의 확장 가능성을 보장한다.