근사 보장 휴리스틱 수축 계층: 최단 경로 탐색의 효율성과 정확성의 균형

초록

본 논문은 정확한 최단 경로 대신 (1+ε) 배 이내의 근사 경로를 보장하는 새로운 휴리스틱 수축 계층(Contraction Hierarchy, CH) 알고리즘을 제안합니다. 기존 CH의 노드 수축 과정을 수정하여, 대체 경로가 ε 배만큼 더 길더라도 단축 경로(shortcut) 추가를 회피함으로써 전처리 데이터 크기를 줄이고, 다양한 그래프 클래스와 다중 목적 함수에 적용 가능한 유연한 라우팅 프레임워크를 제공합니다.

상세 분석

이 논문의 핵심 기술적 기여는 수축 계층(CH)이라는 검증된 가속 기법에 근사 이론을 접목한 ‘휴리스틱 수축’ 개념 도입에 있습니다. 기존 CH는 노드를 순서대로 제거(수축)할 때, 인접 노드 간 최단 경로 거리가 유지되도록 반드시 단축 경로를 추가했습니다. 본 알고리즘(Algorithm 2)은 이를 완화하여, 두 인접 노드 v, w 사이에 노드 u를 거치지 않는 대체 경로 P의 실제 가중치 c(P)가 (1+ε)(˜c(v,u)+˜c(u,w))를 초과할 때만 단축 경로를 추가합니다. 여기서 ˜c는 각 간선에 부가된 ‘증거 메모리(witness memory)’ 가중치로, 근사 오차가 누적되는 것을 방지하는 핵심 장치입니다.

증거 경로 P가 단축 경로 생성을 막는 경우, 그 ‘델타’(γ = c(P)/(˜c(v,u)+˜c(u,w)) - 1)를 P를 구성하는 모든 간선의 ˜c 값에 분배하여 조정합니다(Lines 9-11). 이를 통해 Lemma 1이 보장하듯, 모든 간선에 대해 c(e)/(1+ε) ≤ ˜c(e) ≤ c(e) 관계가 유지됩니다. 이 ˜c는 전처리 중에만 사용되며, 실제 질의(Algorithm 3)에서는 기존 CH와 동일한 양방향 탐색을 수행합니다. 핵심은 Theorem 1의 증명에서 나타나듯, ˜c의 성질과 Lemma 2(모든 경로는 ‘상승-하강’ 형태의 경로로 변환 가능함)를 결합해 근사 보장이 이루어집니다.

또한 실용적 성능 향상을 위한 ‘휴리스틱 스톨-온-디맨드(Stall-on-Demand)’ 기법(Algorithm 5)을 제안합니다. 기존 정확 CH에서는 더 짧은 비상승 경로가 존재하면 노드 탐색을 중단(스톨)했지만, 근사 CH에서는 이 조건이 오작동을 일으킬 수 있습니다. 이를 수정한 새로운 스톨링 조건(수식 1)은 비상승 경로 구간에 (1+ε) 계수를 곱해 비교함으로써 Theorem 2가 입증하듯 근사 보장을 해치지 않으면서도 탐색 공간을 효과적으로 줄입니다.

이 접근법의 강점은 이론적 보장(1+ε 근사)과 실용적 효율(단축 경로 감소, 빠른 질의)을 동시에 추구한다는 점입니다. 특히 도로 네트워크 이외의 단위 디스크 그래프나, 시간 종속적 가중치, 다중 목적 함수(예: 시간과 거리) 등 기존 CH가 취약했던 영역으로의 적용 가능성을 열었다는 점이 의미 있습니다.