Mergeable Dictionaries

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: PredecessorSearch, 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 [4] 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 Ω(n). A data structure which supports both Split and Merge operations in O(log2 n) amortized time per operation was given by Farach and Thorup [6]. I...

• Type: Conference
• Year: 2010
• Where: ICALP
• Authors: John Iacono, Özgür Özkan
• Keywords: Amortized Time, Data Structures, ICALP 2010, Merge Operations, Programming Languages