Natural Computing

, Volume 15, Issue 2, pp 235–244 | Cite as

Minimal output unstable configurations in chemical reaction networks and deciders

Article

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 20(4):279–304, 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.

Keywords

Chemical reaction network Population protocol Vector addition system Output stability Chemical reaction decider 

Notes

Acknowledgments

We thank Jan Van den Bussche for interesting discussions on CRNs and for useful comments on an earlier version of this paper. We also thank the anonymous reviewers for useful comments on the paper. R.B. is a postdoctoral fellow of the Research Foundation−Flanders (FWO).

References

  1. Angluin D, Aspnes J, Diamadi Z, Fischer MJ, Peralta R (2006) Computation in networks of passively mobile finite-state sensors. Distrib Comput 18(4):235–253CrossRefMATHGoogle Scholar
  2. Angluin D, Aspnes J, Eisenstat D (2006) Stably computable predicates are semilinear. In: Ruppert E, Malkhi D (eds) Proceedings of the 25th annual ACM symposium on principles of distributed computing (PODC 2006). ACM, pp 292–299Google Scholar
  3. Angluin D, Aspnes J, Eisenstat D, Ruppert E (2007) The computational power of population protocols. Distrib Comput 20(4):279–304CrossRefMATHGoogle Scholar
  4. Aspnes J, Ruppert E (2007) An introduction to population protocols. Bull EATCS 93:98–117MathSciNetMATHGoogle Scholar
  5. Brijder R (2014) Output stability and semilinear sets in chemical reaction networks and deciders. In: Murata S, Kobayashi S (eds) Proceedings of the 20th international conference on DNA computing and molecular programming (DNA 20), volume 8727 of lecture notes in computer science. Springer, pp 100–113Google Scholar
  6. Chen H-L, Doty D, Soloveichik D (2012) Deterministic function computation with chemical reaction networks. In: Stefanovic D, Turberfield AJ (eds) Proceedings of the 18th international conference on DNA computing and molecular programming (DNA 18), volume 7433 of lecture notes in computer science. Springer, pp 25–42Google Scholar
  7. Chen H-L, Doty D, Soloveichik D (2014) Rate-independent computation in continuous chemical reaction networks. In: Naor M (ed) Innovations in theoretical computer science (ITCS’14). ACM, pp 313–326Google Scholar
  8. Cook M, Soloveichik D, Winfree E, Bruck J (2009) Programmability of chemical reaction networks. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses, natural computing series. Springer, Berlin, pp 543–584CrossRefGoogle Scholar
  9. Dickson LE (1913) Finiteness of the odd perfect and primitive abundant numbers with \(n\) distinct prime factors. Am J Math 35:413–422MathSciNetCrossRefMATHGoogle Scholar
  10. Doty D (2014) Timing in chemical reaction networks. In: Chekuri C (ed) Proceedings of the 25th annual ACM–SIAM symposium on discrete algorithms (SODA 2014). SIAM, pp 772–784Google Scholar
  11. Doty D, Hajiaghayi M (2013) Leaderless deterministic chemical reaction networks. In: Soloveichik D, Yurke B (eds) Proceedings of the 19th international conference on DNA computing and molecular programming (DNA 19), volume 8141 of lecture notes in computer science. Springer, pp 46–60Google Scholar
  12. Karp RM, Miller RE (1969) Parallel program schemata. J Comput Syst Sci 3(2):147–195MathSciNetCrossRefMATHGoogle Scholar
  13. Leroux J (2012) Vector addition systems reachability problem (a simpler solution). In: Voronkov A (ed) Proceedings of the Alan Turing centenary conference (Turing-100), volume 10 of EPiC series, pp 214–228Google Scholar
  14. Mayr EW (1981) An algorithm for the general Petri net reachability problem. In: Proceedings of the 13th annual ACM symposium on theory of computing (STOC ’81). ACM, New York, NY, USA, pp 238–246Google Scholar
  15. Peterson JL (1977) Petri nets. ACM Comput Surv 9(3):223–252CrossRefMATHGoogle Scholar
  16. Plotkin GD (2013) A calculus of chemical systems. In: Tannen V, Wong L, Libkin L, Fan W, Tan W-C, Fourman M (eds) In search of elegance in the theory and practice of computation, volume 8000 of lecture notes in computer science. Springer, Berlin, Heidelberg, pp 445–465Google Scholar
  17. Soloveichik D, Cook M, Winfree E, Bruck J (2008) Computation with finite stochastic chemical reaction networks. Nat Comput 7(4):615–633MathSciNetCrossRefMATHGoogle Scholar
  18. Soloveichik D, Seelig G, Winfree E (2010) DNA as a universal substrate for chemical kinetics. Proc Natl Acad Sci 107(12):5393–5398CrossRefGoogle Scholar
  19. Stanley RP (2011) Enumerative combinatorics. Cambridge studies in advanced mathematics, vol 1, 2nd edn. Cambridge University Press, CambridgeCrossRefGoogle Scholar
  20. Willard DE (1985) New data structures for orthogonal range queries. SIAM J Comput 14(1):232–253MathSciNetCrossRefMATHGoogle Scholar
  21. Yamasaki H (1981) On weak persistency of Petri nets. Inf Process Lett 13(3):94–97MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer Science+Business Media Dordrecht 2015

Authors and Affiliations

  1. 1.Hasselt University and Transnational University of LimburgDiepenbeekBelgium

Personalised recommendations