MULTIPLEX: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado
AUTOR(ES)
Giovany Frossard Teixeira
DATA DE PUBLICAÇÃO
2006
RESUMO
Computar a solução ótima para uma unidade de problema MAX-SAT Ponderado (weighted maximum satisfiability) é difícil mesmo se cada cláusula contiver apenas dois literais. Neste trabalho, será descrita a implementação de uma nova heurística aplicada a instâncias de problema do tipo MAX-SAT Ponderado, mas perfeitamente extensível a outros problemas. Para comparação, serão geradas soluções para uma quantidade significativa de problemas e seus resultados serão comparados com os de outras heurísticas já desenvolvidas para esse tipo de problema, dentre elas as heurísticas consideradas "estado da arte", ou seja, heurísticas que têm obtido os melhores resultados no universo das heurísticas existentes.
ASSUNTO(S)
ciencia da computacao max-sat heuristica simulated annealing max-sat simulated annealing, heuristics
Documentos Relacionados
- Simulated annealing aplicado ao problema de alocação de berços
- MultiplexaÃÃo por DivisÃo em MultirresoluÃÃo: um novo sistema baseado em wavelets
- Raciocínio baseado em casos aplicado a diversos domínios de problema
- Um modelo heurístico baseado em localização-designação aplicado ao estacionamento rotativo
- Jogo da Minoria: um modelo baseado em agentes aplicado ao mercado financeiro