[논문 리뷰] Martingales and Profile of Binary Search Trees

Brigitte Chauvin, Thierry Klein외 2명|arXiv (Cornell University)|2004. 10. 07.

Stochastic processes and statistical mechanics참고 문헌 28인용 수 4

한 줄 요약

이 논문은 랜덤 순열 모델 하에서 이진 탐색 트리(BST)의 渐近(profile) 구조를 분석하기 위해 이산적 BST 과정을 연속시간 Yule 탄생 과정에 연속적으로 통합한다. 마팅게일 수렴 및 확률 치우침 기법을 활용하여 프ofile 마팅게일의 거의 확실 수렴을 확립하고, 이전 방법으로는 실패했던 임계값 $z = z_c^{\pm}$에서의 정확한 渐近적 행동을 도출한다.

ABSTRACT

We are interested in the asymptotic analysis of the binary search tree (BST) under the random permutation model. Via an embedding in a continuous time model, we get new results, in particular the asymptotic behavior of the profile.

연구 동기 및 목표

• 랜덤 순열 모델 하에서 이진 탐색 트리(BST)의 프로파일 渐近적 행동을 연구하는 것.
• 이전의 $L^2$ 방법으로는 실패했던 임계값 $z = z_c^{\pm}$에서 프로파일 마팅게일의 행동을 해결하는 것.
• 정지 시간에서 트리의 분포를 유지하는 쌍방향 기법을 통해 이산적 BST 과정과 연속시간 Yule 과정 간의 연결 고리를 설정하는 것.
• 전체 범위 $z \in (z_c^-, z_c^+)$에서 수준 $k \simeq 2z\log n$의 노드 수의 극한 분포를 도출하는 것.
• 변경 측도 기법을 사용하여 삽입 깊이와 편향된 내림줄의 행동을 조사하는 것.

제안 방법

• 이산적 BST 과정을 랜덤 시간 변화를 통해 연속시간 Yule 과정에 통합하여, $n$번째 삽입 시간 $\tau_n$이 Yule 트리에서 $n+1$번째 잎에 대응되도록 한다.
• Yule 과정의 독립성 구조를 활용하여 연속시간 마팅게일 $M_t(z)$를 통해 프로파일 마팅게일 $\mathcal{M}_n(z)$를 분석한다.
• 확률 치우침(Gärtner-Ellis 정리)을 적용하여, 특히 $z = z_c^{\pm}$에서 마팅게일의 행동을 편향 측도 하에서 연구한다.
• Yule 과정에서 깊이 $d(t)$와 잎 수 $N_t$의 공동 생성함수 $\mathbb{E}[z^{d(t)} s^{N_t}]$를 도출하여 극한 정리의 기반을 마련한다.
• 마팅게일 $\mathcal{M}_n(z)$ 및 그 도함수의 수렴을 이용하여 일반화된 Quicksort 방정식을 일반화한 분할 공식 (41)을 유도한다.
• $\mathbb{P}^{(2z)}$ 하에서 측도 변경 기법을 적용하여, $e^{-t}(N_t - 1 + 2z)$가 치우친 측도 하에서 마팅게일임을 보이고, $N_t$의 수렴 결과를 도출한다.

실험 결과

연구 질문

• RQ1 랜덤 BST에서 수준 $k \simeq 2z\log n$의 노드 수의 거의 확실한 渐近적 행동은 무엇인가?
• RQ2 이전의 $L^2$ 방법으로는 실패했던 임계값 $z = z_c^{\pm}$에서 프로파일 마팅게일 $\mathcal{M}_n(z)$의 행동은 어떠한가?
• RQ3 BST 과정을 Yule 과정에 통합하는 방식이 프로파일 및 삽입 깊이에 대한 새로운 수렴 결과를 도출하는 데 사용될 수 있는가?
• RQ4 BST에서 삽입 깊이 $d_n$의 극한 분포는 무엇이며, 거의 확실하게 어떻게 행동하는가?
• RQ5 특정 내림줄을 선호하는 방식으로 BST의 진화를 편향시키면 트리의 전반적 구조에 어떤 영향을 미치는가?

주요 결과

• 프로파일 마팅게일 $\mathcal{M}_n(z)$는 거의 확실하게 $\mathcal{M}_\infty(z)$로 수렴하며, 이는 $z \in (z_c^-, z_c^+)$에서는 양수이고, 그 외에는 0이다.
• 임계점 $z = z_c^{\pm}$에서, $\mathcal{M}_\infty(z^{\pm}) = 0$이 거의 확실하게 성립하며, 이는 이전에 열려 있던 질문을 해결한다.
• 마팅게일 극한의 도함수는 분할 공식 (41)을 만족하며, $z = 1$일 때 이는 Quicksort 방정식으로 축소된다.
• 삽입 깊이 $d_n$은 대수의 법칙을 만족한다: 확률적으로 $\frac{d_n}{2\log n} \to 1$이며, 분포적으로 $\frac{d_n - 2\log n}{\sqrt{2\log n}} \to \mathcal{N}(0,1)$이다.
• 거의 확실하게 $\liminf_{n \to \infty} \frac{d_n}{2\log n} = z_c^-$ 이고 $\limsup_{n \to \infty} \frac{d_n}{2\log n} = z_c^+$ 이며, 이는 중심극한정리가 거의 확실하게 성립하지 않음을 보여준다.
• 치우친 측도 $\mathbb{P}^{(2z)}$ 하에서 $e^{-t}(N_t - 1 + 2z)$는 마팅게일이며, $2z > 1$일 경우 거의 확실하게 수렴한다; $2z < 1$일 경우 $e^{-t}N_t$는 양의 초마팅게일이며 거의 확실하게 수렴한다.