학술논문
Reaching efficiency through collaboration in membrane systems: dissolution, polarization and cooperation.
Document Type
Journal
Author
Valencia-Cabrera, Luis (E-SEVL-CAI) AMS Author Profile; Orellana-Martín, David (E-SEVL-CAI) AMS Author Profile; Martínez-del-Amor, Miguel A. (E-SEVL-CAI) AMS Author Profile; Riscos-Núñez, Agustín (E-SEVL-CAI) AMS Author Profile; Pérez-Jiménez, Mario J. (E-SEVL-CAI) AMS Author Profile
Source
Subject
68 Computer science -- 68Q Theory of computing
68Q17Computational difficulty of problems
68Q17
Language
English
Abstract
Summary: ``From a computational complexity point of view, somesyntactical ingredients play different roles depending on the kind ofcombination considered. Inspired by the fact that the passing of achemical substance through a biological membrane is often done by aninteraction with the membrane itself, systems with active membraneswere considered. Several combinations of different ingredients havebeen used in order to know which kind of problems could they solve {\it efficiently} In this paper, minimal cooperation with a minimalexpression (the left-hand side of every object evolution rule has atmost two objects and its right-hand side contains only one object) inobject evolution rules is considered and a polynomial-time uniformsolution to the {\tt SAT} problem is presented. Consequently, a new wayto tackle the $\bf P$ versus $\bf{NP}$ problem is provided.''