동적 소스와 디리클레 급수로 보는 트라이·BST 비용의 현실적 분석

초록

본 논문은 일반적인 정보 소스(동적 소스)를 모델링하고, 그 소스의 디리클레 급수 Λ(s)의 해석적 성질—특히 ‘tameness’—을 이용해 트라이와 이진 탐색 트리(BST)의 평균 비용을 정확히 표현하고, 소스의 수학적 특성(다이어오판트 근사 등)에 따라 얻어지는 점근적 오차 항을 규명한다.

상세 분석

논문은 먼저 문자열을 생성하는 확률적 소스를 일반화하여, 각 접두어 w에 대한 기본 확률 p_w 를 정의하고, 이를 이용해 Dirichlet 형식의 생성함수 Λ(s)=∑{w∈Σ*} p_w^s 를 도입한다. Λ(s)는 s=1에서 단순 극점을 가지며, 그 잔여값은 소스의 엔트로피 h(S)=1/Res{s=1}Λ(s) 로 해석된다. 트라이와 BST의 평균 비용을 분석하기 위해, 각각의 비용 T(n) (트라이 크기 R, 트라이 경로 길이 C, BST 심볼 경로 길이 B)를 다음과 같이 표현한다.

T(n)=n∑_{k≥2}(-1)^k {n\choose k} ϖ_T(k) , (5)

여기서 ϖ_T(s)는 Λ(s)와 단순한 대수적 변환으로 연결된다(예: ϖ_R(s)=(s−1)Λ(s), ϖ_C(s)=sΛ(s), ϖ_B(s)=2s(s−1)Λ(s)). 이 식은 교대합을 포함하므로 직접적인 점근적 전개가 어렵다. 저자들은 Nörlund–Rice 적분 공식(7)을 적용해 교대합을 복소평면 적분으로 변환하고, 적분 경로를 오른쪽으로 이동시켜 s=1 근처의 특이점 정보를 활용한다. 이 과정에서 핵심이 되는 것이 Λ(s)의 ‘tameness’ 정의이다.

R‑tame, S‑tame, H‑tame, periodic 등 네 종류의 tameness가 제시되며, 각각은 Λ(s)의 해석적 연속성, 극점의 유일성, 다항 성장, 그리고 정의된 영역(수직 스트립, 하이퍼볼릭 영역 등)에서의 성질을 규정한다. 특히, S‑tame(강한 tameness)은 ℜ(s)>1−δ인 수직 스트립에서 단일 극점(s=1)만을 허용하고, H‑tame(하이퍼볼릭 tameness)는 ℜ(s)>1−A|t|^α 형태의 영역에서 동일한 조건을 만족한다.

이러한 tameness가 확보되면, Rice 적분을 우측으로 이동시켜 주된 항(P_T(n))과 오차 항(E(n))을 명시적으로 분리할 수 있다. 주된 항은 엔트로피에 의해 결정된 1/h(S)·n·(log n)^k 형태이며, k는 해당 비용 함수 ϖ_T(s)의 극점 차수에 따라 0,1,2가 된다. 오차 항은 소스의 tameness 종류에 따라 다음과 같이 달라진다.

• S‑tame: E(n)=O(n^{1−δ}) (δ는 tameness 폭)
• H‑tame: E(n)=n·O(exp