최적 조상 라벨링 스킴

초록

본 논문은 루트가 있는 n개의 노드로 구성된 트리에서 조상 관계를 라벨만으로 판단할 수 있는 라벨링 스킴을 제시한다. 기존 최상위 상한인 log n + O(√log n) 비트를 log n + O(log log n) 비트로 개선함과 동시에 라벨링을 선형 시간에 수행하고, 쿼리 응답을 상수 시간에 처리한다.

상세 분석

이 논문은 조상 라벨링 문제의 이론적 한계와 실용적 요구를 동시에 만족시키는 새로운 스킴을 설계한다. 기존의 간단한 인터벌 기반 방법은 각 노드에 DFS 번호와 그 서브트리의 최대 번호를 저장해 2 log n 비트 라벨을 만든다. 이후 여러 연구가 라벨 크기를 점진적으로 감소시켰지만, 최종적으로는 log n + O(√log n) 비트가 최선이었으며, 하한은 log n + Ω(log log n) 비트였다. 저자들은 이 격차를 메우기 위해 “heavy‑light” 분할과 “local quasi‑ancestor” 개념을 도입한다. 트리의 각 비리프 노드에 대해 가장 큰 서브트리 무게를 가진 자식을 “heavy”로 지정하고, 나머지를 “light”로 구분한다. 각 노드 u에 대해 sup(u) 를 u와 루트 사이에서 가장 깊은 light 노드로 정의함으로써, 모든 노드가 자신보다 높은 레벨의 인터벌을 갖도록 구조화한다.

라벨은 두 부분으로 구성된다. 첫 번째는 u의 DFS 번호와 sup(u)의 DFS 번호를 이용해 만든 인터벌 I(u)이며, 두 번째는 sup(u) 자체의 인터벌 I(sup(u))이다. 라벨링 과정은 DFS 순회를 수행하면서 light‑child 를 우선 방문하도록 순서를 정하고, 이를 통해 인터벌이 “부분 순서”(local partial order, lpo) 조건을 만족하도록 배치한다. lpo1은 I(u)가 sup(u)와 sup(parent(u))의 교집합에 포함되는 것을 요구하고, lpo2는 u의 모든 local quasi‑ancestor가 만든 인터벌보다 앞선(≺) 위치에 있음을 보장한다. 이러한 조건을 만족하면, 조상 관계는 두 개의 간단한 테스트(d1, d2)만으로 정확히 판단할 수 있다: d1은 I(v)⊂I(sup(u))이고, d2는 I(u)≺I(v) 혹은 I(u)=I(sup(u))이다.

라벨 크기 분석에서는 인터벌을 선택할 때 가능한 구간 집합 U의 크기를 O(n / log n) 정도로 제한한다. 각 인터벌을 인코딩하는 데는 log |U| ≈ log n 비트가 필요하고, sup(u) 정보를 추가로 O(log log n) 비트만 더하면 된다. 따라서 전체 라벨 길이는 log n + O(log log n) 비트가 된다. 알고리즘 전체는 한 번의 DFS와 간단한 상수 시간 연산만으로 라벨을 할당하므로 선형 시간 복잡도를 가진다. 쿼리 단계에서도 라벨만을 이용해 정수 비교와 비트 연산만 수행하므로 RAM 모델에서 상수 시간에 답을 얻는다.

이 스킴은 기존의 상수 시간·선형 라벨링을 제공하던 log n + O(√log n) 비트 스킴보다 라벨 크기만큼 크게 개선하면서도 구현 복잡도와 실행 효율성을 유지한다. 특히 XML 검색 엔진 등 메모리 제한이 엄격한 실용 환경에서 라벨 크기 감소가 직접적인 성능 향상으로 이어질 수 있다.