Abstract:Tissue P systems with evolutional communication rules and cell division (TPec, for short) are a class of bio-inspired parallel computational models, which can solve NP-complete problems in a feasible time. In this work, a variant of TPec, called $k$-distributed tissue P systems with evolutional communication and cell division ($k\text{-}\Delta_{TP_{ec}}$, for short) is proposed. A uniform solution to the SAT problem by $k\text{-}\Delta_{TP_{ec}}$ under balanced fixed-partition is presented. The solution provides not only the precise satisfying truth assignments for all Boolean formulas, but also a precise amount of possible such satisfying truth assignments. It is shown that the communication resource for one-way and two-way uniform $k$-P protocols are increased with respect to $k$; while a single communication is shown to be possible for bi-directional uniform $k$-P protocols for any $k$. We further show that if the number of clauses is at least equal to the square of the number of variables of the given boolean formula, then $k\text{-}\Delta_{TP_{ec}}$ for solving the SAT problem are more efficient than TPec as show in \cite{bosheng2017}; if the number of clauses is equal to the number of variables, then $k\text{-}\Delta_{TP_{ec}}$ for solving the SAT problem work no much faster than TPec.

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

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

Computational Efficiency and Universality of Timed P Systems with Membrane Creation

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

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

Further Remark on P Systems with Active Membranes and Two Polarizations

Solving All-SAT Problems by P Systems

A Time-Free Uniform Solution to Subset Sum Problem by Tissue P Systems with Cell Division

On Distributed Solution to SAT by Membrane Computing

Time-Free Solution to Hamilton Path Problems Using P Systems with D-Division

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

The Computational Complexity of Tissue P Systems with Evolutional Symport/Antiport Rules.

Time-Free Tissue P Systems for Solving the Hamilton Path Problem.

Tissue P Systems with Protein on Cells

P Systems with Active Membranes and Separation Rules

P Systems Based Multi-Objective Optimization Algorithm

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

Tissue P Systems with Evolutional Communication Rules with Two Objects in the Left-Hand Side.

Homeostasis tissue-like P systems with cell separation