Uma redução do problema de fatorização de inteiros para o problema de programação 0-1

Detalhes bibliográficos
Autor(a) principal: Happ Botler, Fábio
Data de Publicação: 2011
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da UFPE
dARK ID: ark:/64986/001300000hdq7
Texto Completo: https://repositorio.ufpe.br/handle/123456789/7639
Resumo: O problema de Fatorização de Inteiros, assim como os outros em NP, pode ser reduzido em tempo polinomial para o problema de Satisfabilidade, devido ao Teorema de Cook. O problema de Satisfabilidade, por sua vez, pode ser reduzido facilmente ao problema de Programação Inteira. Este trabalho apresenta uma dessas reduções, isto é, Fatorização 􀀀! Programação Inteira e algumas particularidades encontradas. Obtemos uma redução de ordem O(n2) no número de dígitos binários de um inteiro N a ser fatorado e, além disso, encontramos algumas propriedades locais da matriz final que podem auxiliar um possível estágio de pré-processamento
id UFPE_2be27ae969505baa8f2083e3b2dc0dae
oai_identifier_str oai:repositorio.ufpe.br:123456789/7639
network_acronym_str UFPE
network_name_str Repositório Institucional da UFPE
repository_id_str 2221
spelling Happ Botler, FábioLuiz Soares Lins, Sóstenes 2014-06-12T18:34:09Z2014-06-12T18:34:09Z2011-01-31Happ Botler, Fábio; Luiz Soares Lins, Sóstenes. Uma redução do problema de fatorização de inteiros para o problema de programação 0-1. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Matemática, Universidade Federal de Pernambuco, Recife, 2011.https://repositorio.ufpe.br/handle/123456789/7639ark:/64986/001300000hdq7O problema de Fatorização de Inteiros, assim como os outros em NP, pode ser reduzido em tempo polinomial para o problema de Satisfabilidade, devido ao Teorema de Cook. O problema de Satisfabilidade, por sua vez, pode ser reduzido facilmente ao problema de Programação Inteira. Este trabalho apresenta uma dessas reduções, isto é, Fatorização 􀀀! Programação Inteira e algumas particularidades encontradas. Obtemos uma redução de ordem O(n2) no número de dígitos binários de um inteiro N a ser fatorado e, além disso, encontramos algumas propriedades locais da matriz final que podem auxiliar um possível estágio de pré-processamentoCoordenação de Aperfeiçoamento de Pessoal de Nível SuperiorporUniversidade Federal de PernambucoAttribution-NonCommercial-NoDerivs 3.0 Brazilhttp://creativecommons.org/licenses/by-nc-nd/3.0/br/info:eu-repo/semantics/openAccessAlgoritmosAnálise combinatóriaUma redução do problema de fatorização de inteiros para o problema de programação 0-1info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFPEinstname:Universidade Federal de Pernambuco (UFPE)instacron:UFPETHUMBNAILarquivo994_1.pdf.jpgarquivo994_1.pdf.jpgGenerated Thumbnailimage/jpeg1312https://repositorio.ufpe.br/bitstream/123456789/7639/4/arquivo994_1.pdf.jpg3ec26903bbf416261d26648815197dfdMD54ORIGINALarquivo994_1.pdfapplication/pdf594849https://repositorio.ufpe.br/bitstream/123456789/7639/1/arquivo994_1.pdfbae437699c217a484a971da9a8e6c683MD51LICENSElicense.txttext/plain1748https://repositorio.ufpe.br/bitstream/123456789/7639/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52TEXTarquivo994_1.pdf.txtarquivo994_1.pdf.txtExtracted texttext/plain62211https://repositorio.ufpe.br/bitstream/123456789/7639/3/arquivo994_1.pdf.txt143bdfeb545d8b33a4c116c94fdea1cfMD53123456789/76392019-10-25 15:07:59.019oai:repositorio.ufpe.br:123456789/7639Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Repositório InstitucionalPUBhttps://repositorio.ufpe.br/oai/requestattena@ufpe.bropendoar:22212019-10-25T18:07:59Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)false
dc.title.pt_BR.fl_str_mv Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
title Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
spellingShingle Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
Happ Botler, Fábio
Algoritmos
Análise combinatória
title_short Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
title_full Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
title_fullStr Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
title_full_unstemmed Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
title_sort Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
author Happ Botler, Fábio
author_facet Happ Botler, Fábio
author_role author
dc.contributor.author.fl_str_mv Happ Botler, Fábio
dc.contributor.advisor1.fl_str_mv Luiz Soares Lins, Sóstenes
contributor_str_mv Luiz Soares Lins, Sóstenes
dc.subject.por.fl_str_mv Algoritmos
Análise combinatória
topic Algoritmos
Análise combinatória
description O problema de Fatorização de Inteiros, assim como os outros em NP, pode ser reduzido em tempo polinomial para o problema de Satisfabilidade, devido ao Teorema de Cook. O problema de Satisfabilidade, por sua vez, pode ser reduzido facilmente ao problema de Programação Inteira. Este trabalho apresenta uma dessas reduções, isto é, Fatorização 􀀀! Programação Inteira e algumas particularidades encontradas. Obtemos uma redução de ordem O(n2) no número de dígitos binários de um inteiro N a ser fatorado e, além disso, encontramos algumas propriedades locais da matriz final que podem auxiliar um possível estágio de pré-processamento
publishDate 2011
dc.date.issued.fl_str_mv 2011-01-31
dc.date.accessioned.fl_str_mv 2014-06-12T18:34:09Z
dc.date.available.fl_str_mv 2014-06-12T18:34:09Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.citation.fl_str_mv Happ Botler, Fábio; Luiz Soares Lins, Sóstenes. Uma redução do problema de fatorização de inteiros para o problema de programação 0-1. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Matemática, Universidade Federal de Pernambuco, Recife, 2011.
dc.identifier.uri.fl_str_mv https://repositorio.ufpe.br/handle/123456789/7639
dc.identifier.dark.fl_str_mv ark:/64986/001300000hdq7
identifier_str_mv Happ Botler, Fábio; Luiz Soares Lins, Sóstenes. Uma redução do problema de fatorização de inteiros para o problema de programação 0-1. 2011. Dissertação (Mestrado). Programa de Pós-Graduação em Matemática, Universidade Federal de Pernambuco, Recife, 2011.
ark:/64986/001300000hdq7
url https://repositorio.ufpe.br/handle/123456789/7639
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Attribution-NonCommercial-NoDerivs 3.0 Brazil
http://creativecommons.org/licenses/by-nc-nd/3.0/br/
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Pernambuco
publisher.none.fl_str_mv Universidade Federal de Pernambuco
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPE
instname:Universidade Federal de Pernambuco (UFPE)
instacron:UFPE
instname_str Universidade Federal de Pernambuco (UFPE)
instacron_str UFPE
institution UFPE
reponame_str Repositório Institucional da UFPE
collection Repositório Institucional da UFPE
bitstream.url.fl_str_mv https://repositorio.ufpe.br/bitstream/123456789/7639/4/arquivo994_1.pdf.jpg
https://repositorio.ufpe.br/bitstream/123456789/7639/1/arquivo994_1.pdf
https://repositorio.ufpe.br/bitstream/123456789/7639/2/license.txt
https://repositorio.ufpe.br/bitstream/123456789/7639/3/arquivo994_1.pdf.txt
bitstream.checksum.fl_str_mv 3ec26903bbf416261d26648815197dfd
bae437699c217a484a971da9a8e6c683
8a4605be74aa9ea9d79846c1fba20a33
143bdfeb545d8b33a4c116c94fdea1cf
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPE - Universidade Federal de Pernambuco (UFPE)
repository.mail.fl_str_mv attena@ufpe.br
_version_ 1815172827562639360

Registros relacionados