볼록 다면체 표면 위 최단 경로 탐색의 새로운 차원

초록

볼록 다면체 표면에서 두 점 사이 최단 경로를 빠르게 구하기 위한 자료구조를 제시한다. 기존 $O(n^{8+ε})$ 전처리와 $O(\log n)$ 질의 시간을 $O(n^{6+ε})$ 전처리로 개선했으며, 한 점이 변에 제한될 때는 $O(n^{5+ε})$ 전처리와 동일한 질의 시간을 달성한다. 또한 최단 경로의 모든 가능한 변 시퀀스를 $Θ(n^5)$ 복잡도로 정확히 열거하는 알고리즘을 $O(n^{5+ε})$ 시간에 구현한다.

상세 요약

이 논문은 볼록 다면체 $\mathcal{P}$ 위의 두 점 $s,t$ 사이 최단 경로를 질의하는 문제를 세 가지 관점에서 크게 진전시킨다. 첫째, 전통적인 연속 다익스트라(continuous Dijkstra) 기법은 파동 전파를 전면적으로 시뮬레이션하면서 $O(n^{8+ε})$ 정도의 전처리 복잡도를 요구한다. 저자들은 파동 전파를 계층적 구간으로 분할하고, 각 구간에서 발생하는 ‘컷-리시스(cut‑locus)’ 구조를 보다 정교하게 추적한다. 특히, 파동이 변을 가로지를 때 발생하는 이벤트를 ‘가시성 그래프’를 통해 압축하고, 이 그래프에 플래너 섹터 분할과 그래프 스파르시티(sparsity) 특성을 적용해 전체 이벤트 수를 $O(n^{6+ε})$ 로 낮춘다.

둘째, 한 점이 변에 고정되는 특수 경우를 다룰 때는 파동 전파가 시작점에서 변까지의 거리 함수만을 고려하면 된다. 이를 이용해 전처리 단계에서 변‑대‑변 가시성 관계를 미리 계산하고, 이 관계를 트리 형태의 계층 구조에 저장한다. 결과적으로 전처리 복잡도가 $O(n^{5+ε})$ 로 감소하면서도 $O(\log n)$ 질의 시간은 유지된다.

셋째, 최단 경로의 모든 가능한 변 시퀀스(‘edge‑sequence’)를 열거하는 문제는 기존에 $Θ(n^4)$개의 시퀀스가 존재하고, 이를 완전 탐색하면 $O(n^6\log n\log^* n)$ 시간이 소요된다는 것이 알려져 있었다. 저자들은 ‘컷‑리시스 트리’를 이용해 시퀀스 간의 포함 관계를 DAG(Directed Acyclic Graph) 형태로 모델링하고, 위상 정렬과 동적 프로그래밍을 결합해 각 시퀀스를 한 번씩만 방문하도록 설계한다. 이 과정에서 발생하는 중복 계산을 ‘스위핑(sweeping)’ 기법으로 제거함으로써 전체 복잡도를 $O(n^{5+ε})$ 로 끌어내었다.

핵심적인 기술적 통찰은 (1) 파동 전파 이벤트를 고차원 가시성 구조로 압축, (2) 플래너 구분과 그래프 스파르시티를 활용한 계층적 데이터 구조 설계, (3) 컷‑리시스와 DAG 기반의 시퀀스 열거 기법을 결합한 알고리즘적 혁신이다. 이러한 접근은 기존 $n$에 대한 다항식 차수를 크게 낮추면서도 최적의 $O(\log n)$ 질의 시간을 보장한다는 점에서 이론적·실용적 의미가 크다.