Sleator and Tarjan have invented a form of self-adjusting binary search tree called thesplay tree. On any sufficiently long access sequence, splay trees are as efficient, to within a constant factor, as both dynamically balanced and static optimum search trees. Sleator and Tarjan have made a much stronger conjecture; namely, that on any sufficiently long access sequence and to within a constant factor, splay trees are as efficient asany form of dynamically updated search tree. Thisdynamic optimality conjecture implies as a special case that accessing the items in a splay tree in sequential order takes linear time, i.e.O(1) time per access. In this paper we prove this special case of the conjecture, generalizing an unpublished result of Wegman. Oursequential access theorem not only supports belief in the dynamic optimality conjecture but provides additional insight into the workings of splay trees. As a corollary of our result, we show that splay trees can be used to simulate output-restricted deques (double-ended queues) in linear time. We pose several open problems related to our result.
[1]
Thomas Herbert Naylor.
Computer Simulation Techniques
,
1966
.
[2]
Donald E. Knuth,et al.
The Art of Computer Programming, Volume I: Fundamental Algorithms, 2nd Edition
,
1997
.
[3]
Geoffrey Gordon,et al.
System Simulation
,
1970
.
[4]
Derick Wood,et al.
A Note on Some Tree Similarity Measures
,
1982,
Inf. Process. Lett..
[5]
Robert E. Tarjan,et al.
Self-adjusting binary trees
,
1983,
STOC.
[6]
Robert E. Tarjan,et al.
Data structures and network algorithms
,
1983,
CBMS-NSF regional conference series in applied mathematics.
[7]
R. Tarjan.
Amortized Computational Complexity
,
1985
.
[8]
Robert E. Tarjan,et al.
Self-adjusting binary search trees
,
1985,
JACM.