클로프‑프리 그래프에서 최단 홀을 찾는 전역 구조 기반 알고리즘

초록

본 논문은 클로프‑프리 그래프의 구조 정리를 이용해 최단 홀(길이≥5인 홀) 탐색을 O(m² + n² log n) 시간에 수행하는 알고리즘을 제시한다. Fouquet의 보조정리를 통해 문제를 quasi‑line 그래프로 제한하고, Chudnovsky‑Seymour의 quasi‑line 구조 정리를 활용해 선형 구간 그래프와 선형 구간 스트립의 조합으로 분해한다. 이후 각 스트립에서 최단·준최단 스팬을 구하고, 이를 기반으로 가중치 그래프에서 최단 홀을 찾음으로써 전체 복잡도를 기존 O(n m²) 알고리즘보다 크게 개선한다.

상세 분석

이 논문의 핵심은 클로프‑프리 그래프가 세 가지 경우 중 하나에 반드시 속한다는 Fouquet 보조정리(정점이 bisimplicial이거나 이웃에 C₅가 존재하거나 그래프가 quasi‑line)이다. α(G)≥3인 경우는 quasi‑line 그래프에 한정되며, 이러한 그래프는 Chudnovsky‑Seymour가 제시한 구조정리에서 두 가지 기본 형태, 즉 원형 구간 그래프와 선형 구간 스트립의 조합으로 완전하게 기술된다. 저자들은 먼저 비선형 동질 쌍(clique pair)을 O(m²) 시간에 제거하여 그래프를 “정제된” quasi‑line 형태로 만든다.

선형 구간 스트립(S, X, Y)은 양 끝단이 각각 X, Y라는 두 클리크로 고정된 선형 구간 그래프이며, 이 스트립 안에서 “스팬(span)”이라 부르는 X와 Y 사이의 경로를 찾는 것이 핵심 작업이다. 논문은 최단 스팬과 그보다 정확히 한 정점 더 긴 준최단 스팬을 O(m) 시간에 구할 수 있음을 증명한다. 스팬의 존재 여부와 길이는 홀의 홀수/짝수 성질을 조정하는 데 사용된다.

원형 구간 그래프의 경우, 모든 정점이 원 위에 배치되고 인접성은 호(arc) 포함 관계로 정의된다. 여기서는 임의의 간선을 고정하고, 그 양 끝점의 시계/반시계 이웃 집합을 이용해 선형 구간 스트립으로 변환한 뒤 위의 스팬 알고리즘을 적용한다. 이 과정은 전체 그래프에 대해 O(m²) 시간 안에 수행된다.

조합된 스트립 구조에서는 각 스트립을 하나의 가중치(edge weight = 스팬 길이)로 축소하여 다중 그래프 H를 만든다. H의 각 간선 e에 대해, e가 포함된 스트립이 준최단 스팬을 갖는 경우(집합 E⁺)에는 해당 간선을 제거하고 Dijkstra 알고리즘을 이용해 최소 가중치 사이클을 찾는다. 사이클 길이가 홀수이면 원래 그래프에서 홀을 복원할 수 있다. E⁺의 크기가 O(n)임을 이용해 전체 탐색은 O(n² log n)으로 제한된다.

마지막으로 E⁺에 속하지 않는 스트립을 모두 제거하면 남는 부분은 다중 그래프 H₀의 선형 그래프, 즉 원래 그래프의 라인 그래프와 동형이다. 여기서는 길이 ≥5인 최단 홀을 찾기 위해 C₅ 탐색 후, C₅가 없을 경우 홀의 끈(Chord) 구조 제한을 이용해 O(|V(H₀)||E(H₀)| + |V(H₀)|² log |V(H₀)|) 시간에 최단 홀을 찾는다.

전체 알고리즘의 복합 복잡도는 (1) C₅ 탐색 및 비선형 동질 쌍 제거 단계 O(m²), (2) 스트립 스팬 계산 O(m), (3) 가중치 사이클 탐색 O(n² log n)으로, 최종적으로 O(m² + n² log n)이다. 이는 기존 O(n m²) 알고리즘보다 현저히 빠르며, 현재 알려진 클로프‑프리 그래프 인식 알고리즘(O(m^{1.69}) ∩ O(n^{3.5}) 등)과도 비슷한 수준이다.

이 논문은 전역 구조를 활용한 접근법이 로컬 탐색보다 효율적일 수 있음을 보여주며, quasi‑line 그래프의 세밀한 구조 이해가 홀 탐색 문제 해결에 직접적인 이득을 제공한다는 중요한 교훈을 제공한다.