Ferramentas de Utilizador

Ferramentas de Site


inf05010:2015-2-trabalhos

Trabalhos

Considerações gerais

  • 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.

Problemas

Meta-heurísticas

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

Convenções da implementação

  • 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.

Documentação e critérios de avaliação

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)

Grupos e trabalhos selecionados

No. Trabalho Nome P A R C
1 SAT+SA Adriano, Rafael ✓.
2 SAT+GRASP Marcos, Paulo ✓.
3 AST+BT Karen, Jéssica ✓.
4 SAT+BT Artur, André ✓.
5 SAT+GA Marcus, Lorenzo ✓.
6 QAP+GA Matheus, Claudio ✓.
7 SAT+ILS Andrey, Alexander ✓.
8 QAP+SA Airton, Mateus ✓.

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

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

Seleções

QAP SAT AST
SA X X
ILS X
BT X X
AG X X
GRASP X

QAP = Quadratic assignment problem

SAT = Satisfatibilidade máxima

AST = Árvores de Steiner

Agenda

Data Hora Apresentação
07/12 10.30 AST+BT
07/12 10.55 QAP+GA
07/12 11.20 QAP+SA
07/12 11.45 SAT+GA
09/12 10.30 SAT+BT
09/12 10.55 SAT+GRASP
09/12 10.20 SAT+ILS
09/12 11.45 SAT+SA
inf05010/2015-2-trabalhos.txt · Esta página foi modificada pela última vez em: 2015/12/10 11:23 por marcus