계층형 메모리 모델에서 최적 이진 탐색 트리 설계
본 논문은 메모리 접근 비용이 계층에 따라 달라지는 계층형 메모리 모델(HMM)에서, 성공·실패 탐색 확률이 주어진 키 집합에 대한 최적 이진 탐색 트리(BST)를 구성하는 방법을 연구한다. 일반 h 수준의 HMM과 특수히 두 단계(h=2)인 경우에 대해 동적 프로그래밍 기반의 정확 알고리즘 두 가지와, 근사적 선형 시간 알고리즘을 제시한다. 또한 임의의 비용 함수 μ에 대해 최적 BST 구성 문제가 NP‑complete일 가능성을 제시한다.
저자: Shripad Thite
논문은 먼저 현대 컴퓨터 시스템에서 메모리 접근 비용이 계층적으로 차등되는 현상을 소개하고, 이를 모델링하기 위한 Hierarchical Memory Model(HMM)을 정의한다. HMM은 레벨 1부터 h까지의 메모리 계층을 갖으며, 주소 a에 대한 접근 비용을 정수 함수 μ(a)로 표현한다. 같은 레벨에 속하는 모든 주소는 동일 비용을 갖고, 레벨 번호가 클수록 비용이 증가한다. 이러한 비균일 메모리 환경에서, 성공 탐색 확률 p_i와 실패 탐색 확률 q_j가 주어진 키 집합 {x₁,…,x_n}에 대해, 기대 탐색 비용을 최소화하는 이진 탐색 트리(BST)를 어떻게 구성하고 메모리에 배치할 것인가가 핵심 문제이다.
1. **배경 및 기존 연구**
- RAM 모델에서의 최적 BST 문제는 Knuth의 O(n²) DP 알고리즘과 그 개선 버전으로 잘 알려져 있다.
- 비균일 메모리 모델에 대한 연구는 외부 메모리 알고리즘, 캐시 모델, 그리고 메모리 계층 모델 등으로 나뉘며, 대부분은 탐색·정렬 알고리즘의 I/O 복잡도에 초점을 맞춘다.
- 그러나 키와 노드의 메모리 배치를 동시에 고려하는 최적 BST 문제는 아직 충분히 다루어지지 않았다.
2. **문제 정의**
- 입력: 키 집합 X={x₁<…
원본 논문
고화질 논문을 불러오는 중입니다...
댓글 및 학술 토론
Loading comments...
의견 남기기