On P Systems with Active Membranes

The paper deals with the vivid area of computing with membranes (P systems). We improve here two recent results about the socalled P systems with active membranes. First, we show that the Hamiltonian Path Problem can be solved in polynomial time by P systems with active membranes where the membranes are only divided into two new membranes (a result of this type was obtained by Krishna and Rama, [4], but making use of the possibility of dividing a membrane in an arbitrary number of new membranes). We also show that HPP can be solved in polynomial time also by a variant of P systems, with the possibility of dividing non-elementary membranes under the influence of objects present in them. Then, we show that membrane division (and even membrane dissolving) is not necessary in order to show that such systems are computationally complete.

[1]  L M Adleman,et al.  Molecular computation of solutions to combinatorial problems. , 1994, Science.

[2]  Christel Baier,et al.  On Topological Hierarchies of Temporal Properties , 1997, Fundam. Informaticae.

[3]  Rudolf Freund Generalized P-Systems , 1999, FCT.

[4]  Gheorghe Paun,et al.  Membrane Computing with External Output , 2000, Fundam. Informaticae.

[5]  Gheorghe Paun,et al.  On the Power of Membrane Computing , 1999, J. Univers. Comput. Sci..

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

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

[8]  Grzegorz Rozenberg,et al.  Handbook of Formal Languages , 1997, Springer Berlin Heidelberg.