Abstract
We investigate the behavior of data structures when the input and operations are generated by an event graph. This model is inspired by Markov chains. We are given a fixed graph G, whose nodes are annotated with operations of the type insert, delete, and query. The algorithm responds to the requests as it encounters them during a (random or adversarial) walk in G. We study the limit behavior of such a walk and give an efficient algorithm for recognizing which structures can be generated. We also give a near-optimal algorithm for successor searching if the event graph is a cycle and the walk is adversarial. For a random walk, the algorithm becomes optimal.
Similar content being viewed by others
References
Chassaing, P.: Optimality of move-to-front for self-organizing data structures with locality of references. Ann. Appl. Probab. 3(4), 1219–1240 (1993)
Chazelle, B.: The Discrepancy Method: Randomness and Complexity. Cambridge University Press, Cambridge (2000)
Chazelle, B., Mulzer, W.: Markov incremental constructions. Discrete Comput. Geom. 42(3), 399–420 (2009)
Crochemore, M., Iliopoulos, C.S., Kubica, M., Rahman, M.S., Tischler, G., Wale, T.: Improved algorithms for the range next value problem and applications. Theor. Comput. Sci. 434, 23–34 (2012)
van Emde Boas, P.: Preserving order in a forest in less than logarithmic time and linear space. Inf. Process. Lett. 6(3), 80–82 (1977)
van Emde Boas, P., Kaas, R., Zijlstra, E.: Design and implementation of an efficient priority queue. Math. Syst. Theory 10(2), 99–127 (1976)
Hotz, G.: Search trees and search graphs for Markov sources. Elektron. Inf.verarb. Kybern. 29(5), 283–292 (1993)
Kapoor, S., Reingold, E.M.: Stochastic rearrangement rules for self-organizing data structures. Algorithmica 6(2), 278–291 (1991)
Karlin, A.R., Phillips, S.J., Raghavan, P.: Markov paging. SIAM J. Comput. 30(3), 906–922 (2000)
Konneker, L.K., Varol, Y.L.: A note on heuristics for dynamic organization of data structures. Inf. Process. Lett. 12(5), 213–216 (1981)
Lam, K., Leung, M.Y., Siu, M.K.: Self-organizing files with dependent accesses. J. Appl. Probab. 21(2), 343–359 (1984)
Levin, D.A., Peres, Y., Wilmer, E.L.: Markov Chains and Mixing Times. Am. Math. Soc., Providence (2009)
Motwani, R., Raghavan, P.: Randomized Algorithms. Cambridge University Press, Cambridge (1995)
Mulzer, W.: A note on predecessor searching in the pointer machine model. Inf. Process. Lett. 109(13), 726–729 (2009)
Phatarfod, R.M., Pryde, A.J., Dyte, D.: On the move-to-front scheme with Markov dependent requests. J. Appl. Probab. 34(3), 790–794 (1997)
Schulz, F., Schömer, E.: Self-organizing data structures with dependent accesses. In: Proceedings of the 23rd International Colloquium on Automata, Languages, and Programming (ICALP), pp. 526–537 (1996)
Shedler, G.S., Tung, C.: Locality in page reference strings. SIAM J. Comput. 1(3), 218–241 (1972)
Vitter, J.S., Krishnan, P.: Optimal prefetching via data compression. J. ACM 43(5), 771–793 (1996)
Acknowledgements
We would like to thank the anonymous referees for their thorough reading of the paper and their many helpful suggestions that have improved the presentation of this paper, as well as for pointing out [4] to us.
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version appeared as B. Chazelle and W. Mulzer, Data Structures on Event Graphs in Proc. 20th ESA, pp. 313–324, 2012.
W. Mulzer was supported in part by DFG grant MU3501/1.
Rights and permissions
About this article
Cite this article
Chazelle, B., Mulzer, W. Data Structures on Event Graphs. Algorithmica 71, 1007–1020 (2015). https://doi.org/10.1007/s00453-013-9838-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-013-9838-4