Reaction systems and extremal combinatorics properties

Abstract : Extremal combinatorics is the study of the size that a collection of objects must have in order to certainly satisfy a given property. Reaction systems are a recent formalism for computation inspired by chemical reactions. This work is a first contribution to the study of the behavior of large reaction systems by means of extremal combinatorics. We define several different properties that capture some basic and dynamical behaviors of a reaction system and we prove that they must necessarily be satisfied if the system is large enough. Explicit bounds and formulae are also provided.
Contributeur : Enrico Formenti <>
Soumis le : mardi 10 mai 2016 - 11:38:19
Dernière modification le : mercredi 11 mai 2016 - 01:07:28




Alberto Dennunzio, Enrico Formenti, Luca Manzoni. Reaction systems and extremal combinatorics properties. Journal of Theoretical Computer Science (TCS), Elsevier, 2015, 598, pp.138-149. <>. <10.1016/j.tcs.2015.06.001>. <hal-01313667>



Consultations de la notice