Mergeable Dictionaries
John Iacono, \"Ozg\"ur \"Ozkan

TL;DR
This paper introduces a new data structure for mergeable dictionaries that efficiently supports predecessor search, split, and merge operations on interleaved sets in logarithmic time, improving over previous methods.
Contribution
The authors present a novel data structure that supports all mergeable dictionary operations, including interleaved merges, in O(log n) amortized time, surpassing prior solutions.
Findings
Supports interleaved set merges without interval restrictions
Operates in O(log n) amortized time for all operations
Improves over previous structures that had higher complexity or restrictions
Abstract
A data structure is presented for the Mergeable Dictionary abstract data type, which supports the following operations on a collection of disjoint sets of totally ordered data: Predecessor-Search, Split and Merge. While Predecessor-Search and Split work in the normal way, the novel operation is Merge. While in a typical mergeable dictionary (e.g. 2-4 Trees), the Merge operation can only be performed on sets that span disjoint intervals in keyspace, the structure here has no such limitation, and permits the merging of arbitrarily interleaved sets. Tarjan and Brown present a data structure which can handle arbitrary Merge operations in O(log n) amortized time per operation if the set of operations is restricted to exclude the Split operation. In the presence of Split operations, the amortized time complexity of their structure becomes \Omega(n). A data structure which supports both Split…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAlgorithms and Data Compression · Natural Language Processing Techniques · semigroups and automata theory
