Soft Sequence Heaps
share
Chazelle [JACM00] introduced the soft heap as a building block for efficient minimum spanning tree algorithms, and recently Kaplan et al. [SOSA2019] showed how soft heaps can be applied to achieve simpler algorithms for various selection problems. A soft heap trades-off accuracy for efficiency, by allowing ϵ N of the items in a heap to be corrupted after a total of N insertions, where a corrupted item is an item with artificially increased key and 0 < ϵ≤ 1/2 is a fixed error parameter. Chazelle's soft heaps are based on binomial trees and support insertions in amortized O((1/ϵ)) time and extract-min operations in amortized O(1) time. In this paper we explore the design space of soft heaps. The main contribution of this paper is an alternative soft heap implementation based on merging sorted sequences, with time bounds matching those of Chazelle's soft heaps. We also discuss a variation of the soft heap by Kaplan et al. [SICOMP2013], where we avoid performing insertions lazily. It is based on ternary trees instead of binary trees and matches the time bounds of Kaplan et al., i.e. amortized O(1) insertions and amortized O((1/ϵ)) extract-min. Both our data structures only introduce corruptions after extract-min operations which return the set of items corrupted by the operation.
READ FULL TEXT