Métodos para Resolução de Problemas de Otimização Pseudo-Booleana
Nesta pesquisa, investigamos os problemas de Programação Pseudo-Booleana Irrestrita (UPBP), Programação Quadrática Binária Irrestrita (UBQP) e Programação Quadrática Booleana com Restrições de Limitantes Superiores Generalizados (BQP-GUB), que pertencem à classe de complexidade NP-difícil. Em virtude de apelos práticos, há grande interesse no desenvolvimento de métodos para resolver esses problemas. Com o intuito de contribuir de maneira significativa para esta área de pesquisa, pretendemos: (a) propor um algoritmo exato para o UPBP e o UBQP; (b) criar um algoritmo de tempo polinomial para resolver classes de instâncias do UPBP e do UBQP; (c) propor implementações paralelas dos métodos indicados nos itens (a) e (b); (d) desenvolver uma fórmula para gerar limitantes aos valores de soluções ótimas para resolver instâncias do UBQP; (e) desenvolver fórmulas para calcular rapidamente o valor da função objetivo do BQP-GUB; e (f) converter problemas de otimização para a forma do UBQP e do BQP-GUB. Embora estes objetivos sejam ambiciosos, ressaltamos que obtivemos resultados originais com relação aos itens (a), (b), (d), (e) e realizamos experimentos computacionais quanto aos itens (a), (b) e (e). Estes resultados preliminares, teóricos e computacionais, são animadores.