Capitolo 13 Cammini minimi Algoritmi e Strutture Dati

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 2 Cammini minimi in grafi pesati Sia G=(V,E,w) un grafo orientato con pesi w reali sugli archi. Il costo di un cammino  = è dato da: Un cammino minimo tra una coppia di vertici x e y è un cammino di costo minore o uguale a quello di ogni altro cammino tra gli stessi vertici. NOTA: Il cammino minimo non è necessariamente unico.

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 3 Algoritmica concreta: il navigatore satellitare Sono in auto a Roma in Piazza Dante 12, (punto A) e devo recarmi ad un appuntamento a L’Aquila, in Via Vetoio 1 (punto B). Non conosco la strada, ma dispongo di un moderno navigatore satellitare, il quale mi aiuterà ad arrivare a destinazione: 1.percorrendo la strada più breve possibile (funzione obiettivo 1), oppure 2.impiegando il minor tempo possibile (funzione obiettivo 2). Come calcola la soluzione? Semplice: rappresenta l’intera rete stradale italiana (centinaia di migliaia di strade!) come un grafo diretto G=(V,E), in cui i nodi sono le intersezioni fisiche tra le varie strade (milioni di nodi!), e gli archi sono le strade stesse, con i loro sensi di marcia. Il grafo viene quindi pesato rispetto alla mia funzione obiettivo, ovvero rispettivamente: 1.Lunghezza della strada  funzione peso w 1 ; 2.Tempo di percorrenza  funzione peso w 2. Infine, calcola (rapidamente!) il cammino minimo in G=(V,E,w 1 ) e in G=(V,E,w 2 ) tra A ed B.

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 4 Il percorso più breve

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 5 Proprietà dei cammini minimi Sottostruttura ottima: ogni sottocammino di un cammino minimo è anch’esso minimo Grafi con cicli negativi: se due vertici x e y appartengono a un ciclo di costo negativo, non esiste nessun cammino minimo finito tra di essi (né tra tutte le coppie di nodi che ammettono un cammino passante per tale ciclo) Se G non contiene cicli negativi, tra ogni coppia di vertici connessi in G esiste sempre un cammino minimo semplice, in cui cioè tutti i vertici sono distinti

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 6 Distanza fra vertici La distanza d xy tra due vertici x e y è il costo di un cammino minimo da x a y, o +∞ se i due vertici non sono connessi Disuguaglianza triangolare: per ogni x, y e z  V d xy ≤ d xz + d zy (l’uguaglianza sussiste quando esiste un cammino minimo da x a y che passa per z) Condizione di Bellman: per ogni arco (u,v) e per ogni vertice s, essendo d uv ≤ w(u,v), dalla disuguaglianza triangolare segue che: d sv ≤ d su + d uv ≤ d su + w(u,v)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 7 Calcolare cammini minimi dalle distanze Supponendo di disporre delle distanze tra tutte le coppie di nodi in un dato grafo, dalla condizione di Bellman è facile risalire al cammino minimo che congiunge due nodi; infatti, un arco (u,v) appartiene ad un cammino minimo da s a v se e solo se d su +w(u,v)=d sv, e quindi:

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 8 Albero dei cammini minimi L’unione di tutti i cammini minimi da un vertice s a tutti i vertici da esso raggiungibili nel grafo genera un sottografo di G, detto sottografo dei cammini minimi con sorgente in s Se da tale sottografo rimuoviamo archi in modo tale da ridurre ad 1 il grado entrante dei nodi (escluso s che ha grado entrante pari a 0) otterremo un albero orientato con tutti gli archi diretti verso le foglie, detto albero dei cammini minimi radicato in s

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 9 Tecnica del rilassamento Partendo da stime per eccesso delle distanze D xy ≥ d xy si aggiornano le stime, decrementandole progressivamente fino a renderle esatte. Aggiornamento delle stime basato sul seguente passo di rilassamento:

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 10 Algoritmo generico per il calcolo delle distanze rilassamento

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 11 Algoritmo di ordinamento topologico (albero dei cammini minimi in grafi aciclici)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 12 Ordinamento topologico Funzione biettiva  : V  {1, … n} tale che se esiste un cammino da u a v in G, allora  (u)<  (v). Esiste se e solo se G è aciclico (altrimenti, su un ciclo, esisterebbe un cammino da un nodo u a un nodo v ed un cammino da v ad u)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 13 Calcolo di un ordinamento topologico Tempo di esecuzione (con liste di adiacenza): Θ(n + m) (dimostrare!) (*) (*) perché altrimenti in Ĝ ogni vertice deve avere almeno un arco entrante, e quindi posso trovare un ciclo percorrendo archi entranti a ritroso, e quindi G non può essere aciclico)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 14 Cammini minimi in grafi aciclici Tempo di esecuzione:  (n + m) Eseguo i rilassamenti in ordine topologico, da sinistra verso destra: infatti, poiché tutti gli archi sono orientati verso destra, le stime di distanza che mi lascio alle spalle sono esatte (non possono essere ulteriormente rilassate)!

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 15 Algoritmo di Bellman e Ford (albero dei cammini minimi per tutti i grafi che non contengono cicli negativi)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 16 Ordine di rilassamento Supponiamo di dover trovare un cammino minimo tra s e v k. Sia  sv k = tale cammino. Osserviamo che  sv k può essere trovato eseguendo la seguente sequenza di rilassamenti: Problema: Come faccio ad individuare la giusta sequenza di rilassamenti (ovviamente a priori non conosco la sequenza di archi di  sv k )?

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 17 Approccio di Bellman e Ford Esegue n passate In ciascuna passata rilassa tutti gli archi del grafo rispetto alla distanza dalla sorgente s Dopo la j-esima passata, i primi j rilassamenti corretti sono stati certamente eseguiti (ovvero è stata trovata d sv j nonché tutti i cammini minimi da s costituiti da al più j archi)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 18 Pseudocodice Tempo di esecuzione:  (n m)

Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 19