동적 그래프 연결성의 새로운 결정적 한계

초록

본 논문은 완전 동적 그래프에서 정점 간 연결 여부를 판단하는 자료구조를 제시한다. 삽입·삭제 연산을 평균 O(log² n / log log n) 시간에 처리하고, 연결성 질의는 최악 O(log n / log log n) 시간에 수행한다. 이는 기존 Holm‑de Lichtenberg‑Thorup와 Thorup의 O(log² n) 업데이트 시간보다 개선된 결과이며, 동일한 포인터 머신 모델을 사용한다.

상세 분석

이 연구는 동적 그래프 연결성 문제에 대한 결정적 알고리즘의 시간 복잡도 한계를 크게 낮춘다. 핵심 아이디어는 기존의 트리 기반 스파닝 포레스트 구조를 보다 정교하게 관리하는 ‘레벨 트리’와 ‘클러스터’ 개념을 결합한 것이다. 각 레벨은 그래프의 현재 상태를 반영하도록 동적으로 재구성되며, 삽입·삭제 시 발생하는 구조 변화는 로그 스케일의 깊이를 갖는 트리에서 제한된 범위만을 갱신함으로써 amortized O(log² n / log log n) 비용을 달성한다. 특히, 클러스터 내부에서의 경로 압축과 포인터 재배치를 AC⁰ 연산만으로 구현함으로써 포인터 머신 모델의 제약을 만족한다. 질의 단계에서는 레벨 트리의 루트에서 목표 정점까지의 경로를 탐색하는데, 이때 각 레벨마다 로그 log n 수준의 스킵 리스트를 활용해 탐색 폭을 줄인다. 결과적으로 최악 경우에도 O(log n / log log n) 시간 내에 두 정점이 같은 스파닝 포레스트에 속하는지를 판단할 수 있다. 또한, 논문은 복잡도 분석을 통해 업데이트와 질의 연산이 서로 독립적으로 최적화될 수 있음을 증명한다. 이와 같은 설계는 기존의 무작위화 기법을 배제하고 순수 결정적 방법만으로도 동일하거나 더 나은 성능을 얻을 수 있음을 보여준다.