[논문 리뷰] The landscape of bounds for binary search trees

Parinya Chalermsook, Mayank Goswami외 3명|arXiv (Cornell University)|2016. 03. 15.

Computational Geometry and Mesh Generation참고 문헌 3인용 수 4

한 줄 요약

이 논문은 이진 탐색 트리(BST)에서 효율적인 성능을 가능하게 하는 구조적 성질를 체계적으로 이해하고 분류하기 위한 프레임워크를 제안하며, 다중 손가락 지연 손가락과 같은 새로운 경계를 제안하고 이러한 경계의 계층을 수립한다. 이는 Greedy 알고리즘이 $d$-분해 가능한 수열에 대해 최적의 $O(n\log d)$ 비용을 달성함을 입증하며, 기존의 지연 손가락 경계가 패턴을 피하는 수열을 설명하지 못함을 보여, 동적 최적성에 대한 새로운 장벽을 드러낸다.

ABSTRACT

Binary search trees (BSTs) with rotations can adapt to various kinds of structure in search sequences, achieving amortized access times substantially better than the Theta(log n) worst-case guarantee. Classical examples of structural properties include static optimality, sequential access, working set, key-independent optimality, and dynamic finger, all of which are now known to be achieved by the two famous online BST algorithms (Splay and Greedy). (...) In this paper, we introduce novel properties that explain the efficiency of sequences not captured by any of the previously known properties, and which provide new barriers to the dynamic optimality conjecture. We also establish connections between various properties, old and new. For instance, we show the following. (i) A tight bound of O(n log d) on the cost of Greedy for d-decomposable sequences. The result builds on the recent lazy finger result of Iacono and Langerman (SODA 2016). On the other hand, we show that lazy finger alone cannot explain the efficiency of pattern avoiding sequences even in some of the simplest cases. (ii) A hierarchy of bounds using multiple lazy fingers, addressing a recent question of Iacono and Langerman. (iii) The optimality of the Move-to-root heuristic in the key-independent setting introduced by Iacono (Algorithmica 2005). (iv) A new tool that allows combining any finite number of sound structural properties. As an application, we show an upper bound on the cost of a class of sequences that all known properties fail to capture. (v) The equivalence between two families of BST properties. The observation on which this connection is based was known before - we make it explicit, and apply it to classical BST properties. (...)

연구 동기 및 목표

• 기존의 구조적 경계와 새로운 구조적 경계 간의 관계를 이진 탐색 트리(BST)에서 systematic하게 정리하고 명확히 하며, 특히 효율적인 액세스 패턴을 설명하는 데 기여하는 경계들에 초점을 맞춘다.
• 동적 손가락이나 워킹 세트와 같은 고전적 경계로는 설명되지 않는 액세스 시퀀스의 효율성을 설명하는 새로운 구조적 성질를 식별하고 체계화한다.
• 특정 수열이 심지어 고급 경계 하에서도 압축하기 어려운 점을 보여, 동적 최적성 증명에 대한 새로운 이론적 장벽을 설정한다.
• 다양한 BST 경계 간의 관계를 통합하고 명확히 하며, 두 가족의 경계가 동치임을 보여, 기존 성질에 대한 더 단순하고 직관적인 증명 프레임워크를 제공한다.
• 임의의 유한 개의 타당한 구조적 경계를 조합할 수 있는 일반 도구를 개발하여, 이전에 알려진 모든 경계를 피하는 수열의 분석을 가능하게 한다.

제안 방법

• 다중 손가락 지연 손가락 모델을 일반화한 $k$-지연 손가락 경계의 계층을 도입하고, 그 타당성을 증명한다.
• 확률적 구성 기법을 사용하여 어려운 수열을 생성: 각 단계에서 $2k$개의 요소에 대해 랜덤 액세스 수열을 생성하고, 각 단계에서 $X$번 반복하며 총 $Y$단계로 구성한다.
• 집중도 및 체적 추론을 적용하여, 랜덤 집합 $R_i$가 주어진 트리 $T$에서 거리 $d$ 이내의 두 요소를 포함하는 경우(즉, $d$-좋음)의 확률을 근사한다. 이때 $d$-구의 체적에 대한 상한으로 $3^d$를 사용한다.
• [$n$에 대한 모든 가능한 BST에 대해 유니온 바운드를 적용하여, 구성된 수열에 대해 어떤 트리도 낮은 $k$-지연 손가락 비용을 달성할 수 있는 확률이 양수임을 보인다.
• 두 가족의 BST 경계 간의 동치성을 활용하여, Splay나 Greedy에 대한 기존 결과를 더 직관적인 증명 틀로 재도출한다.
• 새로운 복합 도구를 통해 다수의 타당한 경계를 조합하여, 이전에 알려진 모든 경계를 피하는 수열에 대한 상한을 도출할 수 있다.

실험 결과

연구 질문

• RQ1 패턴을 피하는 수열의 효율성은 기존의 구조적 경계, 예를 들어 지연 손가락이나 워킹 세트 경계로 설명될 수 있는가?
• RQ2 Greedy 알고리즘이 $d$-분해 가능한 수열에 대해 달성할 수 있는 최적의 경계는 무엇이며, 이는 이전의 지수적 경계를 초월해 향상시킬 수 있는가?
• RQ3 액세스 시퀀스의 점점 더 복잡한 구조적 패턴을 포괄하는 $k$-지연 손가락 경계의 계층이 존재하는가?
• RQ4 임의의 유한 개의 타당한 구조적 경계를 하나의 더 강력한 경계로 조합할 수 있는 일반적인 방법을 개발할 수 있는가?
• RQ5 기존의 어떤 경계에도 포함되지 않는 타당한 구조적 성질가 존재하는가? 만약 그렇다면, 이러한 성질은 동적 최적성의 한계를 어떻게 드러내는가?

주요 결과

• Greedy 알고리즘이 $d$-분해 가능한 수열에 대해 $O(n\log d)$ 비용을 달성함을 입증하여, FOCS 2015에서 제시된 이전의 $n2^{O(d^2)}$ 경계보다 크게 향상시켰다.
• $k$-지연 손가락 경계는 심지어 단순한 경우에서도 패턴을 피하는 수열의 효율성을 설명하지 못함을 보여, 새로운 구조적 성질가 필요함을 입증한다.
• 최근 Iacono와 Langerman가 제기한 다중 손가락 일반화에 대한 열린 질문에 대해, $k$-지연 손가락 경계의 계층을 도입함으로써 해결하였다.
• Move-to-root 히وري즘이 키 국소성 없이도 최적임을 증명하여, 이는 특정 수열에 대한 효율성의 타당성을 확인한다.
• 임의의 유한 개의 타당한 구조적 경계를 조합할 수 있는 새로운 복합 도구를 개발하여, 이전에 알려진 모든 경계를 피하는 수열에 대한 상한을 도출할 수 있게 하였다.
• 논문은 두 가족의 BST 경계가 동치임을 입증하여, 이들의 상호관계를 명확히 하고 Splay 및 Greedy에 대한 고전적 결과에 대한 더 직관적인 증명 틀을 제공하였다.