Uma redução do problema de fatorização de inteiros para o problema de programação 0-1
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...
| Autor: | |
|---|---|
| Tipo de documento: | dissertação |
| Estado: | Versão publicada |
| Data de publicação: | 2011 |
| País: | Brasil |
| Recursos: | Universidade Federal de Pernambuco (UFPE) |
| Repositório: | Repositório Institucional da UFPE |
| Idioma: | português |
| OAI Identifier: | oai:repositorio.ufpe.br:123456789/7639 |
| Acesso em linha: | https://repositorio.ufpe.br/handle/123456789/7639 |
| Access Level: | Acceso aberto |
| Palavra-chave: | Algoritmos Análise combinatória |
| 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 |
|---|