Abstract
We consider spiking neural P systems with astrocytes producing calcium that differs from the standard spiking neural P systems in several ways: we have a new type of resources called calcium unit alongside the standard spike, we have a new type of place called astrocyte alongside the standard neurons and we also have dedicated synapses for communicating calcium units alongside those used for communicating spikes. In order to illustrate how these systems work we give an example of a spiking neural P system with astrocytes producing calcium that generates all even numbers using only two neurons and one astrocyte and without using either forgetting rules or delay in the evolution rules. We prove that in this framework, we can provide semi-uniform and uniform constructions of spiking neural P system with astrocytes producing calcium working in a non-deterministic way that are able to solve the subset sum problem in a polynomial number of steps without using either forgetting rules or delay in the evolution rules.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Aman, B., Ciobanu, G. (2015). Automated verification of stochastic spiking neural P systems. In Rozenberg, G., Salomaa, A., Sempere, J. M., and Zandron, C., editors, 16th International conference on membrane computing, CMC 2015, Revised Selected Papers, volume 9504 of Lecture Notes in Computer Science, pages 77–91. Springer. https://doi.org/10.1007/978-3-319-28475-0_6
Aman B, Ciobanu G (2016) Modelling and verification of weighted spiking neural systems. Theoret Comput Sci. https://doi.org/10.1016/j.tcs.2015.11.005
Aman B, Ciobanu G (2020) Spiking neural P systems with astrocytes producing calcium. Int J Neur Sys. https://doi.org/10.1142/S0129065720500665
Cabarle FGC, Adorna HN, Pérez-Jiménez MJ (2016) Notes on spiking neural P systems and finite automata. Natural Comput 15(4):533–539
Garey MR, Johnson DS (1979) Computers and Intractability: a guide to the theory of NP-completeness. Freeman, W. H
Gerstner W, Kistler WM (2002) Spiking neuron models: single neurons, populations, plasticity. Cambridge University Press, Cambridge. https://doi.org/10.1017/CBO9780511815706
Ionescu M, Paun G, Yokomori T (2006) Spiking neural P systems. Fundamenta Informaticae, 71(23):279–308
Ishdorj T, Leporati A (2008) Uniform solutions to SAT and 3-SAT by spiking neural P systems with pre-computed resources. Natural Comput 7(4):519–534
Leporati A, Gutiérrez-Naranjo MA (2008) Solving Subset Sum by spiking neural P systems with pre-computed resources. Fundamenta Informaticae 87(1):61–77
Leporati A, Mauri G, Zandron C, Paun G, Pérez-Jiménez MJ (2009) Uniform solutions to SAT and Subset Sum by spiking neural P systems. Natur Comput 8(4):681–702. https://doi.org/10.1007/s11047-008-9091-y
Leporati A, Zandron C, Ferretti C, Mauri G (2009) On the computational power of spiking neural P systems. Int J Unconvent Comput 5(5):459–473
Martín-Vide, C., Paun, G., Pazos, J., and Rodríguez-Patón, A. (2003). Tissue P systems. Theoretical Computer Science, 296(2):295–326. https://doi.org/10.1016/S0304-3975(02)00659-X
Pan L, Paun G (2009) Spiking neural P systems with anti-spikes. Int J Comput Commun & Cont 4(3):273–282
Pan L, Paun G, Pérez-Jiménez MJ (2011) Spiking neural P systems with neuron division and budding. Science China Info Scien 54(8):1596–1607
Pan L, Zeng X, Zhang X, Jiang Y (2012) Spiking neural P systems with weighted synapses. Neur Process Lett 35(1):13–27
Paun G (2000) Computing with membranes. J Comput Sys Sci 61(1):108–143
Paun G (2002) Membrane computing: an introduction. Natur Comput Ser. https://doi.org/10.1007/978-3-642-56196-2
Paun G (2007) Spiking neural P systems with astrocyte-like control. J Univer Comput Sci 13(11):1707–1721
Rozenberg, G., Bäck, T., and Kok, J. N., editors (2012). Handbook of Natural Computing. Springer, Berlin https://doi.org/10.1007/978-3-540-92910-9
Rozenberg G, Salomaa A (eds) (1997) Handbook of formal languages. Springer, Berlin
Song T, Luo L, He J, Chen Z, Zhang K (2014) Solving Subset Sum problems by time-free spiking neural P systems. Appl Math Info Sci 8(1):327–332
Wang T, Zhang G, Zhao J, He Z, Wang J, Pérez-Jiménez MJ (2015) Fault diagnosis of electric power systems based on fuzzy reasoning spiking neural P systems. IEEE Trans Power Sys 30(3):1182–1194
Zhang, G., Pérez-Jiménez, M. J., and Gheorghe, M. (2017). Real-life applications with membrane computing. Emergence, Complexity, Computation. Springer, Berlin https://doi.org/10.1007/978-3-319-55989-6
Zhang G, Rong H, Neri F, Pérez-Jiménez MJ (2014) An optimization spiking neural P system for approximately solving combinatorial optimization problems. Int J Neur Sys. https://doi.org/10.1142/S0129065714400061
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Aman, B. Solving subset sum by spiking neural P systems with astrocytes producing calcium. Nat Comput 22, 3–12 (2023). https://doi.org/10.1007/s11047-022-09900-7
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11047-022-09900-7