Algoritmo de Ford-Fulkerson

15 maio 2015, 08:00 • José Félix Costa

Procedimento iterativo para determinação de fluxos máximos e cortes mínimos em redes capacitadas.

Autómatos finitos determinísticos

14 maio 2015, 10:00 • José Félix Costa

Autómato finito determinístico. Aceitação de palavra. Linguagem. Linguagem regular.

Especificação de autómatos (5 exemplos).

Autómatos finitos determinísticos

13 maio 2015, 13:00 • José Félix Costa

Autómato finito determinístico. Aceitação de palavra. Linguagem. Linguagem regular.

Especificação de autómatos (5 exemplos).

Aula prática 11

13 maio 2015, 13:00 • Francisco Miguel Alves Campos de Sousa Dionísio

Lista de exercícios sobre Grafos: resolução dos exercícios 1.9 e 2.10 (conclusão); e também, 3.1, 3.3c) e 3.2a). Projeção das exemplificações de resolução dos algoritmos de Kruskal e Dijkstra.

Teoria do fluxo

13 maio 2015, 09:30 • José Félix Costa

Redes capacitadas e fluxos. Cortes. Teoremas relativos à conservação de fluxos em cortes.