Preimage Problems for Reaction Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Preimage Problems for Reaction Systems

Résumé

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[logn]} to FPSPACE(poly).
Fichier non déposé

Dates et versions

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

Identifiants

Citer

Alberto Dennunzio, Enrico Formenti, Luca Manzoni, Antonio Enrico Porreca. Preimage Problems for Reaction Systems . LATA 2015, Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe, Mar 2015, Nice, France. pp.537-548, ⟨10.1007/978-3-319-15579-1_42⟩. ⟨hal-01313640⟩
109 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More