dc.creator | Díaz Pernil, Daniel | es |
dc.creator | Alhazov, Artiom | es |
dc.creator | Freund, Rudolf | es |
dc.creator | Gutiérrez Naranjo, Miguel Ángel | es |
dc.creator | Leporati, Alberto | es |
dc.date.accessioned | 2021-04-07T10:31:00Z | |
dc.date.available | 2021-04-07T10:31:00Z | |
dc.date.issued | 2015 | |
dc.identifier.citation | Díaz Pernil, D., Alhazov, A., Freund, R., Gutiérrez Naranjo, M.Á. y Leporati, A. (2015). Recognizer P Systems with Antimatter. Romanian Journal of Information Science and Technology (ROMJIST), 18 (3), 201-217. | |
dc.identifier.issn | 1453-8245 | es |
dc.identifier.uri | https://hdl.handle.net/11441/106789 | |
dc.description.abstract | In this paper, we consider recognizer P systems with antimatter
and the in
uence of the matter/antimatter annihilation rules having weak
priority over all the other rules or not. We rst provide a uniform family of P
systems with active membranes which solves the strongly NP-complete problem
SAT, the Satis ability Problem, without polarizations and without dissolution,
yet with division for elementary membranes and with matter/antimatter annihilation
rules having weak priority over all the other rules. Then we show that
without this weak priority of the matter/antimatter annihilation rules over all
the other rules we only obtain the complexity class P | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2012-37434 | es |
dc.format | application/pdf | es |
dc.format.extent | 17 | es |
dc.language.iso | eng | es |
dc.publisher | Romanian Academy, Section for Information Science and Technology | es |
dc.relation.ispartof | Romanian Journal of Information Science and Technology (ROMJIST), 18 (3), 201-217. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Recognizer P Systems with Antimatter | es |
dc.type | info:eu-repo/semantics/article | 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) | es |
dc.relation.projectID | TIN2012-37434 | es |
dc.relation.publisherversion | https://www.romjist.ro/content/cuprins18_3.html | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.contributor.group | Universidad de Sevilla. FQM296: Topología Computacional y Matemática Aplicada | es |
dc.journaltitle | Romanian Journal of Information Science and Technology (ROMJIST) | es |
dc.publication.volumen | 18 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 201 | es |
dc.publication.endPage | 217 | es |
dc.identifier.sisius | 21265822 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |