Solving numerical NP-complete problems with spiking neural P systems

  • Authors:
  • Alberto Leporati;Claudio Zandron;Claudio Ferretti;Giancarlo Mauri

  • Affiliations:
  • Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano - Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano - Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano - Bicocca, Milano, Italy;Dipartimento di Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano - Bicocca, Milano, Italy

  • Venue:
  • WMC'07 Proceedings of the 8th international conference on Membrane computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

Starting from an extended nondeterministic spiking neural P system that solves the Subset SUM problem in a constant number of computation steps, recently proposed in a previous paper, we investigate how different properties of spiking neural P systems affect the capability to solve numerical NP-complete problems. In particular, we show that by using maximal parallelism we can convert any given integer number from the usual binary notation to the unary form, and thus we can initialize the above P system with the required (exponential) number of spikes in polynomial time. On the other hand, we prove that this conversion cannot be performed in polynomial time if the use of maximal parallelism is forbidden. Finally, we show that if we can choose whether each neuron works in the nondeterministic vs. deterministic and/or in the maximal parallel vs. sequential way, then there exists a uniform family of spiking neural P systems that solves the SUBSET SUM problem.