Sumários

AT22 Algoritmo do simplexo

18 maio 2017, 10:00 Maria Cristina De Sales Viana Serôdio Sernadas

Conclusão da demonstração do algoritmo do simplexo. Demonstração que
o algoritmo básico não é polinomial.


AT21 Algoritmo do simplexo

15 maio 2017, 12:30 Maria Cristina De Sales Viana Serôdio Sernadas

Demonstração da correcção e completude do algoritmo do simplexo.


Aula prática 22

12 maio 2017, 14:30 João Rasga

Aula não realizada devido ao decreto do Conselho Geral do IST não permitindo a realização de atividades lectivas  devido à visita do Santo Papa.


Aula prática 21

11 maio 2017, 11:30 João Rasga

Exercícios sobre análise da complexidade de operações básicas sobre naturais.


AT20 Problemas computacional e de decisão em optimização linear

11 maio 2017, 10:00 Maria Cristina De Sales Viana Serôdio Sernadas

Problemas em oprtimização linear. Demonstração que o problema de decisão em optimização linear
é NP. Problema computacional em optimização linear: algoritmo básico e algoritmo do simplexo.