그래프에서 경로와 사이클 찾기

초록

본 논문은 모든 시작·끝 정점 쌍에 대해 존재하는 모든 길이의 경로와 사이클을 다항 시간 내에 판별할 수 있는 알고리즘을 제시한다. 인접 행렬의 반복 제곱과 동적 프로그래밍을 결합해 전이 폐쇄와 순환 검출을 동시에 수행함으로써 기존의 지수적 탐색을 대체한다.

상세 분석

이 논문은 그래프 이론에서 가장 기본적이면서도 난이도가 높은 문제인 “모든 경로와 사이클을 찾는” 문제에 대해 새로운 다항 시간 해결책을 제시한다. 기존의 깊이 우선 탐색(DFS)이나 너비 우선 탐색(BFS)은 특정 시작점에서 목표점까지의 경로를 찾는 데는 효율적이지만, 모든 가능한 경로와 사이클을 열거하려면 지수적인 시간 복잡도가 불가피했다. 저자들은 이 한계를 극복하기 위해 두 가지 핵심 아이디어를 도입한다. 첫째, 인접 행렬 A에 대해 A^k (k는 1부터 n까지) 를 계산함으로써 길이 k인 경로 존재 여부를 행렬 원소로 바로 확인한다. 여기서 행렬 곱셈을 빠른 알고리즘(예: Strassen 또는 Coppersmith‑Winograd)으로 구현하면 전체 복잡도를 O(n^ω·log n) 수준으로 낮출 수 있다. 둘째, 동적 프로그래밍 테이블 P