Skip to main content
Top

2015 | OriginalPaper | Chapter

Uniform Generation in Trace Monoids

Authors : Samy Abbes, Jean Mairesse

Published in: Mathematical Foundations of Computer Science 2015

Publisher: Springer Berlin Heidelberg

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

We consider the problem of random uniform generation of traces (the elements of a free partially commutative monoid) in light of the uniform measure on the boundary at infinity of the associated monoid. We obtain a product decomposition of the uniform measure at infinity if the trace monoid has several irreducible components—a case where other notions such as Parry measures, are not defined. Random generation algorithms are then examined.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literature
1.
2.
go back to reference Abbes, S., Mairesse, J.: Uniform and Bernoulli measures on the boundary of trace monoids. J. Combin. Theory Ser. A 135, 201–236 (2015)MathSciNetCrossRef Abbes, S., Mairesse, J.: Uniform and Bernoulli measures on the boundary of trace monoids. J. Combin. Theory Ser. A 135, 201–236 (2015)MathSciNetCrossRef
3.
go back to reference Aigner, M.: A Course in Enumeration. Springer, Heidelberg (2007)MATH Aigner, M.: A Course in Enumeration. Springer, Heidelberg (2007)MATH
4.
go back to reference Bertoni, A., Goldwurm, M., Mauri, G., Sabadini, N.: Counting techniques for inclusion, equivalence and membership problems. In: The Book of Traces, pp. 131–163. World Scientific (1994) Bertoni, A., Goldwurm, M., Mauri, G., Sabadini, N.: Counting techniques for inclusion, equivalence and membership problems. In: The Book of Traces, pp. 131–163. World Scientific (1994)
5.
go back to reference Bodini, O., Genitrini, A., Peschanski, F.: Enumeration and random generation of concurrent computations. In: Proceedings of AofA 2012, pp. 83–96. DMTCS (2012) Bodini, O., Genitrini, A., Peschanski, F.: Enumeration and random generation of concurrent computations. In: Proceedings of AofA 2012, pp. 83–96. DMTCS (2012)
6.
go back to reference Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lecture Notes in Math. Springer, Heidelberg (1969)MATH Cartier, P., Foata, D.: Problèmes combinatoires de commutation et réarrangements. Lecture Notes in Math. Springer, Heidelberg (1969)MATH
8.
go back to reference Diekert, V. (ed.): Combinatorics on Traces. LNCS, vol. 454. Springer, Heidelberg (1990) MATH Diekert, V. (ed.): Combinatorics on Traces. LNCS, vol. 454. Springer, Heidelberg (1990) MATH
9.
go back to reference Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995) Diekert, V., Rozenberg, G. (eds.): The Book of Traces. World Scientific, Singapore (1995)
10.
go back to reference Duchon, P., et al.: Boltzmann samplers for the random generation of combinatorial structures. Combin. Probab. Comput. 13, 577–625 (2004)MathSciNetCrossRefMATH Duchon, P., et al.: Boltzmann samplers for the random generation of combinatorial structures. Combin. Probab. Comput. 13, 577–625 (2004)MathSciNetCrossRefMATH
11.
go back to reference Flajolet, P., Zimmermann, P., Van Cutsem, B.: Calculus for the random generation of labelled combinatorial structures. Theoret. Comp. Sci. 218(2), 233–248 (1994) Flajolet, P., Zimmermann, P., Van Cutsem, B.: Calculus for the random generation of labelled combinatorial structures. Theoret. Comp. Sci. 218(2), 233–248 (1994)
12.
go back to reference Jerrum, M.: Counting, Sampling and Integrating: Algorithms and Complexity. Springer, Berlin (2013) Jerrum, M.: Counting, Sampling and Integrating: Algorithms and Complexity. Springer, Berlin (2013)
13.
go back to reference Kitchens, B.P.: Symbolic Dynamics. One-sided, Two-sided and Countable State Markov Shifts. Springer, Berlin (1998)CrossRefMATH Kitchens, B.P.: Symbolic Dynamics. One-sided, Two-sided and Countable State Markov Shifts. Springer, Berlin (1998)CrossRefMATH
14.
15.
go back to reference Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)CrossRefMATH Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)CrossRefMATH
17.
go back to reference Rota, G.-C.: On the foundations of combinatorial theory I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie 2, 340–368 (1964)MathSciNetCrossRefMATH Rota, G.-C.: On the foundations of combinatorial theory I. Theory of Möbius functions. Z. Wahrscheinlichkeitstheorie 2, 340–368 (1964)MathSciNetCrossRefMATH
18.
go back to reference Viennot, G.X.: Heaps of pieces, i : basic definitions and combinatorial lemmas. In: Labelle, G., Leroux, P. (eds.) Combinatoire Énumérative. LNCS, vol. 1234, pp. 321–350. Springer, Heidelberg (2006)CrossRef Viennot, G.X.: Heaps of pieces, i : basic definitions and combinatorial lemmas. In: Labelle, G., Leroux, P. (eds.) Combinatoire Énumérative. LNCS, vol. 1234, pp. 321–350. Springer, Heidelberg (2006)CrossRef
Metadata
Title
Uniform Generation in Trace Monoids
Authors
Samy Abbes
Jean Mairesse
Copyright Year
2015
Publisher
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-48057-1_5

Premium Partner