Abstract
This paper introduces a unified framework for the analysis of a class of random allocation processes that include: (i) the birthday paradox; (ii) the coupon collector problem; (iii) least-recently-used (LRU) caching in memory management systems under the independent reference model; (iv) the move-to-front heuristic of self-organizing search. All analyses are relative to general (non uniform) probability distributions.
Our approach to these problems comprises two stages. First, the probabilistic phenomena of interest are described by means of regular languages extended by addition of the shuffle product. Next, systematic translation mechanisms from languages to generating functions are used to derive integral representations of expectations and probability distributions for allocation processes.
Preview
Unable to display preview. Download preview PDF.
References
O. I. Aven, L. B. Boguslavsky and Y. A. Kogan [1976], “Some Results on Distribution-Free Analysis of Paging Algorithms”, IEEE Trans. on ComputersC-25, 737–745 (1976).
F. Baskett and A. Rafh [1976], “The A0 Inversion Model of Program Paging Behavior”, Stanford University Report CS-76-579 (1976).
L. Belady [1966], “A study of replacement algorithms for a virtual storage computer”, IBM Systems J.4, 297–305 (1966).
J. R. Bitner [1979], “Heuristics that dynamically organize data structures”, SIAM J. on Computing8, 82–110 (1979).
R. P. Brent [1981], “An improved Monte Carlo factorization”, BIT20, 176–184 (1981).
E. G. Coffman and P. J. Denning [1973], Operating Systems Theory, Prentice Hall (1973).
L. Comtet [1974], Advanced Combinatorics. Reidel, Dordrecht (1974).
R. Fagin and T. G. Price [1978], “Efficient Calculation of Expected Miss Ratios in the Independent Reference Model”, SIAM J. on Computing7, 288–297 (1978).
W. Feller [1968], An Introduction to Probability Theory and its Applications, J. Wiley (1968).
P. Flajolet [1986], “The evolution of two stacks in bounded space and random walks in a triangle”, in Proc. MFCS, Bratislava, Lect. Notes in Comp. Science233, 325–340 (1986)
P. Flajolet [1988], “Mathematical Analysis of Algorithms and Data Structures”, in Current Trends in Theoretical Computer Science, E. Börger Ed., 225–304 Computer Science Press, Rockville (1988).
J. Françon [1986], “Une approche quantitative de l'exclusion mutuelle”, RAIRO Theoretical Informatics and Applications20, 275–289 (1986).
D. R. Fuchs and D. E. Knuth [1985], “Optimal prepaging and font caching”, ACM Trans. on Programming Lang. Systems7, 62–79 (1985).
E. Gelenbe [1973], “A unified approach to the evaluation of a class of random replacement algorithms”, IEEE Trans. ComputersC-22, 611–618 (1973).
G. H. Gonnet, J. I. Munro and H. Suwanda [1981], “Exegesis of self-organizing linear search”, SIAM J. on Computing10, 613–637 (1981).
I. Goulden and D. Jackson [1983], Combinatorial Enumerations. J. Wiley, New-York (1983).
D. Greene [1983], “Labelled Formal Languages and Their Uses”, PhD Thesis, Stanford University Report STAN-CS-83-982 (1983), 148p.
P. Henrici [1977], Applied and Computational Complex Analysis, Vol 2, Wiley (1977).
W. C. King [1972], “Analysis of paging algorithms”, in Proc. IFIP 1971 Congress, Ljubljana, North-Holland, 485–490 (1972).
M. S. Klamkin and D. J. Newman [1967], “Extensions of the birthday surprise”, J. of Combinatorial Theory3, 279–282 (1967).
D. E. Knuth [1968], The Art of Computer Programming, Vol 1: Fundamental Algorithms. Addison-Wesley, Reading (1968).
D. E. Knuth [1969], The Art of Computer Programming, Vol 2: Seminumerical Algorithms. Addison-Wesley, Reading (1969).
D. E. Knuth [1973], The Art of Computer Programming, Vol 3: Sorting and Searching. Addison-Wesley, Reading (1973).
D. E. Knuth [1985], “An analysis of optimum caching”, J. of Algorithms6, 181–199 (1985).
D. E. Knuth and G. S. Rao [1975], “Activity in an interleaved memory”, IEEE Trans. on ComputersC-24, 943–944 (1975).
D. E. Knuth and A. Schönhage [1978], “The expected linearity of a simple equivalence algorithm”, Theoretical Computer Science6, 281–315 (1978).
M. Lothaire [1983], Combinatorics on Words, Encyclopedia of Mathematics and Its Applications, Vol 17, Academic Press (1983).
J. McCabe [1965], “On serial files with relocatable records”, Operations Res.12, 609–618 (1965).
R. Rivest [1976], “On self-organizing sequential search heuristics”, Comm. ACM19, 63–67 (176).
A. Salomaa and M. Soittola [1978], Automata Theoretic Aspects of Formal Power series, Springer Verlag (1978).
A. J. Smith [1982], “Cache memories”, ACM Computing Surveys14, 473–530 (1982)
R. P. Stanley [1986], Enumerative Combinatorics, Wadsworth and Brooks/Cole, Monterey (1986).
L. Thimonier [1987], “Fonctions génératrices et mots aléatoires”, Doctoral Dissertation, Université Paris-Sud (1988).
C. S. Wetherell [1980], “Probabilistic languages, a review and some open questions”, ACM Computing Surveys12, 361–379 (1980).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Flajolet, P., Gardy, D., Thimonier, L. (1988). Random allocations and probabilistic languages. In: Lepistö, T., Salomaa, A. (eds) Automata, Languages and Programming. ICALP 1988. Lecture Notes in Computer Science, vol 317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19488-6_120
Download citation
DOI: https://doi.org/10.1007/3-540-19488-6_120
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19488-0
Online ISBN: 978-3-540-39291-0
eBook Packages: Springer Book Archive