Abstract
We revisit self-adjusting external memory tree data structures, which combine the optimal (and practical) worst-case I/O performances of B-trees, while adapting to the online distribution of queries. Our approach is analogous to undergoing efforts in the BST model, where Tango Trees (Demaine et al. 2007) were shown to be \(O(\log \log N)\)-competitive with the runtime of the best offline binary search tree on every sequence of searches. Here we formalize the B-Tree model as a natural generalization of the BST model. We prove lower bounds for the B-Tree model, and introduce a B-Tree model data structure, the Belga B-tree, that executes any sequence of searches within a \(O(\log \log N)\) factor of the best offline B-tree model algorithm, provided \(B=\log ^{O(1)}N\). We also show how to transform any static BST into a static B-tree which is faster by a \(\varTheta (\log B)\) factor; the transformation is randomized and we show that randomization is necessary to obtain any significant speedup.
The full version of this paper can be found at: https://arxiv.org/pdf/1903.03560.pdf.
J. Iacono—Research supported by the Fonds de la Recherche Scientifique-FNRS under Grant no MISU F 6001 1.
J. Iacono—Research supported by NSF Grant CCF-1533564.
S. Langerman—Directeur de Recherches du F.R.S-FNRS.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The Tango tree was invented on an overnight flight from JFK airport en route to Buenos Aires, Argentina. The work on the Belga B-Tree has been substantially completed at Cafe Belga, Ixelles, Belgium.
References
Adelson-Velskiĭ, G.M., Landis, E.M.: An algorithm for organization of information. Dokl. Akad. Nauk SSSR 146, 263–266 (1962)
Aggarwal, A., Vitter, J.S.: The input/output complexity of sorting and related problems. Commun. ACM 31(9), 1116–1127 (1988)
Badoiu, M., Cole, R., Demaine, E.D., Iacono, J.: A unified access bound on comparison-based dynamic dictionaries. Theor. Comput. Sci. 382(2), 86–96 (2007)
Bayer, R., McCreight, E.M.: Organization and maintenance of large ordered indices. Acta Inf. 1, 173–189 (1972)
Bose, P., Douïeb, K., Iacono, J., Langerman, S.: The power and limitations of static binary search trees with lazy finger. Algorithmica 76(4), 1264–1275 (2016)
Bose, P., Douïeb, K., Langerman, S.: Dynamic optimality for skip lists and b-trees. In Symposium on Discrete Algorithms, SODA, pp. 1106–1114 (2008)
Bose, P., Howat, J., Morin, P.: A history of distribution-sensitive data structures. In: Brodnik, A., López-Ortiz, A., Raman, V., Viola, A. (eds.) Space-Efficient Data Structures, Streams, and Algorithms. LNCS, vol. 8066, pp. 133–149. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40273-9_10
Brodnik, A., López-Ortiz, A., Raman, V., Viola, A. (eds.): Space-Efficient Data Structures, Streams, and Algorithms. LNCS, vol. 8066. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40273-9
Chalermsook, P., Goswami, M., Kozma, L., Mehlhorn, K., Saranurak, T.: The landscape of bounds for binary search trees. CoRR, abs/1603.04892 (2016)
Chalermsook, P., Goswami, M., Kozma, L., Mehlhorn, K., Saranurak, T.: Multi-finger binary search trees. In 29th International Symposium on Algorithms and Computation, ISAAC, pp. 55:1–55:26 (2018)
Cole, R.: On the dynamic finger conjecture for splay trees. Part II: the proof. SIAM J. Comput. 30(1), 44–85 (2000)
Cole, R., Mishra, B., Schmidt, J.P., Siegel, A.: On the dynamic finger conjecture for splay trees. Part I: splay sorting log n-block sequences. SIAM J. Comput. 30(1), 1–43 (2000)
Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 3rd edn. MIT Press, Cambridge (2009)
Demaine, E.D., Harmon, D., Iacono, J., Kane, D.M., Patrascu, M.: The geometry of binary search trees. In: Symposium on Discrete Algorithms, SODA, pp. 496–505 (2009)
Demaine, E.D., Harmon, D., Iacono, J., Patrascu, M.: Dynamic optimality - almost. SIAM J. Comput. 37(1), 240–251 (2007)
Demaine, E.D., Iacono, J., Langerman, S.: Worst-case optimal tree layout in external memory. Algorithmica 72(2), 369–378 (2015)
Demaine, E.D., Iacono, J., Langerman, S., Özkan, Ö.: Combining binary search trees. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part I. LNCS, vol. 7965, pp. 388–399. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-39206-1_33
Elmasry, A., Farzan, A., Iacono, J.: On the hierarchy of distribution-sensitive properties for data structures. Acta Inf. 50(4), 289–295 (2013)
Guibas, L.J., Sedgewick, R.: A dichromatic framework for balanced trees. In: Foundations of Computer Science (FOCS), pp. 8–21 (1978)
Howat, J., Iacono, J., Morin, P.: The fresh-finger property. CoRR, abs/1302.6914 (2013)
Iacono, J.: Alternatives to splay trees with o(log n) worst-case access times. In: Symposium on Discrete Algorithms (SODA), pp. 516–522 (2001)
Iacono, J.: Distribution Sensitive Data Structures. PhD thesis, Ph.D. Thesis. Rutgers, The State University of New Jersey (2001)
Iacono, J.: In pursuit of the dynamic optimality conjecture. In: Brodnik, A., López-Ortiz, A., Raman, V., Viola, A. (eds.) Space-Efficient Data Structures, Streams, and Algorithms. LNCS, vol. 8066, pp. 236–250. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40273-9_16
Iacono, J., Langerman, S.: Weighted dynamic finger in binary search trees. In: Symposium on Discrete Algorithms, SODA, pp. 672–691 (2016)
Lucas, J.M.: Canonical forms for competitive binary search tree algorithms. Technical Report DCS-TR-250, Rutgers University (1988)
Sherk, M.: Self-adjusting k-ary search trees. J. Algorithms 19(1), 25–44 (1995)
Sleator, D.D., Tarjan, R.E.: Amortized efficiency of list update and paging rules. Commun. ACM 28(2), 202–208 (1985)
Sleator, D.D., Tarjan, R.E.: Self-adjusting binary search trees. J. ACM 32(3), 652–686 (1985)
Endre, R.: Sequential access in play trees takes linear time. Combinatorica 5(4), 367–378 (1985)
Wang, C.C., Derryberry, J., Sleator, D.D.: O(log log n)-competitive dynamic binary search trees. In: Symposium on Discrete Algorithms, SODA, pp. 374–383 (2006)
Wilber, R.E.: Lower bounds for accessing binary search trees with rotations. SIAM J. Comput. 18(1), 56–67 (1989)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Demaine, E.D., Iacono, J., Koumoutsos, G., Langerman, S. (2019). Belga B-Trees. In: van Bevern, R., Kucherov, G. (eds) Computer Science – Theory and Applications. CSR 2019. Lecture Notes in Computer Science(), vol 11532. Springer, Cham. https://doi.org/10.1007/978-3-030-19955-5_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-19955-5_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-19954-8
Online ISBN: 978-3-030-19955-5
eBook Packages: Computer ScienceComputer Science (R0)