Fixed Points and Attractors of Reaction Systems

  • Enrico Formenti
  • Luca Manzoni
  • Antonio E. Porreca
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8493)


We investigate the computational complexity of deciding the occurrence of many different dynamical behaviours in reaction systems, with an emphasis on biologically relevant problems (i.e., existence of fixed points and fixed point attractors). We show that the decision problems of recognising these dynamical behaviours span a number of complexity classes ranging from FO-uniform AC 0 to \({\Pi_2^{\rm P}}\)-completeness with several intermediate problems being either NP or coNP-complete.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bornholdt, S.: Boolean network models of cellular regulation: prospects and limitations. J. R. Soc. Interface 5, S84–S94 (2008)Google Scholar
  2. 2.
    Corolli, L., Maj, C., Marini, F., Besozzi, D., Mauri, G.: An excursion in reaction systems: From computer science to biology. Theor. Comp. Sci. 454, 95–108 (2012)CrossRefzbMATHMathSciNetGoogle Scholar
  3. 3.
    Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(3), 345–356 (2010)CrossRefzbMATHMathSciNetGoogle Scholar
  4. 4.
    Ehrenfeucht, A., Main, M., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167–168 (2011)CrossRefzbMATHMathSciNetGoogle Scholar
  5. 5.
    Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundam. Inform. 75, 263–280 (2007)zbMATHMathSciNetGoogle Scholar
  6. 6.
    Immerman, N.: Descriptive Complexity. Graduate Texts in Computer Science. Springer (1999)Google Scholar
  7. 7.
    Kauffman, S.A.: Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22(3), 437–467 (1969)CrossRefGoogle Scholar
  8. 8.
    Kauffman, S.A.: The ensemble approach to understand genetic regulatory networks. Physica A: Statistical Mechanics and its Applications 340(4), 733–740 (2004)CrossRefMathSciNetGoogle Scholar
  9. 9.
    Kitano, H.: Biological robustness. Nature Reviews Genetics 5, 826–837 (2004)CrossRefGoogle Scholar
  10. 10.
    Papadimitriou, C.H.: Computational Complexity. Addison-Wesley (1993)Google Scholar
  11. 11.
    Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)Google Scholar
  12. 12.
    Păun, Gh., Pérez-Jiménez, M.J., Rozenberg, G.: Bridging membrane and reaction systems – Further results and research topics. Fundam. Inform. 127, 99–114 (2013)Google Scholar
  13. 13.
    Salomaa, A.: Functional constructions between reaction systems and propositional logic. Int. J. Found. Comput. Sci. 24(1), 147–159 (2013)CrossRefzbMATHMathSciNetGoogle Scholar
  14. 14.
    Salomaa, A.: Minimal and almost minimal reaction systems. Natural Computing 12(3), 369–376 (2013)CrossRefMathSciNetGoogle Scholar
  15. 15.
    Shmulevich, I., Dougherty, E.R.: Probabilistic boolean networks: the modeling and control of gene regulatory networks. SIAM (2010)Google Scholar
  16. 16.
    Shmulevich, I., Dougherty, E.R., Zhang, W.: From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proceedings of the IEEE 90(11), 1778–1792 (2002)CrossRefGoogle Scholar
  17. 17.
    Stockmeyer, L.J.: The polynomial-time hierarchy. Theor. Comp. Sci. 3(1), 1–22 (1976)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Thachuk, C., Condon, A.: Space and energy efficient computation with DNA strand displacement systems. In: Stefanovic, D., Turberfield, A. (eds.) DNA 2012. LNCS, vol. 7433, pp. 135–149. Springer, Heidelberg (2012)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Enrico Formenti
    • 1
  • Luca Manzoni
    • 1
  • Antonio E. Porreca
    • 2
  1. 1.CNRS, I3S, UMR 7271Univ. Nice Sophia AntipolisSophia AntipolisFrance
  2. 2.Dipartimento di Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano-BicoccaMilanoItaly

Personalised recommendations