Proof techniques in Membrane Computing

Abstract From the creation of the field of Membrane Computing in 1998, several research lines have been opened. On the one hand, theoretical questions like the computational power and the computational efficiency of P systems have been studied. In this sense, several techniques to demonstrate the ability of these systems to provide solutions to computational problems have been explored. The study of efficient (polynomial-time) solutions to presumably hard problems for finding thin frontiers of efficiency is a very active area. On the other hand, several applications in biology, ecology, economy, robotics and fault diagnosis, among others, have been investigated. Real systems with some characteristics seem to be easy to model with membrane systems due to their behaviour. In this work, a survey of the theoretical part will be given, explaining techniques both in the field of computability theory and in the field of computational complexity theory.

[1]  Artiom Alhazov,et al.  Uniform Solution to QSAT Using Polarizationless Active Membranes , 2006 .

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

[3]  Mario J. Pérez-Jiménez,et al.  Characterizing Tractability by Tissue-Like P Systems , 2009, Workshop on Membrane Computing.

[4]  Claudio Zandron.  Bounding the space in P systems with active membranes , 2020, J. Membr. Comput..

[5]  Agustín Riscos-Núñez,et al.  Minimal cooperation as a way to achieve the efficiency in cell-like membrane systems , 2019, J. Membr. Comput..

[6]  Agustín Riscos-Núñez,et al.  P systems with proteins: a new frontier when membrane division disappears , 2019, J. Membr. Comput..

[7]  Mario J. Pérez-Jiménez,et al.  Generation of Diophantine Sets by Computing P Systems with External Output , 2002, UMC.

[8]  Mario J. Pérez-Jiménez,et al.  A Polynomial Complexity Class in P Systems Using Membrane Division , 2003, DCFS.

[9]  Mario J. Pérez-Jiménez,et al.  Computing Partial Recursive Functions by Transition P Systems , 2003, Workshop on Membrane Computing.

[10]  Mario de Jesús Pérez Jiménez,et al.  Membrane fission versus cell division: When membrane proliferation is not enough , 2015 .

[11]  Yun Jiang,et al.  An improved universal spiking neural P system with generalized use of rules , 2019, J. Membr. Comput..

[12]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

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

[14]  Rudolf Freund,et al.  Asynchronous P Systems and P Systems Working in the Sequential Mode , 2004, Workshop on Membrane Computing.

[15]  Giancarlo Mauri,et al.  Shallow laconic P systems can count , 2020, J. Membr. Comput..

[16]  Mario J. Pérez-Jiménez,et al.  Membrane fission versus cell division: When membrane proliferation is not enough , 2015, Theor. Comput. Sci..

[17]  Henry N. Adorna,et al.  Distributed computation of a k P systems with active membranes for SAT using clause completion , 2020, J. Membr. Comput..

[18]  G. Mauri,et al.  Characterizing PSPACE with shallow non-confluent P systems , 2019, J. Membr. Comput..

[19]  Mario de Jesús Pérez Jiménez,et al.  Weak Metrics on Configurations of a P System , 2004 .

[20]  Mario J. Pérez-Jiménez,et al.  Decision P Systems and the P!=NP Conjecture , 2002, WMC-CdeA.

[21]  Giancarlo Mauri,et al.  Recent complexity-theoretic results on P systems with active membranes , 2015, J. Log. Comput..

[22]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[23]  Rudolf Freund.  How derivation modes and halting conditions may influence the computational power of P systems , 2020, J. Membr. Comput..

[24]  Álvaro Romero Jiménez,et al.  Design Patterns for Efficient Solutions to NP-Complete Problems in Membrane Computing , 2018, Enjoying Natural Computing.

[25]  Gheorghe Paun.  Further Twenty Six Open Problems in Membrane Computing , 2005 .

[26]  Petr Sosík,et al.  Small (purely) catalytic P systems simulating register machines , 2016, Theor. Comput. Sci..

[27]  G Paun,et al.  Computing with Membranes (P Systems): Twenty Six Research Topics , 2000 .

[28]  Mario J. Pérez-Jiménez,et al.  Simulating Turing Machines by P Systems with External Output , 2002, Fundam. Informaticae.