MULTIPLEX: um procedimento baseado em simulted annealing aplicado ao problema Max-Sat ponderado

AUTOR(ES)
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