1 paper · 1 filter
Lorenz Leutgeb, Georg Moser, Florian Zuleger
In this paper, we present the first fully-automated expected amortised cost analysis of self-adjusting data structures, that is, of randomised splay trees, randomised splay heaps a…