Ponencia
Characterizing Tractability with Membrane Creation
Autor/es | Gutiérrez Naranjo, Miguel Ángel
Pérez Jiménez, Mario de Jesús Riscos Núñez, Agustín 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-30 |
Publicado en |
|
ISBN/ISSN | 0-7695-2453-2 |
Resumen | This paper analyzes the role that membrane dissolution
rules play in order to characterize (in the framework of
recognizer P systems with membrane creation) the tractability of
decision problems that is, the ef cient ... This paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer P systems with membrane creation) the tractability of decision problems that is, the ef cient solvability of problems by deterministic Turing machines. In this context, the use or not of these rules provides an interesting borderline between tractability and (presumable) intractability. |
Agencias financiadoras | Ministerio de Ciencia y Tecnología (MCYT). España |
Identificador del proyecto | TIC2002-04220-C03-01 |
Cita | Gutiérrez Naranjo, M.Á., Pérez Jiménez, M.d.J., Riscos Núñez, A. y Romero Campero, F.J. (2005). Characterizing Tractability with Membrane Creation. En Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005) (448-457), Timisoara, Romania: IEEE Computer Society. |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
characterizing.pdf | 296.8Kb | [PDF] | Ver/ | |