Soft Sequence Heaps

TL;DR

This paper explores alternative implementations of soft heaps, introducing a sequence-merging based design that matches existing time bounds and discussing a variation that avoids lazy insertions, enhancing efficiency and flexibility.

Contribution

It presents a new soft heap implementation based on merging sorted sequences and discusses a variation avoiding lazy insertions, matching existing time bounds.

Findings

Sequence-merging soft heap matches Chazelle's time bounds.

Variation with ternary trees matches Kaplan et al.'s bounds.

Corruptions are only introduced after extract-min operations.

Abstract

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 $\epsilon 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 < \epsilon \leq 1/2$ is a fixed error parameter. Chazelle's soft heaps are based on binomial trees and support insertions in amortized $O(\lg(1/\epsilon))$ 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(\lg(1/\epsilon))$ extract-min. Both our data structures only introduce corruptions after extract-min operations which return the set of items corrupted by the operation.