Capítulo de Libro
Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes
Autor/es | Pérez Jiménez, Mario de Jesús
Romero Campero, Francisco José |
Departamento | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial |
Fecha de publicación | 2005 |
Fecha de depósito | 2017-01-12 |
Publicado en |
|
ISBN/ISSN | 978-3-540-25080-7 0302-9743 |
Resumen | In the last time, several efforts have been made in order to
remove polarizations of membranes from P systems with active membranes;
the present paper is a contribution in this respect. In order to
compensate the loss ... In the last time, several efforts have been made in order to remove polarizations of membranes from P systems with active membranes; the present paper is a contribution in this respect. In order to compensate the loss of power represented by avoiding polarizations, we use bi-stable catalysts. Polarizationless systems with active membranes which use bi-stable catalysts are proven to be computationally complete and able to solve efficiently NP-complete problems. In this paper we present a solution to SAT in linear time. In order to illustrate the presented solution, we also provide a simulation with CLIPS. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España |
Identificador del proyecto | TIC2002-04220-C03-01 |
Cita | Pérez Jiménez, M.d.J., y Romero Campero, F.J. (2005). Trading Polarization for Bi-stable Catalysts in P Systems with Active Membranes. En Membrane Computing, 5th International Workshop, WMC5, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 3365 (2005) (pp. 373-388). Berlin: Springer. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
chp%3A10.1007%2F978-3-540-3183 ... | 245.1Kb | [PDF] | Ver/ | |