10/10/07:
Il problema del minimo albero ricoprente in un sistema asincrono, uniforme, con topologia arbitraria e non anonimo. Lemmi preliminari. Descrizione informale dell'algoritmo distribuito di Gallager, Humblet e Spira (GHS). Stato dei nodi, degli archi e tipi di messaggi.
Dispense: 19, 20, 21, 22, 23, 24, 25.
16/10/07:
Descrizione dell'algoritmo GHS in dettaglio. Identificazione degli archi uscenti. Ricerca del minimo arco uscente. Fusione dei frammenti: combinazione ed assorbimento.Prova di correttezza dell'algoritmo GHS: terminazione. Sincronizzazione: correttezza dello stato di un nodo che invia un messaggio di Test; correttezza della risposta di un nodo che riceve un messaggio di Test; correttezza dell'individuazione del minimo arco uscente. Analisi della complessità dell'algoritmo GHS.
Dispense: 26, 27, 28, 29, 30, 31. 32, 33, 34, 35, 36.
18/10/07:
Approfondimento: Esecuzione attraverso un esempio dell'algoritmo GHS.