References & Citations
Computer Science > Computational Complexity
Title: Minimal Output Unstable Configurations in Chemical Reaction Networks and Deciders
(Submitted on 11 Apr 2014 (v1), last revised 15 Jun 2015 (this version, v5))
Abstract: We study the set of output stable configurations of chemical reaction deciders (CRDs). It turns out that CRDs with only bimolecular reactions (which are almost equivalent to population protocols) have a special structure that allows for an algorithm to efficiently compute their finite set of minimal output unstable configurations. As a consequence, a relatively large set of configurations may be efficiently checked for output stability.
We also provide a number of observations regarding the semilinearity result of Angluin et al. [Distrib. Comput., 2007] from the context of population protocols (which is a central result for output stable CRDs). In particular, we observe that the computation-friendly class of totally stable CRDs has equal expressive power as the larger class of output stable CRDs.
Submission history
From: Robert Brijder [view email][v1] Fri, 11 Apr 2014 17:48:50 GMT (15kb)
[v2] Tue, 22 Apr 2014 09:32:30 GMT (15kb)
[v3] Fri, 6 Jun 2014 12:19:11 GMT (16kb)
[v4] Thu, 24 Jul 2014 08:34:03 GMT (16kb)
[v5] Mon, 15 Jun 2015 09:46:29 GMT (16kb)
Link back to: arXiv, form interface, contact.