The Derivation of a Tighter Bound for Top-Down Skew Heaps

The Derivation of a Tighter Bound for Top-Down Skew Heaps (1991)

Cached

Download Links

[www.cwi.nl]
[www.win.tue.nl]

Other Repositories/Bibliography

DBLP

by Anne Kaldewaij , Berry Schoenmakers

Citations:

4 - 3 self

Versions

Version History

Metadata Version 1

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The Derivation of a Tighter Bound for Top-Down Skew Heaps	user correction - Legacy Corrections
AUTHOR NAME	Anne Kaldewaij	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Mathematics and Computing Science; Eindhoven University of Technology	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 513, 5600 MB Eindhoven, The Netherlands	SVM HeaderParse 0.2
AUTHOR NAME	Berry Schoenmakers	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Mathematics and Computing Science; Eindhoven University of Technology	SVM HeaderParse 0.2
AUTHOR ADDR	P.O. Box 513, 5600 MB Eindhoven, The Netherlands	SVM HeaderParse 0.2
ABSTRACT	In this paper we present and analyze functional programs for a number of priority queue operations. These programs are based upon the topdown skew heaps---a truly elegant data structure---designed by D.D. Sleator and R.E. Tarjan. We show how their potential technique can be used to determine the time complexity of functional programs. This functional approach enables us to derive a potential function leading to tighter bounds for the amortized costs of the priority queue operations. From the improved bounds it follows, for instance, that Skewsort, a simple sorting program using these operations, requires only about 1:44Nlog 2 N comparisons to sort N numbers (in the worst case). 1 Amortized complexity in a functional setting By means of a simple example we explain how the potential technique of Sleator and Tarjan [7] can be used to determine the time complexity of functional programs. In this example lists of zeros and ones are used as binary representations of natural numbers. We deno...	user correction - Legacy Corrections
YEAR	1991	user correction - Legacy Corrections
CITATIONS	8 found	ParsCit 1.0