We investigate the computational complexity of some problems related to preimages and ancestors of states of reaction systems. In particular, we prove that finding a minimum-cardinality preimage or ancestor, computing their size, or counting them are all intractable problems, with complexity ranging from FP NP[log n] to FPSPACE(poly).
CITATION STYLE
Dennunzio, A., Formenti, E., Manzoni, L., & Porreca, A. E. (2015). Preimage problems for reaction systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8977, pp. 537–548). Springer Verlag. https://doi.org/10.1007/978-3-319-15579-1_42
Mendeley helps you to discover research relevant for your work.