A polynomial alternative to unbounded environment for tissue P systems with cell division

The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial configuration of the system in an arbitrarily large number of copies. These objects reside in a distinguished place of the system, called the environment. Such potentially infi...

Descripción completa

Detalles Bibliográficos
Autores: Pérez Jiménez, Mario de Jesús, Riscos Núñez, Agustín, Rius Font, Miquel, Romero Campero, Francisco José
Tipo de recurso: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:2013
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/79751
Acceso en línea:https://hdl.handle.net/11441/79751
https://doi.org/10.1080/00207160.2012.748898
Access Level:acceso abierto
Palabra clave:Membrane Computing
Tissue P systems
Cell division
Environment of a tissue
Computational complexity
Descripción
Sumario:The standard definition of tissue P systems includes a special alphabet whose elements are assumed to appear in the initial configuration of the system in an arbitrarily large number of copies. These objects reside in a distinguished place of the system, called the environment. Such potentially infinite supply of objects seems an unfair tool when designing efficient solutions to computationally hard problems in the framework of membrane computing, by performing a space–time trade-off. This paper deals with computational aspects of tissue P systems with cell division where there is no environment having the property mentioned above. Specifically, we prove that the polynomial complexity classes associated with tissue P systems with cell division and with or without environment are actually identical. As a consequence, we conclude that it is not necessary to have infinitely many copies of some objects in the initial configuration in order to solve NP–complete problems in an efficient way.