Mostrar el registro sencillo del ítem
Ponencia
Deterministic Solutions to QSAT and Q3SAT by Spiking Neural P Systems with Pre-Computed Resources
dc.creator | Ishdorj, Tseren-Onolt | |
dc.creator | Leporati, Alberto | |
dc.creator | Pan, Linqiang | |
dc.creator | Zeng, Xiangxiang | |
dc.creator | Zhang, Xingyi | |
dc.date.accessioned | 2016-03-22T07:30:24Z | |
dc.date.available | 2016-03-22T07:30:24Z | |
dc.date.issued | 2009 | |
dc.identifier.isbn | 9788461328369 | es |
dc.identifier.uri | http://hdl.handle.net/11441/38898 | |
dc.description.abstract | In this paper we continue previous studies on the computational effciency of spiking neural P systems, under the assumption that some pre-computed resources of exponential size are given in advance. Specifically, we give a deterministic solution for each of two well known PSPACE-complete problems: QSAT and Q3SAT. In the case of QSAT, the answer to any instance of the problem is computed in a time which is linear with respect to both the number n of Boolean variables and the number m of clauses that compose the instance. As for Q3SAT, the answer is computed in a time which is at most cubic in the number n of Boolean variables. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings of the Seventh Brainstorming Week on Membrane Computing, vol.II, 1-27. Sevilla, E.T.S. de Ingeniería Informática, 2-6 de Febrero, 2009 | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Deterministic Solutions to QSAT and Q3SAT by Spiking Neural P Systems with Pre-Computed Resources | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/38898 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
06_pspace.pdf | 618.6Kb | ![]() | Ver/ | |