Abstract
Spiking neural P systems (SN P systems, for short) are a class of distributed parallel computing devices inspired from the way neurons communicate by means of spikes. The features of neuron division and neuron budding are recently introduced into the framework of SN P systems, and it was shown that SN P systems with neuron division and neuron budding can efficiently solve computationally hard problems. In this work, the computation power of SN P systems with neuron division only, without budding, is investigated; it is proved that a uniform family of SN P systems with neuron division can efficiently solve SAT in a deterministic way, not using budding, while additionally limiting the initial size of the system to a constant number of neurons. This answers an open problem formulated by Pan et al.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Chen, H., Ionescu, M., Ishdorj, T.-O.: On the efficiency of spiking neural P systems. In: Proc. 8th Intern. Conf. on Electronics, Information, and Communication, Ulanbator, Mongolia, June 2006, pp. 49–52 (2006)
Garey, M.R., Johnson, D.S.: Computers and Intractability. In: A Guide to the Theory of NP-completeness. W.H. Freeman and Company, San Francisco (1979)
Gerstner, M., Kistler, W.: Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge University Press, Cambridge (2002)
Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)
Ishdorj, T.-O., Leporati, A.: Uniform solutions to sat and 3-sat by spiking neural P systems with pre-computed resources. Natural Computing 7(4), 519–534 (2008)
Ishdorj, T.-O., Leporati, A., Pan, L., Zeng, X., Zhang, X.: Deterministic solutions to qsat and q3sat by spiking neural P systems with pre-computed resources. Theoretical Computer Science 411(25), 2345–2358 (2010)
Leporati, A., Gutiérrez-Naranjo, M.A.: Solving Subset Sum by spiking neural P systems with pre-computed resources. Fundamenta Informaticae 87(1), 61–77 (2008)
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. Natural Computing 8(4), 681–702 (2009)
Leporati, A., Zandron, C., Ferretti, C., Mauri, G.: Solving numerical NP-complete problems with spiking neural P systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 336–352. Springer, Heidelberg (2007)
Leporati, A., Zandron, C., Ferretti, C., Mauri, G.: On the computational power of spiking neural P systems. International Journal of Unconventional Computing 5(5), 459–473 (2009)
Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)
Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)
Pan, L., Păun, G., Pérez-Jiménez, M.J.: Spiking neural P systems with neuron division and budding. In: 7th Brainstorming Week on Membrane Computing, vol. II, pp. 151–168 (2009)
Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): Handbook of Membrane Computing. Oxford University Press, Cambridge (2010)
The P System Web Page, http://ppage.psystems.eu
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wang, J., Hoogeboom, H.J., Pan, L. (2010). Spiking Neural P Systems with Neuron Division. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. CMC 2010. Lecture Notes in Computer Science, vol 6501. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18123-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-18123-8_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18122-1
Online ISBN: 978-3-642-18123-8
eBook Packages: Computer ScienceComputer Science (R0)