====== Trabalhos ====== ===== Considerações gerais ===== * O trabalho é em grupos de dois. * Cada um escolhe **um problema** e **uma meta-heurística**. * Tarefa de todos: - Formular o problema como programa linear ou inteiro - Resolver as instâncias definidas (abaixo) com um solver genérico (p.ex. CPLEX,GLPK,SCIP) - Definir e implementar e meta-heurística escolhida para o problema - Resolver as instâncias definidas com a meta-heurística - Documentar e analisar os experimentos: **relatório** - 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 ===== {{T20152.pdf|Definição dos 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 [[:relatorio|relatório]] com a documentação da solução com resultados e discussão (veja um {{sa-r.pdf|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? [[http://lmgtfy.com/?q=como+apresentar+bem+um+artigo+cientifico|Mais informações.]] **[[trabalho-faq|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 |