Complexity aspects of polarizationless membrane systems

We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make use of evolution or communication rules, in order to find which features are sufficient to efficiently solve computationally hard problems. We show that such systems are able to so...

Descripción completa

Detalles Bibliográficos
Autores: Leporati, Alberto, Ferretti, Claudio, Mauri, Giancarlo, Pérez Jiménez, Mario de Jesús, Zandron, Claudio
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2009
País:España
Institución:Universidad de Sevilla (US)
Repositorio:idUS. Depósito de Investigación de la Universidad de Sevilla
OAI Identifier:oai:idus.us.es:11441/68042
Acceso en línea:http://hdl.handle.net/11441/68042
https://doi.org/10.1007/s11047-008-9100-1
Access Level:acceso abierto
Palabra clave:Membrane Computing
Computational Complexity
PSPACE complete problems
Descripción
Sumario:We investigate polarizationless P systems with active membranes working in maximally parallel manner, which do not make use of evolution or communication rules, in order to find which features are sufficient to efficiently solve computationally hard problems. We show that such systems are able to solve the PSPACE-complete problem QUANTIFIED 3-SAT, provided that non-elementary membrane division is controlled by the presence of a (possibly non-elementary) membrane.