Antimatter as a Frontier of Tractability in Membrane Computing

It is well known that the polynomial complexity class of recognizer P systems with active membranes without polarizations, without dissolution and with division for elementary and non-elementary membranes is exactly the complexity class P (see [9], Theorem 2). In this paper, we prove that if such a P systems model is endowed with antimatter and annihilation rules, then NP problems can be solved, even without non-elementary membrane division. In this way, antimatter is shown to be a frontier of tractability in Membrane Computing.

[1]  ARTHUR SCHUSTER.  Potential Matter , 1898, Nature.

[2]  Mario de Jesús Pérez Jiménez,et al.  Membrane Clustering: A Novel Clustering Algorithm under Membrane Computing , 2014 .

[3]  Gheorghe Paun,et al.  Spiking Neural P Systems with Anti-Spikes , 2009, Int. J. Comput. Commun. Control.

[4]  ARTHUR SCHUSTER,et al.  Potential Matter.—A Holiday Dream , 1898, Nature.

[5]  Mario J. Pérez-Jiménez,et al.  A Linear Solution of Subset Sum Problem by Using Membrane Creation , 2005, IWINAC.

[6]  Alfonso Rodríguez-Patón,et al.  Membrane computing and complexity theory: A characterization of PSPACE , 2007, J. Comput. Syst. Sci..

[7]  Kai Zhang,et al.  Solving Subset Sum Problems by Time-free Spiking Neural P Systems , 2014 .

[8]  Kamala Krithivasan,et al.  COMPUTABILITY OF SPIKING NEURAL P SYSTEMS WITH ANTI-SPIKES , 2012 .

[9]  Giancarlo Mauri,et al.  Uniform solutions to SAT and Subset Sum by spiking neural P systems , 2008, Natural Computing.

[10]  Xiangxiang Zeng,et al.  Spiking neural P systems with anti-spikes and without annihilating priority working in a 'flip-flop' way , 2013, Int. J. Comput. Sci. Math..

[11]  Miguel A. Gutiérrez-Naranjo,et al.  Solving SUBSET SUM by Spiking Neural P Systems with Pre-computed Resources , 2008, Fundam. Informaticae.

[12]  Mario J. Pérez-Jiménez,et al.  An Approach to Computational Complexity in Membrane Computing , 2004, Workshop on Membrane Computing.

[13]  Mario J. Pérez-Jiménez,et al.  Solving the Subset-Sum problem by P systems with active membranes , 2009, New Generation Computing.

[14]  Author Index , 2015, Journal of health and social behavior.

[15]  Agustín Riscos Núñez,et al.  Solving the Subset-Sum problem by P systems with active membranes , 2005 .

[16]  Giancarlo Mauri,et al.  Simulating Elementary Active Membranes - with an Application to the P Conjecture , 2014, Int. Conf. on Membrane Computing.

[17]  Mario J. Pérez-Jiménez,et al.  On the Power of Dissolution in P Systems with Active Membranes , 2005, Workshop on Membrane Computing.

[18]  Mario J. Pérez-Jiménez,et al.  A Logarithmic Bound for Solving Subset Sum with P Systems , 2007, Workshop on Membrane Computing.

[19]  Tao Song,et al.  Small Universal Spiking Neural P Systems with Anti-Spikes , 2013 .

[20]  P. Blackett.  The Positive Electron , 1933, Nature.

[21]  Artiom Alhazov,et al.  Uniform Solution of , 2007, MCU.

[22]  P. Dirac.  The quantum theory of the electron , 1928 .

[23]  Mario J. Pérez-Jiménez,et al.  Solving Subset Sum in Linear Time by Using Tissue P Systems with Cell Division , 2007, IWINAC.