Advertisement

Spiking Neural P Systems with Neuron Division

  • Jun Wang
  • Hendrik Jan Hoogeboom
  • Linqiang Pan
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6501)

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    Gerstner, M., Kistler, W.: Spiking Neuron Models. Single Neurons, Populations, Plasticity. Cambridge University Press, Cambridge (2002)CrossRefzbMATHGoogle Scholar
  4. 4.
    Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundamenta Informaticae 71(2-3), 279–308 (2006)MathSciNetzbMATHGoogle Scholar
  5. 5.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  7. 7.
    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)MathSciNetzbMATHGoogle Scholar
  8. 8.
    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)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
    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)Google Scholar
  11. 11.
    Maass, W.: Computing with spikes. Special Issue on Foundations of Information Processing of TELEMATIK 8(1), 32–36 (2002)Google Scholar
  12. 12.
    Maass, W., Bishop, C. (eds.): Pulsed Neural Networks. MIT Press, Cambridge (1999)zbMATHGoogle Scholar
  13. 13.
    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)Google Scholar
  14. 14.
    Păun, G.: Membrane Computing – An Introduction. Springer, Berlin (2002)CrossRefzbMATHGoogle Scholar
  15. 15.
    Păun, G., Rozenberg, G., Salomaa, A. (eds.): Handbook of Membrane Computing. Oxford University Press, Cambridge (2010)zbMATHGoogle Scholar
  16. 16.
    The P System Web Page, http://ppage.psystems.eu

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Jun Wang
    • 1
    • 2
  • Hendrik Jan Hoogeboom
    • 2
  • Linqiang Pan
    • 1
  1. 1.Image Processing and Intelligent Control Key Laboratory of Education Ministry, Department of Control Science and EngineeringHuazhong University of Science and TechnologyWuhanChina
  2. 2.Leiden Institute of Advanced Computer ScienceUniversiteit LeidenLeidenThe Netherlands

Personalised recommendations