[논문 리뷰] Fully-Functional Static and Dynamic Succinct Trees

Gonzalo Navarro, Kunihiko Sadakane|arXiv (Cornell University)|2009. 05. 06.

Algorithms and Data Compression참고 문헌 43인용 수 12

한 줄 요약

이 논문은 근사 최적의 공간인 2n + o(n) 비트를 사용하여 완전 기능적인 정적 및 동적 압축된 순서 트리(ordinal trees)를 가능하게 하는 새로운 범위 최소-최대 트리 데이터 구조를 제안한다. 복잡한 트리 연산을 크기가 O(polylog n)인 작은 부분트리에서의 상수 시간 원시 연산으로 줄임으로써, 대부분의 동적 연산에 대해 최적의 O(log n / log log n) 시간을 달성하고 이전 연구에 비해 중복도를 크게 향상시켰으며, 이는 압축된 시퀀스, BWT 구축, 동적 랭크/선택 쿼리 등에 적용된다.

ABSTRACT

We propose new succinct representations of ordinal trees, which have been studied extensively. It is known that any $n$-node static tree can be represented in $2n + o(n)$ bits and a number of operations on the tree can be supported in constant time under the word-RAM model. However the data structures are complicated and difficult to dynamize. We propose a simple and flexible data structure, called the range min-max tree, that reduces the large number of relevant tree operations considered in the literature to a few primitives that are carried out in constant time on sufficiently small trees. The result is extended to trees of arbitrary size, achieving $2n + O(n /\polylog(n))$ bits of space. The redundancy is significantly lower than any previous proposal. Our data structure builds on the range min-max tree to achieve $2n+O(n/\log n)$ bits of space and $O(\log n)$ time for all the operations. We also propose an improved data structure using $2n+O(n\log\log n/\log n)$ bits and improving the time to the optimal $O(\log n/\log \log n)$ for most operations. Furthermore, we support sophisticated operations that allow attaching and detaching whole subtrees, in time $\Order(\log^{1+ε} n / \log\log n)$. Our techniques are of independent interest. One allows representing dynamic bitmaps and sequences supporting rank/select and indels, within zero-order entropy bounds and optimal time $O(\log n / \log\log n)$ for all operations on bitmaps and polylog-sized alphabets, and $O(\log n \log σ/ (\log\log n)^2)$ on larger alphabet sizes $σ$. This improves upon the best existing bounds for entropy-bounded storage of dynamic sequences, compressed full-text self-indexes, and compressed-space construction of the Burrows-Wheeler transform.

연구 동기 및 목표

• 삽입 및 삭제를 포함한 모든 기본 연산을 지원하는 효율적이고 유연하며 압축된 동적 트리 데이터 구조의 부족을 해결한다.
• 기존의 압축된 트리 표현 방식에서 자주 나타나는 큰 하위항목(예: O(n log log n / √log n))을 줄여 공간 중복도를 감소시킨다.
• 기본적인 동적 트리 연산에 대해 최적의 O(log n / log log n) 시간 복잡도를 달성한다. 이는 알려진 바와 같이 기본 연산에 대해 날카로운 상한임을 확인한다.
• 서브트리 연결/분리 및 0차 엔트로피 범위 내에서의 동적 시퀀스 표현과 같은 복잡한 연산을 지원하기 위해 프레임워크를 확장한다.
• 압축된 텍스트 색인, 버러스-윌리엄스-트랜스폼(Burrows-Wheeler transform) 구축, 동적 압축 시퀀스에 대한 기존의 한계를 향상시키는 통합된 접근 방식을 제공한다.

제안 방법

• 크기가 O(polylog n)인 작은 부분트리에서 상수 시간 연산을 지원하는 핵심 데이터 구조로 범위 최소-최대 트리를 도입한다.
• 범위 최소-최대 트리를 기반으로 더 큰 트리를 재귀적으로 처리하여, 작은 트리의 원시 연산을 통해 전체 트리에서의 상수 시간 연산을 가능하게 한다.
• 범위 최소-최대 트리를 순서 트리의 균형 잠김 괄호(Balanced Parentheses, BP) 표현에 적용함으로써, 깊이, findopen, findclose, enclose 등의 연산을 효율적으로 지원한다.
• 동적 범위 최소-최대 트리를 유지하여 정적 구조를 동적 트리로 확장함으로써, 삽입 및 삭제 연산을 O(log n) 시간 내에 수행할 수 있도록 하며, 최적화된 변형을 통해 O(log n / log log n) 시간을 달성한다.
• 프레임워크를 활용해 관련 문제들을 해결한다: 동적 배열 합/검색, 동적 압축 시퀀스, 압축된 BWT 구축 등 모두 엔트로피 한계 내에서 수행된다.
• 균형 잠김 수열에서 랭크/선택의 하한을 증명함으로써 공간 최적성을 입증하며, 특정 연산에 대해 2n + o(n)의 중복도가 최적이며, 제안된 구조의 공간 효율성을 확인한다.

실험 결과

연구 질문

• RQ1 압축된 순서 트리에 대한 데이터 구조가, 서브트리 크기, 조상, 자식 등의 기본 연산을 상수 시간 내에 지원하면서도 중복도를 크게 줄일 수 있는가?
• RQ2 삽입, 삭제, 탐색을 근사 최적의 시간 내에 지원하면서도 공간 효율성을 유지하는 동적 압축 트리 구조를 설계할 수 있는가?
• RQ3 범위 최소-최대 트리 추상화가 정적 및 동적 환경에서 복잡한 트리 연산의 구현을 통합하고 단순화할 수 있는가?
• RQ4 O(log n / log log n) 시간 내에 동적 트리 연산을 지원하기 위해 필요한 최소 중복도는 얼마이며, 이를 실용적이고 조합 가능한 데이터 구조로 달성할 수 있는가?
• RQ5 압축된 트리 표현 방식을 어떻게 활용하여 동적 시퀀스, 압축된 텍스트 색인, BWT 구축과 같은 압축된 데이터 구조를 향상시킬 수 있는가?

주요 결과

• 정적 범위 최소-최대 트리는 2n + O(n / polylog(n)) 비트의 공간을 사용하며, 모든 표준 트리 연산을 상수 시간 내에 지원한다. 이는 이전 연구에 비해 중복도를 크게 감소시킨다.
• 동적 트리의 경우, 모든 연산에 대해 O(log n) 시간을 달성하며 공간은 2n + O(n / log n) 비트를 사용한다. 최적화된 변형을 통해 O(log n / log log n) 시간을 달성하며, 공간은 2n + O(n log log n / log n) 비트를 사용한다.
• 모든 ε > 0에 대해 O(log^{1+ε} n) 시간 내에 서브트리 연결 및 분리를 지원하여, 민감한 동적 트리 조작이 가능하다.
• 프레임워크를 통해 동적 배열 합 및 검색 연산, 0차 엔트로피 한계 내의 동적 압축 시퀀스에 대해 최적의 O(log n / log log n) 시간을 달성한다.
• 압축된 공간 내에서 버러스-윌리엄스-트랜스폼(Burrows-Wheeler transform) 구축의 시간 복잡도를 o(n log² n)으로 향상시켰으며, 이는 이전 방법보다 뛰어난 성능을 보인다.
• 논문은 균형 잠김 괄호 수열에서 특정 연산(예: 랭크/선택)에 대해 2n + o(n)의 중복도가 최적이며, 제안된 구조의 공간 효율성이 확인됨을 입증한다.