평면 그래프 정확 거리 오라클의 새로운 경계

초록

이 논문은 평면 그래프에서 정점 간 정확한 최단 거리를 빠르게 조회할 수 있는 거리 오라클을 설계한다. 공간 S에 따라 전처리 시간 Õ(S)와 쿼리 시간 Õ(n/√S)를 달성하며, 선형 공간에서도 n^{1/2+ε} 이하의 서브선형 쿼리 시간을 제공한다. 또한 간선 길이가 1 이상인 경우 거리 D에 대해 Õ(min{D,√n})의 쿼리 시간을 보장한다. 핵심은 O(√n) 크기의 비자기 교차 사이클에 대한 거리 정보를 Õ(c) 시간에 반환하는 새로운 데이터 구조이며, 이는 기존의 면 경계 구조를 일반화한 것이다.

상세 분석

본 연구는 평면 그래프에서 정확 거리 오라클을 구성하는 데 있어 공간‑시간 트레이드오프를 크게 개선한다. 기존에는 Cabello, Djidjev, Fakcharoenphol‑Rao 등이 제시한 O(n^σ) 공간(σ∈(1,4/3))에 대해 쿼리 시간이 O(n^{2‑σ}) 수준이었으며, 이는 공간이 늘어날수록 선형에 가까운 시간 복잡도를 유지하지 못했다. 논문은 먼저 “비자기 교차 사이클 C(크기 c=O(√n))”에 대해 전처리를 수행하면, 전체 그래프 G에 대해 Õ(n) 시간과 O(n·log log c) 공간을 사용해, 임의의 정점 u에 대해 C의 모든 정점까지의 거리를 Õ(c) 시간에 반환할 수 있는 구조를 제시한다. 이 구조는 Klein의 면 경계 거리 보고 기법을 확장한 것으로, 사이클을 여러 개의 면으로 분할하고 각각에 대해 다중 소스‑싱글 타깃 Dijkstra를 효율적으로 결합한다.

이 사이클 기반 도구를 이용해 그래프를 재귀적으로 r‑분할(또는 r‑분할 트리)로 분해한다. 각 레벨에서 사이클 경계에 대한 거리 정보를 저장하고, 하위 서브그래프에 대해 동일한 과정을 반복한다. 전처리 단계에서 전체 공간 S를 자유롭게 선택할 수 있게 설계했으며, 레벨당 저장되는 경계 정보의 총량이 O(S) 이하가 되도록 조정한다. 쿼리 시에는 대상 정점 쌍 (s,t)의 LCA(최소 공통 조상) 경계를 찾아, 해당 레벨의 사이클 거리 정보를 이용해 s와 t 사이의 정확 거리를 합산한다. 이 과정에서 각 레벨마다 Õ(√(n/ S_i)) 시간(여기서 S_i는 해당 레벨에서 할당된 공간)만 소요되므로, 전체 쿼리 시간은 Õ(n/√S)로 축소된다.

특히, S=n인 선형 공간 경우에는 레벨 깊이가 O(log n)이고, 각 레벨에서 Õ(√n) 시간만 필요하므로 최종 쿼리 시간은 O(n^{1/2+ε})가 된다. 이는 최초로 이론적으로 보장된 서브선형 정확 거리 오라클이다. 또한, 모든 간선 길이가 최소 1인 경우에는 거리 D에 비례하는 Õ(min{D,√n}) 쿼리 시간을 달성한다. 이는 거리 자체가 작은 경우에 거의 상수 시간에 가까운 응답을 가능하게 하며, 실험적으로 관찰되던 현상을 정량적으로 설명한다.

복잡도 분석에서는 전처리 시간 Õ(S)와 저장 공간 O(S)가 서로 일치함을 보이며, 쿼리 시간의 상한이 √(n^2/S) 형태임을 증명한다. 이는 기존 O(n^2/S)보다 제곱근 개선된 결과이며, 특히 k‑다중 거리 문제(k∈