On the complexity of occurrence and convergence problems in reaction systems
- 172 Downloads
Reaction systems are a model of computation inspired by biochemical reactions introduced by Ehrenfeucht and Rozenberg. Two problems related to the dynamics (the evolution of the state with respect to time) of reaction systems, namely, the occurrence and the convergence problems, were recently investigated by Salomaa. In this paper, we prove that both problems are PSPACE-complete when the numerical parameter of the problems (i.e. the time step when a specified element must appear) is given as input. Moreover, they remain PSPACE-complete even for minimal reaction systems.
KeywordsReaction systems Computational complexity Discrete dynamical systems
This work has been partially supported by the French National Research Agency project EMC (ANR-09-BLAN-0164).
- Ehrenfeucht A, Rozenberg G (2007) Reaction systems. Fundamenta Informaticae 75:263–280. http://iospress.metapress.com/content/b86t11hryvwq69l0/
- Ehrenfeucht A, Rozenberg G (2009) Introducing time in reaction systems. Theor Comput Sci 410(4):310–322. doi: 10.1016/j.tcs.2008.09.043
- Manzoni L, Porreca AE (2013) Reaction systems made simple: a normal form and a classification theorem. In: Mauri G, Dennunzio A, Manzoni L, Porreca AE (eds) Unconventional computation and natural computation, 12th international conference, UCNC 2013, Lecture Notes in Computer Science, vol 7956, Springer, New York, pp 150–161. doi: 10.1007/978-3-642-39074-6_15
- Manzoni L, Poças D, Porreca AE (2014) Simple reaction systems and their classification. Int J Found Comput Sci 18(6):1197Google Scholar
- Papadimitriou CH (1993) Computational complexity. Addison-Wesley, ReadingGoogle Scholar
- Salomaa A (2013a) Functional constructions between reaction systems and propositional logic. Int J Found Comput Sci 24(1):147–159. doi: 10.1142/S0129054113500044
- Salomaa A (2013b) Minimal and almost minimal reaction systems. Nat Comput 12(3):369–376. doi: 10.1007/s11047-013-9372-y.
- Sutner K (1995) On the computational complexity of finite cellular automata. J Comput Syst Sci 50(1):87–97. doi: 10.1006/jcss.1995.1009