Limitante inferior para SAT e consequências

Detalhes bibliográficos
Autor(a) principal: Bichibichi, Yuri Socher
Data de Publicação: 2018
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
Texto Completo: http://repositorio.utfpr.edu.br/jspui/handle/1/9249
Resumo: Neste trabalho é realizado um levantamento sobre os recentes limitantes inferiores em tempo e espaço para o problema SAT. Também é demonstrada uma prova alternativa para EXP ≠ EXPSPACE ⇒ P ≠ PSPACE sem utilizar argumento de preenchimento. Em seguida é feita uma demonstração original de que PSPACE ≠ NEXP ⇒ NP ⊄ PolyL. Este resultado pode ser usado para provar melhores limitantes inferiores para SAT utilizando memória logarítmica e pode auxiliar na busca da solução do problema P vs L.
id UTFPR-12_2080d69b707f9b0be7928377e8ceea08
oai_identifier_str oai:repositorio.utfpr.edu.br:1/9249
network_acronym_str UTFPR-12
network_name_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
repository_id_str
spelling 2020-11-12T12:02:36Z2020-11-12T12:02:36Z2018-11-29BICHIBICHI, Yuri Socher. Limitante inferior para SAT e consequências. 2018. 39 f. Trabalho de Conclusão de Curso (Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Curitiba, 2018.http://repositorio.utfpr.edu.br/jspui/handle/1/9249Neste trabalho é realizado um levantamento sobre os recentes limitantes inferiores em tempo e espaço para o problema SAT. Também é demonstrada uma prova alternativa para EXP ≠ EXPSPACE ⇒ P ≠ PSPACE sem utilizar argumento de preenchimento. Em seguida é feita uma demonstração original de que PSPACE ≠ NEXP ⇒ NP ⊄ PolyL. Este resultado pode ser usado para provar melhores limitantes inferiores para SAT utilizando memória logarítmica e pode auxiliar na busca da solução do problema P vs L.In this work is realized a survey about recents time and space lower-bounds for SAT problem. Also, is demonstrated an alternative proof for EXP ≠ EXPSPACE ⇒ P ≠ PSPACE without using padding argument. After that is shown an original demonstration that PSPACE ≠ NEXP ⇒ NP ⊄ PolyL. This result can be used to prove betters lower-bounds for SAT with memory logarithmic and can help the search for the solution of the problem P vs L.porUniversidade Tecnológica Federal do ParanáCuritibaBacharelado em Sistemas de InformaçãoUTFPRBrasilCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOComplexidade computacionalÁrvores (Teoria dos grafos)Álgebra booleanaComputational complexityTrees (Graph theory)Algebra, BooleanLimitante inferior para SAT e consequênciasLower-bound for SAT and consequencesinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisCuritibaGiménez-Lugo, Gustavo AlbertoSilva, Murilo Vicente Gonçalves daSilva, Murilo Vicente Gonçalves daSdroievski, Nicolas MocelinTacla, Cesar AugustoDorini, Leyza BaldoBichibichi, Yuri Socherinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRORIGINALCT_COSIS_2018_2_03.pdfapplication/pdf581809http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/1/CT_COSIS_2018_2_03.pdf8b6473c66820c55dab710e2885b5b848MD51LICENSElicense.txttext/plain1290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTCT_COSIS_2018_2_03.pdf.txtExtracted texttext/plain68037http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/3/CT_COSIS_2018_2_03.pdf.txt6f61ca59f2405dbdd933c9b06c4267e0MD53THUMBNAILCT_COSIS_2018_2_03.pdf.jpgGenerated Thumbnailimage/jpeg1262http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/4/CT_COSIS_2018_2_03.pdf.jpg00b6cf41f95a91ebffe61a804dbfb37dMD541/92492020-11-12 10:02:36.436oai:repositorio.utfpr.edu.br:1/9249TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2020-11-12T12:02:36Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false
dc.title.pt_BR.fl_str_mv Limitante inferior para SAT e consequências
dc.title.alternative.pt_BR.fl_str_mv Lower-bound for SAT and consequences
title Limitante inferior para SAT e consequências
spellingShingle Limitante inferior para SAT e consequências
Bichibichi, Yuri Socher
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Complexidade computacional
Árvores (Teoria dos grafos)
Álgebra booleana
Computational complexity
Trees (Graph theory)
Algebra, Boolean
title_short Limitante inferior para SAT e consequências
title_full Limitante inferior para SAT e consequências
title_fullStr Limitante inferior para SAT e consequências
title_full_unstemmed Limitante inferior para SAT e consequências
title_sort Limitante inferior para SAT e consequências
author Bichibichi, Yuri Socher
author_facet Bichibichi, Yuri Socher
author_role author
dc.contributor.advisor1.fl_str_mv Giménez-Lugo, Gustavo Alberto
dc.contributor.advisor-co1.fl_str_mv Silva, Murilo Vicente Gonçalves da
dc.contributor.referee1.fl_str_mv Silva, Murilo Vicente Gonçalves da
dc.contributor.referee2.fl_str_mv Sdroievski, Nicolas Mocelin
dc.contributor.referee3.fl_str_mv Tacla, Cesar Augusto
dc.contributor.referee4.fl_str_mv Dorini, Leyza Baldo
dc.contributor.author.fl_str_mv Bichibichi, Yuri Socher
contributor_str_mv Giménez-Lugo, Gustavo Alberto
Silva, Murilo Vicente Gonçalves da
Silva, Murilo Vicente Gonçalves da
Sdroievski, Nicolas Mocelin
Tacla, Cesar Augusto
Dorini, Leyza Baldo
dc.subject.cnpq.fl_str_mv CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
topic CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Complexidade computacional
Árvores (Teoria dos grafos)
Álgebra booleana
Computational complexity
Trees (Graph theory)
Algebra, Boolean
dc.subject.por.fl_str_mv Complexidade computacional
Árvores (Teoria dos grafos)
Álgebra booleana
Computational complexity
Trees (Graph theory)
Algebra, Boolean
description Neste trabalho é realizado um levantamento sobre os recentes limitantes inferiores em tempo e espaço para o problema SAT. Também é demonstrada uma prova alternativa para EXP ≠ EXPSPACE ⇒ P ≠ PSPACE sem utilizar argumento de preenchimento. Em seguida é feita uma demonstração original de que PSPACE ≠ NEXP ⇒ NP ⊄ PolyL. Este resultado pode ser usado para provar melhores limitantes inferiores para SAT utilizando memória logarítmica e pode auxiliar na busca da solução do problema P vs L.
publishDate 2018
dc.date.issued.fl_str_mv 2018-11-29
dc.date.accessioned.fl_str_mv 2020-11-12T12:02:36Z
dc.date.available.fl_str_mv 2020-11-12T12:02:36Z
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.citation.fl_str_mv BICHIBICHI, Yuri Socher. Limitante inferior para SAT e consequências. 2018. 39 f. Trabalho de Conclusão de Curso (Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Curitiba, 2018.
dc.identifier.uri.fl_str_mv http://repositorio.utfpr.edu.br/jspui/handle/1/9249
identifier_str_mv BICHIBICHI, Yuri Socher. Limitante inferior para SAT e consequências. 2018. 39 f. Trabalho de Conclusão de Curso (Bacharelado em Sistemas de Informação) - Universidade Tecnológica Federal do Paraná, Curitiba, 2018.
url http://repositorio.utfpr.edu.br/jspui/handle/1/9249
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.publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Curitiba
dc.publisher.program.fl_str_mv Bacharelado em Sistemas de Informação
dc.publisher.initials.fl_str_mv UTFPR
dc.publisher.country.fl_str_mv Brasil
publisher.none.fl_str_mv Universidade Tecnológica Federal do Paraná
Curitiba
dc.source.none.fl_str_mv reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
instname:Universidade Tecnológica Federal do Paraná (UTFPR)
instacron:UTFPR
instname_str Universidade Tecnológica Federal do Paraná (UTFPR)
instacron_str UTFPR
institution UTFPR
reponame_str Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
collection Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))
bitstream.url.fl_str_mv http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/1/CT_COSIS_2018_2_03.pdf
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/2/license.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/3/CT_COSIS_2018_2_03.pdf.txt
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/9249/4/CT_COSIS_2018_2_03.pdf.jpg
bitstream.checksum.fl_str_mv 8b6473c66820c55dab710e2885b5b848
b9d82215ab23456fa2d8b49c5df1b95b
6f61ca59f2405dbdd933c9b06c4267e0
00b6cf41f95a91ebffe61a804dbfb37d
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)
repository.mail.fl_str_mv
_version_ 1805923217242587136

Registros relacionados