An Analysis of a Memory Allocation Scheme for Implementing Stacks.

AC YAO
DOI: https://doi.org/10.1137/0210029
1981-01-01
SIAM Journal on Computing
Abstract:Consider the implementation of two stacks by letting them grow towards each other in a table of size m . Suppose a random sequence of insertions and deletions is executed, with each instruction having a fixed probability $p(0 < p < \frac{1}{2})$ to be a deletion. Let $A_p (m)$ denote the expected value of $\max \{ x,y\} $, where x and y are the stack heights when the table first becomes full. We shall prove that, as $m \to \infty $, $A_p (m) = m/2 + \sqrt{m/(2\pi (1 - 2p))} + O((\log m)^2 /\sqrt m )$. This gives a solution to an open problem in Knuth [The Art of Computer Programming, Vol. 1, Exercise 2.2.2-13].
What problem does this paper attempt to address?