Abstract
In this paper we introduce a membrane system named adaptive P system which is able to adjust dynamically its behaviour depending on resource availability. Such a system is defined as a tree of membranes in which the objects are organized in multisets, and the rules are applied in a maximal parallel manner. We use guards on the right side of the rules in order to model the biological sensitivity to context, and in this way we are able to describe an adaptive behaviour. The Turing completeness of the adaptive P systems can be obtained only by using non-cooperative rules (with guards) working in the accepting case. Using the adaptive P systems, we provide a polynomially uniform solution for an NP-complete problem (Subset Sum) by using specific membrane computing techniques. The solution employs a linear number of resources and evolution steps.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aman, B., Ciobanu, G.: Describing the immune system using enhanced mobile membranes. Electron. Notes Theor. Comput. Sci. 194(3), 5–18 (2008)
Aman, B., Ciobanu, G.: Turing completeness using three mobile membranes. In: Calude, C.S., Costa, J.F., Dershowitz, N., Freire, E., Rozenberg, G. (eds.) UC 2009. LNCS, vol. 5715, pp. 42–55. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03745-0_12
Aman, B., Ciobanu, G.: Mobility in Process Calculi and Natural Computing. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24867-2
Aman, B., Ciobanu, G.: Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica 48(7–8), 409–415 (2011). https://doi.org/10.1007/s00236-011-0144-9
Aman, B., Ciobanu, G.: Adaptability in membrane computing. Analele Universităţii Bucureşti Informatică LXII(3), 5–15 (2015)
Aman, B., Ciobanu, G.: Efficiently solving the bin packing problem through bio-inspired mobility. Acta Informatica 54(4), 435–445 (2017). https://doi.org/10.1007/s00236-016-0264-3
Bottoni, P., Martín-Vide, C., Păun, G., Rozenberg, G.: Membrane systems with promoters/inhibitors. Acta Informatica 38(10), 695–720 (2002)
Ciobanu, G.: Membrane computing and biologically inspired process calculi. “A.I. Cuza” University Press, Iaşi (2010)
Ciobanu, G.: Semantics of P systems. In: The Oxford Handbook of Membrane Computing, pp. 413–436. Oxford University Press, Oxford (2010)
Ciobanu, G., Todoran, E.N.: Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701, 85–108 (2017)
Ciobanu, G., Păun, G., Pérez-Jiménez, M.J.: Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-29937-8
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Heidelberg (1989)
Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., Mierla, L.: Model checking kernel P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 151–172. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54239-8_12
Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. ECC, vol. 7. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-03191-0
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)
Gheorghe, M., Ipate, F.: A kernel P systems survey. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 1–9. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54239-8_1
Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Romero-Campero, F.J.: A uniform solution to SAT using membrane creation. Theor. Comput. Sci. 371, 54–61 (2007)
Hennighausen, L., Furth, P.A.: Prospects for directing temporal and spatial gene expression in transgenic animals. In: Transgenic Animals: Generation and Use, pp. 303–306. Harwood Academic Publishers (1997)
Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundam. Inform. 71, 279–308 (2006)
Ionescu, M., Sburlan, D.: On P systems with promoters/inhibitors. J. Univers. Comput. Sci. 10(5), 581–599 (2004)
Ipate, F., et al.: Kernel P Systems: Applications and Implementations. In: Yin, Z., Pan, L., Fang, X. (eds.) Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). Advances in Intelligent Systems and Computing, vol. 212, pp. 1081–1089. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-37502-6_126
Kimmel, M., Axelrod, D.: Branching Processes in Biology. Springer, Heidelberg (2015). https://doi.org/10.1007/978-1-4939-1559-0
Leporati, A., Mauri, G., Zandron, C., Păun, G., Pérez-Jiménez, M.J.: Uniform solutions to SAT and subset sum by spiking neural P systems. Nat. Comput. 8, 681–702 (2009)
Lewontin, R.C.: The Triple Helix: Gene, Organism, and Environment. Harvard University Press, Cambridge (2000)
Manca, V.: Infobiotics: Information in Biotic Systems. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36223-1
Martín-Vide, C., Păun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theor. Comput. Sci. 296, 295–326 (2003)
Păun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-56196-2
Păun, G., Rozenberg, G., Salomaa, A. (Eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)
Peng, H., Wang, J., Shi, P., Pérez-Jiménez, M.J., Riscos-Núñez, A.: Fault diagnosis of power systems using fuzzy tissue-like P systems. Integr. Comput.-Aided Eng. 24(4), 401–411 (2017)
Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear-time solution to the knapsack problem using P systems with active membranes. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 250–268. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24619-0_19
Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving the subset-sum problem by P systems with active membranes. New Generat. Comput. 23(4), 339–356 (2005)
Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59126-6
Song, B., Song, T., Pan, L.: A time-free uniform solution to subset sum problem by tissue P systems with cell division. Math. Struct. Comput. Sci. 27, 17–32 (2017)
Suri, N., Cabri, G. (eds.): Adaptive, Dynamic, and Resilient Systems. CRC Press, Boca Raton (2014)
Zhang, G., Cheng, J., Wang, T., Wang, X., Zhu, J.: Membrane Computing: Theory and Applications. Science Press, Beijing (2015)
Zhang, G., Pérez-Jiménez, M.J., Gheorghe, M.: Real-life Applications with Membrane Computing. ECC, vol. 25. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55989-6
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Aman, B., Ciobanu, G. (2019). Adaptive P Systems. In: Hinze, T., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2018. Lecture Notes in Computer Science(), vol 11399. Springer, Cham. https://doi.org/10.1007/978-3-030-12797-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-12797-8_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-12796-1
Online ISBN: 978-3-030-12797-8
eBook Packages: Computer ScienceComputer Science (R0)