Busca avançada
Ano de início
Entree

Contribuições para a integração de técnicas de programação inteira e de programação por restrições

Resumo

A pesquisa feita na última década mostra que a integração dos métodos de programação inteira (IP) e de programação por restrições (CP) pode levar a benefícios substanciais na solução de problemas de otimização combinatória. Isto inclui reduções em ordens de grandeza no tempo de computação de importantes problemas da área, bem como formas mais poderosas de modelagem. Neste projeto nós propomos estudar um elemento central para os métodos de integração, a saber, o desenvolvimento de relaxações poliedrais para as "restrições globais" usadas em CP. As restrições globais são a chave do sucesso da CP. Elas representam subconjuntos de restrições altamente estruturadas. Ao processar cada restrição global através de um algoritmo de "filtragem", o resolvedor pode explorar a subestrutura de modo a excluir valores inviáveis para as variáveis. Um próximo passo natural é combinar as vantagens das restrições globais com a metodologia de relaxação da IP, por meio do estudo da estrutura poliedral das restrições globais. O estudo descrito nesta proposta se insere neste contexto. (AU)

Matéria(s) publicada(s) na Agência FAPESP sobre o auxílio:
Matéria(s) publicada(s) em Outras Mídias (0 total):
Mais itensMenos itens
VEICULO: TITULO (DATA)
VEICULO: TITULO (DATA)