dc.creator | Orellana Martín, David | es |
dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Riscos Núñez, Agustín | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2021-04-26T08:33:08Z | |
dc.date.available | 2021-04-26T08:33:08Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Orellana Martín, D., Valencia Cabrera, L., Riscos Núñez, A. y Pérez Jiménez, M.d.J. (2018). The Unique Satisfiability Problem from a Membrane Computing Perspective. Romanian Journal of Information Science and Technology (ROMJIST), 21 (3), 288-297. | |
dc.identifier.issn | 1453-8245 | es |
dc.identifier.uri | https://hdl.handle.net/11441/107738 | |
dc.description.abstract | Complexity class DP is the class of “differences” of any two languages in
NP. It verifies that NP[ co-NP DP PNP, where PNP is the second level of the
polynomial hierarchy, specifically, it is the class of languages decidable by a deterministic
polynomial-time Turing machine having access to an NP oracle. The unique sastifiability
problem (UNIQUE SAT) is a well known DP problem which has been proved to be co-NPhard.
In this paper, a uniform and polynomial time solution for the UNIQUE SAT problem
is given by a family of polarizationless P systems with active membranes and division rules
only for elementary membranes, without dissolution rules but using minimal cooperation and
minimal production in object evolution rules. | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2017-89842-P | es |
dc.description.sponsorship | National Natural Science Foundation of China No. 61320106005 | es |
dc.format | application/pdf | es |
dc.format.extent | 10 | 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), 21 (3), 288-297. | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Complexity class DP | es |
dc.subject | Polarizationless P systems with active membranes | es |
dc.subject | Cooperative rules | es |
dc.subject | UNIQUE SAT problem | es |
dc.title | The Unique Satisfiability Problem from a Membrane Computing Perspective | 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.relation.projectID | TIN2017-89842-P | es |
dc.relation.projectID | nº 61320106005 | es |
dc.relation.publisherversion | https://www.romjist.ro/contents-73.html | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
dc.journaltitle | Romanian Journal of Information Science and Technology (ROMJIST) | es |
dc.publication.volumen | 21 | es |
dc.publication.issue | 3 | es |
dc.publication.initialPage | 288 | es |
dc.publication.endPage | 297 | es |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España | es |
dc.contributor.funder | National Natural Science Foundation of China | es |