Reachability in Resource-Bounded Reaction Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Reachability in Resource-Bounded Reaction Systems

Résumé

Reaction systems, a formalism describing biochemical reactions in terms of sets of reactants, inhibitors, and products, are known to have a PSPACE-complete configuration reachability problem. We show that the complexity of the problem remains unchanged even for some classes of resource-bounded reaction systems, where we disallow either inhibitors or reactants. We also prove that the complexity decreases to NP in the specific case of inhibitorless reaction systems using only one reactant per reaction.

Dates et versions

hal-01313690 , version 1 (10-05-2016)

Identifiants

Citer

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Enrico Porreca. Reachability in Resource-Bounded Reaction Systems. LATA 2016, Adrian-Horia Dediu; Jan Janousek; Carlos Martín-Vide; Bianca Truthe, Mar 2016, Prague, Czech Republic. pp.592-602, ⟨10.1007/978-3-319-30000-9_45⟩. ⟨hal-01313690⟩
142 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More