Lezione del 21/10/2008

Grafi diretti: algoritmo di visita generica; arborescenza coprente; grafi fortemente connessi; algoritmo per la verifica della forte connettivita' di un grafo fortemente connesso in tempo O(|V| + |E|). Minimo albero coprente (MST) di un grafo non diretto e pesato sugli archi; Regola del ciclo (l'arco di peso massimo di un ciclo non appartiene a nessun MST ed ogni arco non nel MST crea un ciclo nell'MST composto di archi di peso minore).