2 research outputs found
P Systems with Active Cells
P systems with active membranes is a widely studied framework within the
field of Membrane Computing since the creation of the discipline. The abstraction of the
structure and behavior of living cells is reflected in the tree-like hierarchy and the kinds
of rules that can be used in these kinds of systems.
Resembling the organization and communication between cells within tissues
that form organs, tissue-like P systems were defined as their abstractions, using
symport/antiport rules, that is, moving and exchanging elements from one cell to another
one. All the cells are located in an environment where there exist an arbitrary
number of some elements.
Lately, symport/antiport rules have been used in the framework of cell-like membrane
systems in order to study their computational power. Interesting results have been
reached, since they act similarly to their counterparts in the framework of tissue P systems.
Here, the use of the former defined rules (that is, evolution, communication, dissolution
and division/separation rules) is considered, but not working with a tree-like
structure. Some remarks about choosing good semantics are given
Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation
From a computational complexity point of view, some syntactical ingredients play differentroles depending on the kind of combination considered. Inspired by the fact that the passing of a chemical substance through a biological membrane is often done by an interaction with the membrane itself, systems with active membranes were considered.Several combinations of different ingredients have been used in order to know which kindof problems could they solve efficientlyIn this paper, minimal cooperation with a minimal expression (the left-hand side of every object evolution rule has at most two objects and its right-hand side contains only one object) in object evolution rules is considered and a polynomial-time uniform solution to the SAT problem is presented. Consequently, a new way to tackle the P versus NP problem is provided.National Natural Science Foundation of China No 61472328National Natural Science Foundation of China No 6132010600