dc.creator | Díaz Pernil, Daniel | |
dc.creator | Peña Cantillana, Francisco | |
dc.creator | Gutiérrez Naranjo, Miguel Ángel | |
dc.date.accessioned | 2016-01-28T09:56:19Z | |
dc.date.available | 2016-01-28T09:56:19Z | |
dc.date.issued | 2014 | |
dc.identifier.isbn | 978-84-940056-4-0 | es |
dc.identifier.uri | http://hdl.handle.net/11441/33487 | |
dc.description.abstract | It is well known that the polynomial complexity class of recognizer polarizationless
P systems with active membranes, without dissolution and with division for
elementary and non-elementary membranes is exactly the complexity class P (see [6],
Th. 2). In this paper, we prove that if such P system model is endowed with antimatter
and annihilation rules, then NP problems can be solved. In this way, antimatter is a
frontier of tractability in Membrane Computing. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2012-37434 | |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Twelfth Brainstorming Week on Membrane Computing, 155-168. Sevilla, E.T.S. de Ingeniería Informática, 3-7 de Febrero, 2014. | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Antimatter as a Frontier of Tractability in Membrane Computing | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Matemática Aplicada I (ETSII) | |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO/TIN2012-37434 | |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
dc.contributor.group | Universidad de Sevilla. FQM296: Topología Computacional y Matemática Aplicada | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/33487 | |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | |