선형 시간 알고리즘으로 풀어낸 교차가 적은 기하 그래프

초록

이 논문은 정점 수 n에 비해 로그 반복함수만큼 작은 교차 수 k를 갖는 연결된 기하 그래프에 대해, 비교 기반 모델에서 가능한 선형‑시간(O(n)) 알고리즘을 제시한다. 주요 결과는 평면화, O(√n) 분리자 구성, 그리고 Voronoi 다이어그램과 단일 출발점 최단 경로 문제에 대한 선형‑시간 해결법이다. 또한, 교차가 서브선형인 비단순 다각형의 삼각분할 문제(Chazelle의 열린 문제)를 기대 선형 시간에 해결한다.

상세 분석

본 연구는 “제한된 교차 그래프(restained graph)”라는 새로운 그래프 클래스를 정의한다. 여기서 제한은 정점 수 n에 대해 교차 수 k가 n/log⁽ᶜ⁾ n 이하인 경우이며, log⁽ᶜ⁾ n은 c번째 로그 반복함수이다. 이러한 가정 하에 그래프의 평면화(Planarization)를 수행하면, 원래 그래프 G의 정점 n과 교차점 k를 합한 n+k 개의 정점, 그리고 최대 3n+3k−6 개의 간선으로 이루어진 평면 그래프 G′를 얻는다. 핵심 아이디어는 무작위 샘플링과 트라페조이달 분할(trapezoidal decomposition)을 결합해 (1/r)-컷팅을 효율적으로 구축하는 것이다. 구체적으로, 먼저 전체 간선을 로그 반복에 비례하는 확률로 샘플링하고, 샘플에 대한 베틀리‑오트만(Bentley‑Ottmann) 알고리즘으로 교차점을 정밀히 찾는다. 이렇게 얻은 트라페조이달 셀마다 충돌 리스트 C(t)를 유지하며, 각 셀에 대해 αₜ=|C(t)|·r/n 으로 정의된 과잉 정도가 1을 초과하면 추가 샘플 Rₜ를 추출해 다시 셀을 세분한다. Clarkson‑Shor 프레임워크에 의해, 기대값으로 각 셀은 O(n/r) 이하의 원래 간선만을 포함하게 되며, 전체 셀 수는 O(r+ (r/n)k) 로 제한된다. 여기서 r은 n/log⁽ˢ⁾ n 형태로 선택되므로, k가 서브선형이면 전체 복잡도는 O(n) 수준으로 수렴한다.

평면화가 완료되면, 기존의 O(√n) 분리자 이론을 그대로 적용할 수 있다. Lipton‑Tarjan의 평면 그래프 분리자와 Goodrich의 선형‑시간 재귀 분리자 구성 기법을 이용해, G′에 대해 O(√n) 크기의 정점 집합 W를 찾아 G′\W를 두 개의 부분 그래프 G₁, G₂ 로 나눈다. 이 과정은 전체 그래프에 대해 재귀적으로 수행되며, 깊이 O(log n) 이하에서 모든 단계가 선형 시간에 끝난다. 분리자 구조는 이후 Voronoi 다이어그램과 단일 출발점 최단 경로(SSSP) 알고리즘에 직접 활용된다. Voronoi 문제는 각 셀에 대해 가장 가까운 사이트를 로컬하게 결정하고, 분리자를 경계로 병합하는 divide‑and‑conquer 전략을 취한다. SSSP는 Dijkstra의 전통적 우선순위 큐 대신, 분리자 기반의 레벨 구조와 선형‑시간 BFS‑유사 탐색을 결합해 가중치 비교만으로 최단 거리 트리를 구축한다. 이때 가중치가 임의의 비교 가능 객체일 수 있다는 점이 기존의 유클리드 거리 전용 알고리즘과 차별된다.

또한, 논문은 Chazelle가 제시한 “비단순 다각형의 삼각분할” 문제에 대한 해결책을 제공한다. 비단순 다각형을 하나의 기하 그래프(각 변을 간선으로 보는)로 모델링하고, 위에서 설계한 평면화 절차를 적용하면 교차점이 k개인 경우 O(n+k) 시간에 전체 교차 배열을 얻는다. 이 배열을 기반으로 선형 시간 삼각분할을 수행하면, 기존에 알려진 O(n log* n + k) 기대 시간 알고리즘보다 교차가 적은 경우 확실히 우수한 성능을 보인다.

전체적으로 이 논문은 “교차가 적은” 기하 그래프에 대해, 평면화 → 분리자 → 문제 해결이라는 일관된 파이프라인을 제시함으로써, 비교 기반 모델에서도 선형 시간 복잡도를 달성할 수 있음을 증명한다. 이는 도로망, 전력망 등 실제 인프라 그래프가 교차가 제한적인 경우 실용적인 알고리즘 설계에 큰 영향을 미칠 것으로 기대된다.