dc.creator | Valencia Cabrera, Luis | es |
dc.creator | Orellana Martín, David | es |
dc.creator | Riscos Núñez, Agustín | es |
dc.creator | Pérez Jiménez, Mario de Jesús | es |
dc.date.accessioned | 2019-03-29T08:46:30Z | |
dc.date.available | 2019-03-29T08:46:30Z | |
dc.date.issued | 2017 | |
dc.identifier.citation | Valencia Cabrera, L., Orellana Martín, D., Riscos Núñez, A. y Pérez Jiménez, M.d.J. (2017). Counting Membrane Systems. En CMC 2018 : 18th International Conference on Membrane Computing (359-372), Bradford, UK: University of Bradford, Faculty of Engineering and Informatics. | |
dc.identifier.uri | https://hdl.handle.net/11441/84911 | |
dc.description.abstract | A decision problem is one that has a yes/no answer, while
a counting problem asks how many possible solutions exist associated
with each instance. Every decision problem X has associated a counting
problem, denoted by #X, in a natural way by replacing the question
“is there a solution?” with “how many solutions are there?”. Counting
problems are very attractive from a computational complexity point of
view: if X is an NP-complete problem then the counting version #X is
NP-hard, but the counting version of some problems in class P can also
be NP-hard.
In this paper, a new class of membrane systems is presented in order
to provide a natural framework to solve counting problems. The class is
inspired by a special kind of non-deterministic Turing machines, called
counting Turing machines, introduced by L. Valiant. A polynomial-time
and uniform solution to the counting version of the SAT problem (a
well-known #P-complete problem) is also provided, by using a family
of counting polarizationless P systems with active membranes, without
dissolution rules and division rules for non-elementary membranes but
where only very restrictive cooperation (minimal cooperation and minimal
production) in object evolution rules is allowed. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | University of Bradford, Faculty of Engineering and Informatics | es |
dc.relation.ispartof | CMC 2018 : 18th International Conference on Membrane Computing (2017), p 359-372 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Membrane Computing | es |
dc.subject | Polarizationless P systems with active membranes | es |
dc.subject | Cooperative rules | es |
dc.subject | the P versus NP problem | es |
dc.subject | SAT problem | es |
dc.title | Counting Membrane Systems | 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.relation.publisherversion | http://computing.brad.ac.uk/cmc18/files/CMC18-Proceedings.pdf | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 14 | es |
dc.publication.initialPage | 359 | es |
dc.publication.endPage | 372 | es |
dc.eventtitle | CMC 2018 : 18th International Conference on Membrane Computing | es |
dc.eventinstitution | Bradford, UK | es |
dc.relation.publicationplace | Bradford, UK | es |