Ponencia
Solving SAT with Active Membranes and Pre-Computed Initial Con gurations
Autor/es | Aman, Bogdan
Ciobanu, Gabriel |
Fecha de publicación | 2014 |
Fecha de depósito | 2016-01-26 |
Publicado en |
|
ISBN/ISSN | 978-84-940056-4-0 |
Resumen | In this paper we provide algorithms for solving the SAT problem using P
systems with active membranes with neither polarization nor division rules. The semi-
uniform solutions are given under the assumption that initial ... In this paper we provide algorithms for solving the SAT problem using P systems with active membranes with neither polarization nor division rules. The semi- uniform solutions are given under the assumption that initial con gurations (either al- phabet or structure) of exponential size are pre-computed by well-de ned P systems (P systems with replicated rewriting and P systems with active membranes and membrane creation, respectively) working in polynomial time. An important observation is that we specify how the pre-computed initial con gurations are constructed. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
063_OpenActiveNP09.pdf | 107.0Kb | [PDF] | Ver/ | |