A parallel spatial quantum search algorithm applied to the 3-SAT problem
- Autores
- Hernández Barreto, Miguel A.; Abal, G.; Nesmachnow, Sergio
- Año de publicación
- 2011
- Idioma
- español castellano
- Tipo de recurso
- documento de conferencia
- Estado
- versión publicada
- Descripción
- This work presents a quantum search algorithm to solve the 3-SAT problem. An improvement over one of the best known classical algorithms for this problem is proposed, replacing the local search with a quantum search algorithm. The performance of the improved algorithm is assessed by simulating it using parallel programming techniques with shared memory. The experimental analysis demonstrate that the parallel simulation of the algorithm takes advantage of the available computing resources to improve over the eficiency of the sequential version, thus allowing to perform realistic simulations in reduced execution times.
Sociedad Argentina de Informática e Investigación Operativa - Materia
-
Ciencias Informáticas
3-SAT
algorithm - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- http://creativecommons.org/licenses/by-nc-sa/4.0/
- Repositorio
- Institución
- Universidad Nacional de La Plata
- OAI Identificador
- oai:sedici.unlp.edu.ar:10915/125243
Ver los metadatos del registro completo
id |
SEDICI_84e11a76ae23e1c931bdae86d48644fa |
---|---|
oai_identifier_str |
oai:sedici.unlp.edu.ar:10915/125243 |
network_acronym_str |
SEDICI |
repository_id_str |
1329 |
network_name_str |
SEDICI (UNLP) |
spelling |
A parallel spatial quantum search algorithm applied to the 3-SAT problemHernández Barreto, Miguel A.Abal, G.Nesmachnow, SergioCiencias Informáticas3-SATalgorithmThis work presents a quantum search algorithm to solve the 3-SAT problem. An improvement over one of the best known classical algorithms for this problem is proposed, replacing the local search with a quantum search algorithm. The performance of the improved algorithm is assessed by simulating it using parallel programming techniques with shared memory. The experimental analysis demonstrate that the parallel simulation of the algorithm takes advantage of the available computing resources to improve over the eficiency of the sequential version, thus allowing to perform realistic simulations in reduced execution times.Sociedad Argentina de Informática e Investigación Operativa2011-08info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf84-95http://sedici.unlp.edu.ar/handle/10915/125243spainfo:eu-repo/semantics/altIdentifier/issn/1850-2784info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:30:08Zoai:sedici.unlp.edu.ar:10915/125243Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:30:09.199SEDICI (UNLP) - Universidad Nacional de La Platafalse |
dc.title.none.fl_str_mv |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
title |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
spellingShingle |
A parallel spatial quantum search algorithm applied to the 3-SAT problem Hernández Barreto, Miguel A. Ciencias Informáticas 3-SAT algorithm |
title_short |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
title_full |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
title_fullStr |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
title_full_unstemmed |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
title_sort |
A parallel spatial quantum search algorithm applied to the 3-SAT problem |
dc.creator.none.fl_str_mv |
Hernández Barreto, Miguel A. Abal, G. Nesmachnow, Sergio |
author |
Hernández Barreto, Miguel A. |
author_facet |
Hernández Barreto, Miguel A. Abal, G. Nesmachnow, Sergio |
author_role |
author |
author2 |
Abal, G. Nesmachnow, Sergio |
author2_role |
author author |
dc.subject.none.fl_str_mv |
Ciencias Informáticas 3-SAT algorithm |
topic |
Ciencias Informáticas 3-SAT algorithm |
dc.description.none.fl_txt_mv |
This work presents a quantum search algorithm to solve the 3-SAT problem. An improvement over one of the best known classical algorithms for this problem is proposed, replacing the local search with a quantum search algorithm. The performance of the improved algorithm is assessed by simulating it using parallel programming techniques with shared memory. The experimental analysis demonstrate that the parallel simulation of the algorithm takes advantage of the available computing resources to improve over the eficiency of the sequential version, thus allowing to perform realistic simulations in reduced execution times. Sociedad Argentina de Informática e Investigación Operativa |
description |
This work presents a quantum search algorithm to solve the 3-SAT problem. An improvement over one of the best known classical algorithms for this problem is proposed, replacing the local search with a quantum search algorithm. The performance of the improved algorithm is assessed by simulating it using parallel programming techniques with shared memory. The experimental analysis demonstrate that the parallel simulation of the algorithm takes advantage of the available computing resources to improve over the eficiency of the sequential version, thus allowing to perform realistic simulations in reduced execution times. |
publishDate |
2011 |
dc.date.none.fl_str_mv |
2011-08 |
dc.type.none.fl_str_mv |
info:eu-repo/semantics/conferenceObject info:eu-repo/semantics/publishedVersion Objeto de conferencia http://purl.org/coar/resource_type/c_5794 info:ar-repo/semantics/documentoDeConferencia |
format |
conferenceObject |
status_str |
publishedVersion |
dc.identifier.none.fl_str_mv |
http://sedici.unlp.edu.ar/handle/10915/125243 |
url |
http://sedici.unlp.edu.ar/handle/10915/125243 |
dc.language.none.fl_str_mv |
spa |
language |
spa |
dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/issn/1850-2784 |
dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
eu_rights_str_mv |
openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) |
dc.format.none.fl_str_mv |
application/pdf 84-95 |
dc.source.none.fl_str_mv |
reponame:SEDICI (UNLP) instname:Universidad Nacional de La Plata instacron:UNLP |
reponame_str |
SEDICI (UNLP) |
collection |
SEDICI (UNLP) |
instname_str |
Universidad Nacional de La Plata |
instacron_str |
UNLP |
institution |
UNLP |
repository.name.fl_str_mv |
SEDICI (UNLP) - Universidad Nacional de La Plata |
repository.mail.fl_str_mv |
alira@sedici.unlp.edu.ar |
_version_ |
1844616180863598592 |
score |
13.070432 |