ParaQuantumSAT: um algoritmo SAT solver distribuído
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Trabalho de conclusão de curso |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFSC |
Texto Completo: | https://repositorio.ufsc.br/xmlui/handle/123456789/171430 |
Resumo: | TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação. |
id |
UFSC_018f7eeb4cd3fb011a9f1e63d70e5550 |
---|---|
oai_identifier_str |
oai:repositorio.ufsc.br:123456789/171430 |
network_acronym_str |
UFSC |
network_name_str |
Repositório Institucional da UFSC |
repository_id_str |
2373 |
spelling |
Universidade Federal de Santa CatarinaZeni, João GuilhermeMarchi, JerusaDantas, Mario Antonio Ribeiro2016-12-12T21:47:28Z2016-12-12T21:47:28Z2016-12-12https://repositorio.ufsc.br/xmlui/handle/123456789/171430TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação.The SAT problem is a classic and well known problem, been the first proved NP-complete. For its importance, since many equally NP-complete problems can be solved through reduction to the SAT problem, the study of techniques and algorithms for its solution is always a current issue of research. One way of speed up the achievement of a solution is through parallelism. Parallel computing is a critical study field, since the current speed of processing of computers grows with the parallelisation of processors, been one of the main challenges of the field the building of efficient parallel algorithms to solve classical computing problems. This work intends to develop a parallel SAT solver algorithm, using as base a sequential SAT solver algorithm.O problema SAT é um problema clássico e bem conhecido, sendo o primeiro provado ser NP-completo . Por sua importância, já que diversos problemas igualmente NP-completo podem ser solucionados via redução ao problema SAT, o estudo de técnicas e algoritmos para a sua solução é sempre um tema atual de pesquisa. Uma forma de buscar acelerar a obtenção da solução é através de paralelismo. Computação paralela é uma área de estudo crítica, visto que hoje a capacidade de processamento dos computadores cresce com a paralelização dos processadores, sendo um dos principais desafios para a área a construção de algoritmos paralelos eficientes para resolver problemas clássicos de computação. Este trabalho se propõe a desenvolver um algoritmo SAT solver paralelo, tendo como base um algoritmo SAT solver sequencial.95 f.Florianópolis, SC.Algoritmos ParalelosSAT SolverParaQuantumSAT: um algoritmo SAT solver distribuídoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisporreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINALrelat_final.pdfrelat_final.pdfMonografiaapplication/pdf981907https://repositorio.ufsc.br/bitstream/123456789/171430/1/relat_final.pdfb72492313d700bd9a3291454fc96f1fbMD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81383https://repositorio.ufsc.br/bitstream/123456789/171430/2/license.txt11ee89cd31d893362820eab7c4d46734MD52123456789/1714302016-12-12 19:47:28.666oai:repositorio.ufsc.br:123456789/171430Vm9jw6ogdGVtIGEgbGliZXJkYWRlIGRlOiBDb21wYXJ0aWxoYXIg4oCUIGNvcGlhciwgZGlzdHJpYnVpciBlIHRyYW5zbWl0aXIgYSBvYnJhLiBSZW1peGFyIOKAlCBjcmlhciBvYnJhcyBkZXJpdmFkYXMuClNvYiBhcyBzZWd1aW50ZXMgY29uZGnDp8O1ZXM6IEF0cmlidWnDp8OjbyDigJQgVm9jw6ogZGV2ZSBjcmVkaXRhciBhIG9icmEgZGEgZm9ybWEgZXNwZWNpZmljYWRhIHBlbG8gYXV0b3Igb3UgbGljZW5jaWFudGUgKG1hcyBuw6NvIGRlIG1hbmVpcmEgcXVlIHN1Z2lyYSBxdWUgZXN0ZXMgY29uY2VkZW0gcXVhbHF1ZXIgYXZhbCBhIHZvY8OqIG91IGFvIHNldSB1c28gZGEgb2JyYSkuIFVzbyBuw6NvLWNvbWVyY2lhbCDigJQgVm9jw6ogbsOjbyBwb2RlIHVzYXIgZXN0YSBvYnJhIHBhcmEgZmlucyBjb21lcmNpYWlzLgpGaWNhbmRvIGNsYXJvIHF1ZTogUmVuw7puY2lhIOKAlCBRdWFscXVlciBkYXMgY29uZGnDp8O1ZXMgYWNpbWEgcG9kZSBzZXIgcmVudW5jaWFkYSBzZSB2b2PDqiBvYnRpdmVyIHBlcm1pc3PDo28gZG8gdGl0dWxhciBkb3MgZGlyZWl0b3MgYXV0b3JhaXMuIERvbcOtbmlvIFDDumJsaWNvIOKAlCBPbmRlIGEgb2JyYSBvdSBxdWFscXVlciBkZSBzZXVzIGVsZW1lbnRvcyBlc3RpdmVyIGVtIGRvbcOtbmlvIHDDumJsaWNvIHNvYiBvIGRpcmVpdG8gYXBsaWPDoXZlbCwgZXN0YSBjb25kacOnw6NvIG7Do28gw6ksIGRlIG1hbmVpcmEgYWxndW1hLCBhZmV0YWRhIHBlbGEgbGljZW7Dp2EuIE91dHJvcyBEaXJlaXRvcyDigJQgT3Mgc2VndWludGVzIGRpcmVpdG9zIG7Do28gc8OjbywgZGUgbWFuZWlyYSBhbGd1bWEsIGFmZXRhZG9zIHBlbGEgbGljZW7Dp2E6IExpbWl0YcOnw7VlcyBlIGV4Y2XDp8O1ZXMgYW9zIGRpcmVpdG9zIGF1dG9yYWlzIG91IHF1YWlzcXVlciB1c29zIGxpdnJlcyBhcGxpY8OhdmVpczsgT3MgZGlyZWl0b3MgbW9yYWlzIGRvIGF1dG9yOyBEaXJlaXRvcyBxdWUgb3V0cmFzIHBlc3NvYXMgcG9kZW0gdGVyIHNvYnJlIGEgb2JyYSBvdSBzb2JyZSBhIHV0aWxpemHDp8OjbyBkYSBvYnJhLCB0YWlzIGNvbW8gZGlyZWl0b3MgZGUgaW1hZ2VtIG91IHByaXZhY2lkYWRlLiBBdmlzbyDigJQgUGFyYSBxdWFscXVlciByZXV0aWxpemHDp8OjbyBvdSBkaXN0cmlidWnDp8Ojbywgdm9jw6ogZGV2ZSBkZWl4YXIgY2xhcm8gYSB0ZXJjZWlyb3Mgb3MgdGVybW9zIGRhIGxpY2Vuw6dhIGEgcXVlIHNlIGVuY29udHJhIHN1Ym1ldGlkYSBlc3RhIG9icmEuIEEgbWVsaG9yIG1hbmVpcmEgZGUgZmF6ZXIgaXNzbyDDqSBjb20gdW0gbGluayBwYXJhIGVzdGEgcMOhZ2luYS4KTGljZW7Dp2EgQ3JlYXRpdmUgQ29tbW9ucyAtIGh0dHA6Ly9jcmVhdGl2ZWNvbW1vbnMub3JnL2xpY2Vuc2VzL2J5LW5jLzMuMC9ici8KRepositório de PublicaçõesPUBhttp://150.162.242.35/oai/requestopendoar:23732016-12-12T21:47:28Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false |
dc.title.pt_BR.fl_str_mv |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
title |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
spellingShingle |
ParaQuantumSAT: um algoritmo SAT solver distribuído Zeni, João Guilherme Algoritmos Paralelos SAT Solver |
title_short |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
title_full |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
title_fullStr |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
title_full_unstemmed |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
title_sort |
ParaQuantumSAT: um algoritmo SAT solver distribuído |
author |
Zeni, João Guilherme |
author_facet |
Zeni, João Guilherme |
author_role |
author |
dc.contributor.pt_BR.fl_str_mv |
Universidade Federal de Santa Catarina |
dc.contributor.author.fl_str_mv |
Zeni, João Guilherme |
dc.contributor.advisor1.fl_str_mv |
Marchi, Jerusa |
dc.contributor.advisor-co1.fl_str_mv |
Dantas, Mario Antonio Ribeiro |
contributor_str_mv |
Marchi, Jerusa Dantas, Mario Antonio Ribeiro |
dc.subject.por.fl_str_mv |
Algoritmos Paralelos SAT Solver |
topic |
Algoritmos Paralelos SAT Solver |
description |
TCC(graduação) - Universidade Federal de Santa Catarina. Centro Tecnológico. Ciências da Computação. |
publishDate |
2016 |
dc.date.accessioned.fl_str_mv |
2016-12-12T21:47:28Z |
dc.date.available.fl_str_mv |
2016-12-12T21:47:28Z |
dc.date.issued.fl_str_mv |
2016-12-12 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/bachelorThesis |
format |
bachelorThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://repositorio.ufsc.br/xmlui/handle/123456789/171430 |
url |
https://repositorio.ufsc.br/xmlui/handle/123456789/171430 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
95 f. |
dc.publisher.none.fl_str_mv |
Florianópolis, SC. |
publisher.none.fl_str_mv |
Florianópolis, SC. |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFSC instname:Universidade Federal de Santa Catarina (UFSC) instacron:UFSC |
instname_str |
Universidade Federal de Santa Catarina (UFSC) |
instacron_str |
UFSC |
institution |
UFSC |
reponame_str |
Repositório Institucional da UFSC |
collection |
Repositório Institucional da UFSC |
bitstream.url.fl_str_mv |
https://repositorio.ufsc.br/bitstream/123456789/171430/1/relat_final.pdf https://repositorio.ufsc.br/bitstream/123456789/171430/2/license.txt |
bitstream.checksum.fl_str_mv |
b72492313d700bd9a3291454fc96f1fb 11ee89cd31d893362820eab7c4d46734 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC) |
repository.mail.fl_str_mv |
|
_version_ |
1766805244240461824 |