Sumários
AT25 Optimização Linear Inteira (aula online)
4 junho 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Condição suficiente para que problema seja totalmente unimodular.Problema da atribuição. Resultado sobre a existência de optimizantes no caso da matriz de restrições ser totalmente unimodular.
Aula P23 (aula online)
31 maio 2021, 12:30 • Jaime Ramos
Exercícios sobre lógica de desigualdades. Problemas P e NP.
AT24 Optimização Linear Inteira (aula online)
28 maio 2021, 14:30 • Maria Cristina De Sales Viana Serôdio Sernadas
Problemas de optimização linear inteira. Problemas totalmente unimodulares. Caracterização de matrizes quadradas unimodulares. Preservação de problema totalmente unimodular por adição de linhas ou colunas todas nulas excepto numa posição com 1 ou -1.
AT23 Lógica de Desigualdades (aula online)
27 maio 2021, 10:00 • Maria Cristina De Sales Viana Serôdio Sernadas
Variante pura do Lema de Farkas. Fórmula. Derivação. Coerência de fórmula. Sarisfação de fórmula por vector. Fórmula satisfazível. Correcção da derivação. Uma fórmula é satisfazível sse é coerente.