Abstract
We consider the dynamic range minimum problem on the ultra-wide word RAM model of computation. This model extends the classic w-bit word RAM model with special ultrawords of length \(w^2\) bits that support standard arithmetic and boolean operation and scattered memory access operations that can access w (non-contiguous) locations in memory. The ultra-wide word RAM model captures (and idealizes) modern vector processor architectures.
Our main result is a linear space data structure that supports range minimum queries and updates in \(O(\log \log \log n)\) time. This exponentially improves the time of existing techniques. Our result is based on a simple reduction to prefix minimum computations on sequences \(O(\log n)\) words combined with a new parallel, recursive implementation of these.
Partially supported by the Danish Research Council via grant DFF-8021-002498.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alstrup, S., Gavoille, C., Kaplan, H., Rauhe, T.: Nearest common ancestors: a survey and a new algorithm for a distributed environment. Theory Comput. Syst. 37, 441–456 (2004)
Alstrup, S., Husfeldt, T., Rauhe, T.: Marked ancestor problems. In: Proceedings of the 39th Annual IEEE Symposium on Foundations of Computer Science, pp. 534–543 (1998)
Bender, M.A., Farach-Colton, M.: The LCA problem revisited. In: Proceedings of the 4th Latin American Symposium on Theoretical Informatics, pp. 88–94 (2000)
Berkman, O., Breslauer, D., Galil, Z., Schieber, B., Vishkin, U.: Highly parallelizable problems. In: Proceedings of 21st STOC, pp. 309–319 (1989)
Bille, P., Gørtz, I.L., Skjoldjensen, F.R.: Partial sums on the ultra-wide word RAM. Theor. Comput. Sci. 905, 99–105 (2022)
Bille, P., Gørtz, I.L., Stordalen, T.: Predecessor on the ultra-wide word RAM. Algorithmica 86(5), 1578–1599 (2024)
Bille, P., Gørtz, I.L., Stordalen, T., Pérez-López. M.: Dynamic range minimum queries on the ultra-wide word RAM. arXiv:2411.16281 (2024)
Blelloch, G.E.: Prefix sums and their applications. In: Synthesis of Parallel Algorithms (1990)
Brodal, G.S., Chaudhuri, S., Radhakrishnan, J.: The randomized complexity of maintaining the minimum. In: Proceedings of 5th SWAT, pp. 4–15 (1996)
Brodal, G.S., Davoodi, P., Lewenstein, M., Raman, R., Satti, S.R.: Two dimensional range minimum queries and fibonacci lattices. Theor. Comput. Sci. 638, 33–43 (2016)
Brodal, G.S., Davoodi, P., Srinivasa Rao, S.: Path minima queries in dynamic weighted trees. In: Proceedings of 12th WADS, pp. 290–301 (2011)
Chazelle, B., Rosenberg, B.: Computing partial sums in multidimensional arrays. In: Proceedings of 5th SOCG, pp. 131–139 (1989)
Chen, T., Raghavan, R., Dale, J.N., Iwata, E.: Cell broadband engine architecture and its first implementation–a performance view. IBM J. Res. Dev. 51(5), 559–572 (2007)
Demaine, E.D., Landau, G.M., Weimann, O.: On cartesian trees and range minimum queries. Algorithmica 68, 610–625 (2014)
Farzan, A., López-Ortiz, A., Nicholson, P.K., Salinger, A.: Algorithms in the ultra-wide word model. In: Proceedings of 12th TAMC, pp. 335–346 (2015)
Fischer, J., Heun, V.: Space-efficient preprocessing schemes for range minimum queries on static arrays. SIAM J. Comput. 40(2), 465–492 (2011)
Gabow, H.N., Bentley, J.L., Tarjan, R.E.: Scaling and related techniques for geometry problems. In: Proceedings of 16th STOC, pp. 135–143 (1984)
Hagerup, T.: Sorting and searching on the word ram. In: Proceedings of 15th STACS, pp. 366–398 (1998)
Harel, D., Tarjan, R.E.: Fast algorithms for finding nearest common ancestors. SIAM J. Comput. 13(2), 338–355 (1984)
Ladner, R.E., Fischer, M.J.: Parallel prefix computation. J. ACM 27(4), 831–838 (1980)
Larsen, K.G., Pagh, R.: I/o-efficient data structures for colored range and prefix reporting. In: Proceedings of 23rd SODA, pp. 583–592 (2012)
Lindholm, E., Nickolls, J., Oberman, S., Montrym, J.: NVIDIA tesla: a unified graphics and computing architecture. IEEE Micro 28(2), 39–55 (2008)
Pǎtraşcu, M., Demaine, E.D.: Logarithmic lower bounds in the cell-probe model. SIAM J. Comput. 35(4), 932–963 (2006)
Reinders, J.: AVX-512 instructions. Intel Corporation (2013)
Sleator, D., Tarjan, R.E.: A data structure for dynamic trees. J. Comput. Syst. Sci. 26(3), 362–391 (1983)
Stephens, N., et al.: The ARM scalable vector extension. IEEE Micro 37(2), 26–39 (2017)
Yao, A.C.: On the complexity of maintaining partial sums. SIAM J. Comput. 14(2), 277–288 (1985)
Yuan, H., Atallah, M.J.: Data structures for range minimum queries in multidimensional arrays. In: Proceedings of 21st SODA, pp. 150–160 (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2025 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Bille, P., Gørtz, I.L., Pérez López, M., Stordalen, T. (2025). Dynamic Range Minimum Queries on the Ultra-wide Word RAM. In: Královič, R., Kůrková, V. (eds) SOFSEM 2025: Theory and Practice of Computer Science. SOFSEM 2025. Lecture Notes in Computer Science, vol 15538. Springer, Cham. https://doi.org/10.1007/978-3-031-82670-2_10
Download citation
DOI: https://doi.org/10.1007/978-3-031-82670-2_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-82669-6
Online ISBN: 978-3-031-82670-2
eBook Packages: Computer ScienceComputer Science (R0)