이진 트리와 버디 시스템 상태 수의 조합론적 분석

초록

본 논문은 n개의 노드를 갖는 이진 트리 중 k개의 잎을 가진 트리의 개수를 Narayana 수식으로 구하고, 모든 n노드 트리의 전체 잎 수를 도출한다. 이를 바탕으로 메모리 관리 기법인 버디 시스템의 가능한 상태 수를 정확히 계산한다.

상세 분석

논문은 먼저 순서가 있는 이진 트리(또는 평면 이진 트리)의 개수를 Catalan 수 Cₙ = (1/(n+1))·(2n choose n) 로 정의한다. 그 다음, n개의 노드 중 정확히 k개의 잎을 갖는 트리의 개수를 Narayana 수 N(n,k) = (1/n)·(n choose k)·(n choose k‑1) 로 표현한다. 이 식은 Catalan 수의 세분화 형태이며, k=1…n에 대해 Σₖ N(n,k)=Cₙ 임을 확인한다.

전체 트리 집합에서 잎의 총 개수 Lₙ는 각 트리의 잎 수를 합산한 것으로,
Lₙ = Σₖ k·N(n,k).
조합론적 항등식과 대칭성을 이용하면 Lₙ = Cₙ·(n+1)/2 라는 간단한 형태로 정리된다. 즉, 평균적으로 n노드 이진 트리 하나당 잎의 기대값은 (n+1)/2 이다.

버디 시스템은 메모리를 2^i 크기의 블록으로 분할·합치는 방식이며, 각 블록의 할당·해제 상태는 완전 이진 트리의 구조와 일대일 대응한다. 메모리 전체 크기를 2^m 라고 하면, 가능한 블록 배치는 m개의 내부 노드를 갖는 이진 트리와 동일하게 매핑된다. 따라서 버디 시스템의 전체 상태 수 Sₘ는 Catalan 수 Cₘ 로 표현된다. 또한, 특정 크기의 블록이 k개 존재하는 상태 수는 N(m,k) 와 동일하게 계산된다.

이러한 연결 고리를 통해, 기존에 경험적으로 추정되던 버디 시스템 상태 수를 정확히 수학적으로 정의하고, 메모리 할당 알고리즘의 복잡도 분석에 활용할 수 있다. 논문은 또한 상태 전이 그래프의 크기와 평균 깊이 등을 추정함으로써, 시스템 설계 시 메모리 파편화와 성능 저하를 예측하는 데 실용적인 지표를 제공한다.