Elsevier

Theoretical Computer Science

Volume 701, 21 November 2017, Pages 226-234
Theoretical Computer Science

Reaching efficiency through collaboration in membrane systems: Dissolution, polarization and cooperation

https://doi.org/10.1016/j.tcs.2017.04.015Get rights and content
Under an Elsevier user license
open archive

Abstract

From a computational complexity point of view, some syntactical ingredients play different roles 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 kind of problems could they solve efficiently In 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.

Keywords

Membrane computing
Active membranes
Cooperative rules
Minimal cooperation
Computational complexity
The P versus NP problem

Cited by (0)