Sumários

Resolução de exercicios

25 Março 2025, 15:00 Miguel Fragoso Constantino

Resolução de exercicios de algoritmos de enumeração.

Exercicios 1.4, 2, 4
Exercicios para a próxima aula: 6 e 7 da ficha de relaxações e pesquisa em árvore e 1,2 e 3 da ficha de poliedros


Algoritmos de pesquisa em árvore 2; Caracterização de poliedros 1

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

Algoritmo de branch-and-bound: caso geral
Slides 40-60
Poliedros - dimensão - faces
Caracterização através de facetas
Slides 1-10


Resolução de exercicios

18 Março 2025, 15:00 Miguel Fragoso Constantino

Resolução de exercicios de matrizes totalmente unimodulares.

Exercicios 2,3,4,5 
Exercicios para a próxima aula: 1-5 da ficha de relaxações e pesquisa em árvore


Algoritmos de pesquisa em árvore 1

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

Relaxações. Relaxação linear do problema da mochila.

Decomposição e pesquisa em árvore.
Algoritmo de branch-and-bound
Aplicação ao problema da mochila.
Slides 1-39


Resolução de exercicios

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

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

Exercicios 5,11,12,13
Exercicios para a próxima aula: todos da ficha de matrizes totalmente unimodulares