플래너 다이그래프 최소 사이클 O(n 로그 세제곱) 시간 알고리즘

초록

이 논문은 정점이 n개인 평면 방향 그래프에서 임의의 실수 가중치를 갖는 간선들의 최단 사이클(즉, 가중치가 가장 작은 사이클, girth)을 O(n·(log n)³) 시간과 O(n) 공간 안에 정확히 계산하는 알고리즘을 제시한다. 기존에 알려진 O(n³⁄²) 시간 알고리즘은 비음수 가중치에만 적용 가능했으나, 본 방법은 부호가 섞인 실수 가중치에도 그대로 적용된다. 또한, 존재한다면 해당 최단 사이클 자체를 동일한 복잡도 내에 복원할 수 있다.

상세 분석

본 연구의 핵심은 평면 그래프가 갖는 구조적 특성을 이용해 전통적인 최단 사이클 탐색을 고차원 로그 팩터만 남도록 압축하는 데 있다. 먼저, 평면 분리 정리를 이용해 그래프를 O(log n) 깊이의 분리 트리로 재귀적으로 분할한다. 각 분할 단계에서는 경계 정점 집합(Separator)만을 남기고 내부 서브그래프를 독립적으로 처리한다. 이때, 서브그래프 내에서 여러 출발점에 대한 최단 경로 정보를 한 번에 얻기 위해 ‘밀집 거리 그래프(Dense Distance Graph, DDG)’를 구축한다. DDG는 경계 정점들 사이의 거리만을 저장하므로 전체 그래프 크기에 비해 선형적인 메모리만 필요하고, 이후의 경로 질의에 대해 O(log n) 시간 내에 응답할 수 있다.

가중치가 음수를 포함할 경우 다익스트라와 같은 전통적인 알고리즘이 바로 적용되지 않는다. 이를 해결하기 위해 전통적인 잠재 함수(potential) 기법을 평면 그래프에 특화시킨다. 구체적으로, 각 서브그래프에 대해 전역적인 잠재 함수를 계산하고, 모든 간선 가중치를 w’(e)=w(e)+π(u)−π(v) 형태로 재가중한다. 재가중된 그래프는 음의 사이클을 제거하면서도 원래 사이클의 상대적 길이는 보존한다. 재가중 후에는 플라너 다익스트라(FR‑Dijkstra)와 같은 O(log n) 시간 복잡도의 최단 경로 서브루틴을 적용할 수 있다.

최단 사이클을 찾는 전형적인 방법은 모든 간선을 기준으로 “그 간선을 제외한 그래프에서 그 간선의 시작점에서 끝점까지의 최단 거리”를 구하고, 그 거리와 간선 가중치를 합산해 최소값을 취하는 것이다. 평면 분리와 DDG를 이용하면, 각 간선에 대해 전체 그래프를 다시 탐색할 필요 없이 해당 간선이 속한 서브그래프와 경계 DDG만을 사용해 거리 값을 얻을 수 있다. 전체 간선에 대해 이러한 연산을 수행하면 O(n·(log n)³) 시간이 확보된다. 여기서 (log n)³은 (1) 분리 트리 깊이 O(log n), (2) DDG 구축 시 사용되는 O(log n) 시간의 다중 출발점 최단 경로, (3) 재가중 후 FR‑Dijkstra의 로그 팩터가 곱해진 결과이다.

알고리즘의 정확성은 두 단계로 증명한다. 첫째, 잠재 함수에 의해 재가중된 그래프는 원 그래프와 동일한 사이클 가중순서를 유지하므로 최단 사이클이 변하지 않는다. 둘째, DDG와 분리 트리를 이용한 거리 질의가 실제 그래프 내의 최단 경로와 일치함을 보이기 위해 경계 정점 사이의 경로가 반드시 DDG에 포함된다는 평면 그래프의 ‘경로 교차 최소화’ 특성을 활용한다. 복잡도 분석에서는 각 레벨에서 O(n) 크기의 DDG를 만들고, 레벨당 O(n·log n) 시간으로 모든 거리 질의를 처리함을 보이며, 레벨 수가 O(log n)임을 이용해 최종 복합 시간 O(n·(log n)³)과 선형 공간을 얻는다.

마지막으로, 최단 사이클 자체를 복원하는 과정은 최소값을 만든 간선을 추적하고, 해당 간선에 대해 저장된 DDG 경로를 역추적함으로써 O(n·log n) 추가 시간 내에 가능함을 보여준다. 이는 기존 O(n³⁄²) 알고리즘 대비 실질적인 효율성 향상을 의미한다.