Abstract
We consider the problem of maintaining a set of n integers in the range 0.2w−1 under the operations of insertion, deletion, predecessor queries, minimum queries and maximum queries on a unit cost RAM with word size w bits. Let f (n) be an arbitrary nondecreasing smooth function satisfying \(n \leqslant f(n) \leqslant \sqrt {log n} \). A data structure is presented supporting insertions and deletions in worst case O(f(n)) time, predecessor queries in worst case O((logn)/f(n)) time and minimum and maximum queries in worst case constant time. The required space is O(n2∈w) for an arbitrary constant ∈ > 0. The RAM operations used are addition, arbitrary left and right bit shifts and bit-wise boolean operations. The data structure is the first supporting predecessor queries in worst case O(log n/log log n) time while having worst case O(log log n) update time.
Supported by the Danish Natural Science Research Council (Grant No. 9400044). Partially supported by the ESPRIT Long Term Research Program of the EU under contract #20244 (ALCOM-IT).
Preview
Unable to display preview. Download preview PDF.
References
Susanne Albers and Torben Hagerup. Improved parallel integer sorting without concurrent writing. In Proc. 3rd ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 463–472, 1992.
Arne Andersson. Sublogarithmic searching without multiplications. In Proc. 36th Ann. Symp. on Foundations of Computer Science (FOCS), pages 655–663, 1995.
Arne Andersson. Faster deterministic sorting and searching in linear space. In Proc. 37th Ann. Symp. on Foundations of Computer Science (FOCS), pages 135–141, 1996.
Lars Arge. The buffer tree: A new technique for optimal I/O-algorithms. In Proc. 4th Workshop on Algorithms and Data Structures (WADS), volume 955 of Lecture Notes in Computer Science, pages 334–345. Springer Verlag, Berlin, 1995.
Kenneth E. Batcher. Sorting networks and their applications. In Proc. AFIPS Spring Joint Computer Conference, 32, pages 307–314, 1968.
Gerth Stølting Brodal, Shiva Chaudhuri, and Jaikumar Radhakrishnan. The randomized complexity of maintaining the minimum. In Proc. 5th Scandinavian Workshop on Algorithm Theory (SWAT), volume 1097 of Lecture Notes in Computer Science, pages 4–15. Springer Verlag, Berlin, 1996.
Michael L. Fredman and Dan E. Willard. Surpassing the information theoretic bound with fusion trees. Journal of Computer and System Sciences, 47:424–436, 1993.
Scott Huddleston and Kurt Mehlhorn. A new data structure for representing sorted lists. Acta Informatica, 17:157–184, 1982.
Peter Bro Miltersen. Lower bounds for Union-Split-Find related problems on random access machines. In Proc. 26th Ann. ACM Symp. on Theory of Computing (STOC), pages 625–634, 1994.
Peter Bro Miltersen. Lower bounds for static dictionaries on RAMs with bit operations but no multiplications. In Proc. 23rd Int. Colloquium on Automata, Languages and Programming (ICALP), volume 1099 of Lecture Notes in Computer Science, pages 442–453. Springer Verlag, Berlin, 1996.
Peter Bro Miltersen, Noam Nisan, Shmuel Safra, and Avi Wigderson. On data structures and asymmetric communication complexity. In Proc. 27th Ann. ACM Symp. on Theory of Computing (STOC), pages 103–111, 1995.
Mark H. Overmars. The Design of Dynamic Data Structures, volume 156 of Lecture Notes in Computer Science. Springer Verlag, Berlin, 1983.
Rajeev Raman. Priority queues: Small, monotone and trans-dichotomous. In ESA '96, Algorithms, volume 1136 of Lecture Notes in Computer Science, pages 121–137. Springer Verlag, Berlin, 1996.
Mikkel Thorup. On RAM priority queues. In Proc. 7th ACM-SIAM Symposium on Discrete Algorithms (SODA), pages 59–67, 1996.
Peter van Emde Boas. Preserving order in a forest in less than logarithmic time and linear space. Information Processing Letters, 6:80–82, 1977.
Peter van Emde Boas, R. Kaas, and E. Zijlstra. Design and implementation of an efficient priority queue. Mathematical Systems Theory, 10:99–127, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brodal, G.S. (1997). Predecessor queries in dynamic integer sets. In: Reischuk, R., Morvan, M. (eds) STACS 97. STACS 1997. Lecture Notes in Computer Science, vol 1200. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0023445
Download citation
DOI: https://doi.org/10.1007/BFb0023445
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-62616-9
Online ISBN: 978-3-540-68342-1
eBook Packages: Springer Book Archive