Sumários

Problemas lineares com solução natuaralmente inteira

11 Março 2025, 13:00 Miguel Fragoso Constantino

Matrizes unimodulares e totalmente unimodulares.

Teorema de Hoffmant-Kruskal
Matrizes de incidência vértice-arco (vértice-aresta) de um grafo orientado (não orientado)
Caracterização de matrizes totalmente unimodulares.
Slides 1-29


Resolução de exercicios

25 Fevereiro 2025, 15:00 Miguel Fragoso Constantino

Resolução de exercicios de formulações.

Exercicios 2, 3, 4, 5 e 8..
Exercicios para a próxima aula: todos da ficha de formulações.


Formulações em Programação Inteira

25 Fevereiro 2025, 13:00 Miguel Fragoso Constantino

Formulações em programação inteira mista. 

Formulações alternativas.
Invólucro convexo do conjunto de soluções admissíveis de um problema de programação inteira.
Slides 55-66 e 70-84


Software de modelação e resolução de PLIM

18 Fevereiro 2025, 15:00 Miguel Fragoso Constantino

Principais softwares de modelação e resolução de PLIM.

Exemplos Mosel /Xpress e JuMP /Julia
Exercicios propostos (esclarecimentos na próxima semana): 1 a 9


Formulações em Programação Inteira

18 Fevereiro 2025, 13:00 Miguel Fragoso Constantino

Apresentação da disciplina.

Introdução. 
Formulações em Programação Inteira.
(Slides 1-21, 26-53)