Optimização Discreta Licenciatura
em Matemática
|
Docente:
João Soares | Email:jsoares@mat.uc.pt |
Gabinete 6.4 do Dep. Matemática | Tel. 239 791 154 |
Horário de
Atendimento: Terças das 17.00 às 18.00 (Gabinete 6.4@DM) |
O último trabalho de Optimização Discreta consiste na apresentação oral de um teorema e respectiva demonstração a uma plateia de colegas e professor. A apresentação deverá ser acompanhada de um texto de apoio a ser distribuído no dia da apresentação.
O resultado a apresentar será escolhido pelo próprio aluno no leque de artigos, extractos de livros, etc. descriminados na tabela abaixo que vai sendo ampliada à medida que o semestre for decorrendo.
A escolha pode efectuar-se em qualquer momento do semestre e só se torna definitiva no dia 16 de Maio, até lá o aluno pode trocar de tema sempre que a sua nova escolha esteja disponível. Também pode (e deve) ir trabalhando no respectivo tema se achar se achar que já fez a sua escolha definitiva.
Todas as apresentações orais ocorrerão na aula teórica do dia 4 de Junho.
Tema | Aluno |
Formulação do
Problema do Caixeiro Viajante Não Simétrico usando um
número polinomial de variáveis e restrições. Bibliografia: Texto de Apoio preparado pelo professor. |
Maria Adriana Figueira |
Teorema de
Nash-Williams'1969: Todo o grafo não orientado
2k-conexo possui uma orientação k-conexa. Bibliografia: Enunciado e demonstração na página 314 de Schrijver'86. |
Catarina Barbosa |
Resolução de um
problema de loteamento (lot-sizing) usando a
linguagem de modelação algébrica AMPL. Bibliografia: Versão para estudantes disponível gratuitamente em www.ampl.com ou através do professor. Texto de Apoio disponível através do professor. |
Marta Santos |
Diversas
caracterizações de matrizes Totalmente Unimodulares. Bibliografia: Teorema 19.3 enunciado e demonstração na página 269 de Schrijver'86. |
Helder Inácio |
Convergência do
método de subgradiente para relaxação Lagrangeana. Bibliografia: Texto de Apoio disponível através do professor (página 609 do livro Nonlinear Programming 2nd ed, de Bertsekas'99). |
Pascoal Silva |
Teorema de Meyer'1974: Todo
o problema de programação linear inteira definido com
dados racionais é um problema de programação linear. Bibliografia: Enunciado e demonstração na página 231 de Schrijver'86. |
Carla Lourenço |
Teorema de Cunningham e
Marsh'1978: Caracterização algébrica do invólucro
convexo dos emparelhamentos e emparelhamentos perfeitos
de um grafo não orientado. Bibliografia: Enunciado e demonstração na página 256 de Korte'2000. |
Adriane Belo |
última actualização em 14 de Maio de 2002