The binomial transform and the analysis of skip lists

  • Authors:
  • Patricio V. Poblete;J. Ian Munro;Thomas Papadakis

  • Affiliations:
  • Department of Computer Science, University of Chile, Casilla, Santiago, Chile and University of Waterloo;Department of Computer Science, University of Waterloo, Waterloo, Ont., Canada;Legato Systems (Canada) Inc, Burlington, Ont., Canada and University of Waterloo

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2006

Quantified Score

Hi-index 5.23

Visualization

Abstract

To any sequence of real numbers 〈an〉 n ≥ 0, we can associate another sequence 〈âs〉s ≥ 0 which Knuth calls its binomial transform. This transform is defined through the rule âs = Bsan=Σn(-1)n(s n) an.We study the properties of this transform, obtaining rules for its manipulation and a table of transforms, that allow us to invert many transforms by inspection.We use these methods to perform a detailed analysis of skip lists, a probabilistic data structure introduced by Pugh as an alternative to balanced trees. In particular, we obtain the mean and variance for the cost of searching for the first or the last element in the list (confirming results obtained previously by other methods), and also for the cost of searching for a random element (whose variance was not known).We obtain exact solutions, although not always in closed form. From them we are able to find the corresponding asymptotic expressions.