1.3 The Model of Computation

In this book, we will analyze the theoretical running times of operations on the data structures we study. To do this precisely, we need a mathematical model of computation. For this, we use the $\mathtt{w}$-bit word-RAM model. In this model, we have access to a random access memory consisting of cells, each of which stores a $\mathtt{w}$-bit word. This implies a memory cell can represent, for example, any integer in the set $\{0,\ldots,2^{\ensuremath{\mathtt{w}}}-1\}$.

In the word-RAM model, basic operations on words take constant time. This includes arithmetic operations ( $\mathtt{+}$, $\mathtt{-}$, $\mathtt{*}$, $\mathtt{/}$, $\mathtt{\%}$), comparisons ($<$, $>$, $=$, $\le$, $\ge$), and bitwise boolean operations (bitwise-AND, OR, and exclusive-OR).

Any cell can be read or written in constant time. Our computer's memory is managed by a memory management system from which we can allocate or deallocate a block of memory of any size we like. Allocating a block of memory of size $k$ takes $O(k)$ time and returns a reference to the newly-allocated memory block. This reference is small enough to be represented by a single word.

The word-size, $\mathtt{w}$, is a very important parameter of this model. The only assumption we will make on $\mathtt{w}$ is that it is at least $\ensuremath{\mathtt{w}} \ge \log \ensuremath{\mathtt{n}}$, where $\mathtt{n}$ is the number of elements stored in any of our data structures. This is a fairly modest assumption, since otherwise a word is not even big enough to count the number of elements stored in the data structure.

Space is measured in words so that, when we talk about the amount of space used by a data structure, we are referring to the number of words of memory used by the structure. All our data structures store values of a generic type $\mathtt{T}$ and we assume an element of type $\mathtt{T}$ occupies one word of memory. (In reality, we are storing references to objects of type $\mathtt{T}$, and these references occupy only one word of memory.)

The $\mathtt{w}$-bit word-RAM model is a fairly close match for modern desktop computers when $\ensuremath {\mathtt {w}}=32$ or $\ensuremath{\mathtt{w}}=64$. The data structures presented in this book don't use any special tricks that are not implementable on the JVM and most other architectures.