The Hierarchical Memory Model (HMM) of computation is similar to the standard Random Access Machine (RAM) model except that the HMM has a non-uniform memory organized in a hierarchy of levels numbered 1 through h. The cost of accessing a memory location increases with the level number, and accesses to memory locations belonging to the same level cost the same. Formally, the cost of a single access to the memory location at address a is given by (a), where : N N is the memory cost function, and the h distinct values of model the dierent levels of the memory hierarchy. We study the problem of constructing and storing a binary search tree (BST) of minimum cost, over a set of keys, with probabilities for successful and unsuccessful searches, on the HMM with an arbitrary number of memory levels, and for the special case h = 2. While the problem of constructing optimum binary search trees has been well studied for the standard RAM model, the additional parameter for the HMM increases the combinatorial complexity of the problem. We present two dynamic programming algorithms to construct optimum BSTs bottom-up. These algorithms run eciently under some natural assumptions about the memory hierarchy. We also give an ecient algorithm to construct a BST that is close to optimum, by modifying a well-known linear-time approximation algorithm for the RAM model. We conjecture that the problem of constructing an optimum BST for the HMM with an arbitrary memory cost function is NP-complete. iii To my father iv \Results? Why, man, I have gotten lots of results! If I nd 10,000 ways
|
7715
|
Computers and Intractability: A Guide to the Theory of NP-Completeness
– Garey, Johnson
- 1979
|
|
5825
|
Introduction to Algorithms
– Cormen, Leiserson, et al.
- 2001
|
|
4364
|
Elements of Information Theory
– Cover, Thomas
- 1991
|
|
3148
|
Computer Architecture: A Quantitative Approach
– Hennessy, Patterson
- 1996
|
|
1588
|
Computational Complexity
– Papadimitriou
- 1994
|
|
970
|
A bridging model for parallel computation
– Valiant
- 1997
|
|
537
|
Cache Memories
– Smith
- 1982
|
|
389
|
The Input/Output complexity of sorting and related problems
– Aggarwal, Vitter
- 1988
|
|
295
|
Self-adjusting binary search trees
– Sleator, Tarjan
- 1985
|
|
292
|
The Art of Computer Programming, Vol. 3: Sorting and Searching
– Knuth
- 1973
|
|
204
|
External memory algorithms and data structures: Dealing with massive data
– Vitter
|
|
135
|
Constructing optimal binary decision trees is npcomplete
– Hyafil, Rivest
- 1976
|
|
132
|
Data Structures and Algorithms 1: Sorting and Searching
– Mehlhorn
- 1984
|
|
118
|
A model for hierarchical memory
– Aggarwal, Alpern, et al.
- 1987
|
|
107
|
The uniform memory hierarchy model of computation. Algorithmica
– Alpern, Carter, et al.
- 1994
|
|
104
|
Hierarchical memory with block transfer
– Aggarwal, Chandra, et al.
- 1987
|
|
97
|
The influence of caches on the performance of sorting
– LaMarca, Ladner
- 1999
|
|
90
|
Communication complexity of PRAMs
– Aggarwal, Chandra, et al.
- 1990
|
|
87
|
Introduction to the Theory of Complexity
– Bovet, Crescenzi
- 1994
|
|
83
|
Optimum binary search trees
– Knuth
- 1971
|
|
71
|
Nonlinear Array Layouts For Hierarchical Memory Systems
– Chatterjee, Jain, et al.
- 1999
|
|
65
|
The influence of caches on the performance of heaps
– LaMarca, Ladner
- 1996
|
|
54
|
A method for the construction of minimum redundancy codes
– Human
- 1952
|
|
43
|
Bulk-Synchronous Parallel Computers
– Valiant
- 1989
|
|
41
|
DDM-A Cache-Only Memory Architecture
– Hagersten, Landin, et al.
- 1992
|
|
34
|
Models of Computation: Exploring the Power of Computing
– Savage
- 1998
|
|
32
|
Optimal computer search trees and variable-length alphabetic codes
– Hu, Tucker
- 1971
|
|
27
|
Near-linear time construction of sparse neighborhood covers
– Awerbuch, Berger, et al.
- 1998
|
|
25
|
Speed-up in dynamic programming
– Yao
- 1982
|
|
20
|
Placement of Records on a Secondary Storage Device to Minimize Access Time
– Grossman, Silverman
- 1973
|
|
20
|
Hierarchical Cache/Bus Architecture for Shared Memory Multiprocessors
– Jr
- 1987
|
|
19
|
Nearly optimal binary search trees
– Mehlhorn
- 1975
|
|
16
|
Virtual memory algorithms
– Aggarwal, Chandra
- 1988
|
|
16
|
I/O Complexity: The Red Blue Pebble Game
– Hong, Kung
- 1981
|
|
14
|
How to pack trees
– Gil, Itai
- 1999
|
|
9
|
An algorithm for the organization of information. SovietMathematics Doklady
– Adel'son-Vel'skii, Landis
- 1962
|
|
9
|
Blocking for external graph searching. Algorithmica
– Nodine, Goodrich, et al.
- 1996
|
|
8
|
The parallel hierarchical memory model
– Juurlink, Wijshoff
|
|
3
|
New lower bounds on the cost of binary search trees
– Prisco, Santis
- 1996
|
|
2
|
Optimal binary search trees
– Nagaraj
- 1997
|
|
1
|
Cache-ecient matrix transposition. [Online] ftp: //ftp.cs.unc.edu/pub/users/sc/papers/hpca00.pdf [September 17
– Chatterjee, Sen
- 2000
|
|
1
|
The Power of Parallel Time
– Mak
- 1995
|
|
1
|
A communication-time tradeo
– Papadimitriou, Ullman
- 1987
|
|
1
|
Linear time and memory-ecient computation
– Regan
- 1996
|