Made available in DSpace on 2014-06-12T18:34:09Z (GMT). No. of bitstreams: 2
arquivo994_1.pdf: 594849 bytes, checksum: bae437699c217a484a971da9a8e6c683 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.ufpe.br:123456789/7639 |
Date | 31 January 2011 |
Creators | Happ Botler, Fábio |
Contributors | Luiz Soares Lins, Sóstenes |
Publisher | Universidade Federal de Pernambuco |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Source | reponame:Repositório Institucional da UFPE, instname:Universidade Federal de Pernambuco, instacron:UFPE |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.002 seconds