Trabalhos

• O trabalho é em grupos de dois.
• Cada um escolhe um problema e uma meta-heurística.
• Tarefa de todos:
  1. Formular o problema como programa linear ou inteiro
  2. Resolver as instâncias definidas (abaixo) com um solver genérico (p.ex. CPLEX,GLPK,SCIP)
  3. Definir e implementar e meta-heurística escolhida para o problema
  4. Resolver as instâncias definidas com a meta-heurística
  5. Documentar e analisar os experimentos: relatório
  6. Apresentar os resultados: apresentação em aula

• Apresentar uma proposta ate 16 de novembro.
  • Conteúdo: Definição dos principais elementos da abordagem (representação de uma solução, solução inicial, vizinhanças, critério de parada, etc.) e a formulação matemática do problema.
• Prazos Entrega do trabalho escrito: 7 de dezembro.

Definição dos problemas

• Simulated annealing (SA)
• Busca local iterada / Busca gulosa iterada (ILS)
• Busca Tabu (BT)
• Algorítmo genético/memético (GA)
• GRASP

• Todas implementações devem aceitar uma instância no formato do problema na entrada padrão (stdin) e imprimir a melhor solução encontrada na saída padrão (stdout).
• Os principais parâmetros do método devem ser definíveis pela linha de comando.
• O primeiro parâmetro da linha de comando é o nome de um arquivo para gravar a melhor solução encontrada.

O objetivo do trabalho é conhecer uma meta-heurística profundamente e ganhar experiência prática para aplicar-la em novos problemas. A avaliação reflete esse objetivo.

• Entendimento do método
  

Definição e justificativa da abordagem ao problema. Todas escolhas feitas para aplicar a meta-heuristica para o problema em questão devem ser claramente relatadas. Isso inclui a representação do problema, a função objetivo, a geração da solução inicial, a vizinhança e a estratégia de escolha em caso de buscas locais, os operadores (crossover,mutação) em caso de algoritmos genéticos, outros parâmetros do métodos (temperatura,lista tabu e tenure,…), critério de terminação. (Essa lista não é exaustiva.)

• Avaliação experimental
  

Reprodutibilidade: Documentação das instâncias, tempo de execução, parâmetros, número de experimentos, semente do gerador randômico, etc. Método de escolha de parâmetros. Discussão e conclusões. Em particular: para métodos estocásticos os valores apresentados devem ser médias de pelo menos 5 replicações de cada experimento com sementes diferentes.

• Implementação
  

Critérios básicas da eng. de SW: documentação, legibilidade, etc.

O trabalho consiste em:

• Um relatório com a documentação da solução com resultados e discussão (veja um exemplo).
  • Elementos obrigatórios: Introdução, Formulação, Descrição da solução, Resultados obtidos com análise, Conclusão e Bibliografia.
  • Nos resultados computacionais, uma tabela informando, para cada instância: valor da solução inicial (SI), valor da solução final (SF), desvio percentual da solução final em relação à inicial calculado como 100*(SI-SF)/SI, desvio percentual da SF em relação à solução ótima, tempo computacional da metaheurística, tempo computacional da resolução via solver.
• Uma implementação (linguagem arbitrário desde seja padrão sem uso de bibliotecas proprietárias e pode ser compilado e executado usando somente software livre).
• Uma apresentação em aula. Como apresentar? Mais informações.

Perguntas frequentes (FAQ)

Status: 10 de dezembro.
#Trabalhos definidos: 16/23.

P=Proposta, A=Apresentação, R=Relatorio, C=Codigo. ✓ (+x): entregue (com atraso de x dias).

QAP = Quadratic assignment problem

SAT = Satisfatibilidade máxima

AST = Árvores de Steiner