Abstract:Cell-like P systems where communication between the regions are carried out by rules of type symport/antiport are considered. These systems compute by changing the places of objects with respect to the membranes, and not by changing the objects themselves. The environment plays an active role in the sense that it not only can receive objects from the system, but also send objects into it. There is an alphabet associated with the environment whose elements appear in an arbitrary large number of copies at the initial configuration. This property seems too strong from a complexity view, but it has been widely exploited in the design of efficient solutions to computationally hard problems when some mechanisms (inspired by mitosis and membrane fission) allowing to construct an exponential workspace in linear time, are considered. In this paper, complexity aspects of P systems with symport/antiport rules and membrane division are considered when the set associated with the environment is the emptyset. It is shown that the role of the environment is irrelevant for such kind of P systems, in contrast with the well known results concerning to its relevance when membrane separation is used instead of membrane division.

Solving a PSPACE-complete Problem by Recognizing P Systems with Restricted Active Membranes

Further Remark on P Systems with Active Membranes and Two Polarizations

Solving HPP and SAT by P Systems with Active Membranes and Separation Rules

Further Remarks on P Systems with Active Membranes, Separation, Merging, and Release Rules

Solving Graph Problems by P Systems with Restricted Elementary Active Membranes.

Efficient Solutions to Hard Computational Problems by P Systems with Symport/antiport Rules and Membrane Division

Time-free Solution to SAT Problem by P Systems with Active Membranes and Standard Cell Division Rules

Time-free Solution to SAT Problem Using P Systems with Active Membranes

An Efficient Time-Free Solution to QSAT Problem Using P Systems with Proteins on Membranes

Cell-like P Systems with Polarizations and Minimal Rules

Polarizationless P Systems with Active Membranes

P Systems with Active Membranes and Separation Rules

Computational Efficiency and Universality of Timed P Systems with Membrane Creation

Trading Polarizations for Labels in P Systems with Active Membranes

Solving multidimensional 0--1 knapsack problem by P systems with input and active membranes

P Systems with Minimal Parallelism

A Uniform Solution to HPP in Terms of Membrane Computing

Computational Complexity of Tissue-Like P Systems

P Systems with Symport/antiport Rules: when Do the Surroundings Matter?

Cpv – Simulation and Verification for Membrane Computing

P Systems Based Multi-Objective Optimization Algorithm