La presentazione è in caricamento. Aspetta per favore

La presentazione è in caricamento. Aspetta per favore

Capitolo 13 Cammini minimi: Ordinamento topologico Algoritmi e Strutture Dati.

Presentazioni simili


Presentazione sul tema: "Capitolo 13 Cammini minimi: Ordinamento topologico Algoritmi e Strutture Dati."— Transcript della presentazione:

1 Capitolo 13 Cammini minimi: Ordinamento topologico Algoritmi e Strutture Dati

2 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 diretto 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 avente costo minore o uguale a quello di ogni altro cammino tra x e y. NOTA: Il cammino minimo non è necessariamente unico.

3 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 LAquila, 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 lintera 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. Si noti che entrambe le funzioni peso sono positive. Infine, calcola (rapidamente!) il cammino minimo in G=(V,E,w 1 ) e in G=(V,E,w 2 ) tra A ed B.

4 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 4 Proprietà dei cammini minimi Sottostruttura ottima: ogni sottocammino di un cammino minimo è anchesso un cammino minimo (ma la concatenazione di cammini minimi non è necessariamente un cammino minimo, in generale!) 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 (cioè uniti da almeno un cammino) esiste sempre un cammino minimo semplice, in cui cioè tutti i vertici sono distinti Grafi non diretti: se esiste un arco di costo negativo, allora non esiste nessun cammino minimo finito tra gli adiacenti (né tra tutte le coppie di nodi che ammettono un cammino passante per tale ciclo)

5 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 5 I tre problemi fondamentali Dato un grafo G, i tre problemi classici legati ai cammini minimi sono i seguenti: Cammino minimo tra due nodi: dati due nodi x e y in G, trovare un cammino minimo in G che congiunge x ed y. Cammini minimi a sorgente singola: dato un vertice s, detto sorgente, trovare i cammini minimi da s verso tutti i vertici da esso raggiungibili nel grafo G. Cammino minimo tra tutte le coppie di nodi: trovare un cammino minimo in G che congiunge ogni coppia di vertici x ed y di G.

6 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 6 Distanza fra vertici Ricorda: 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 (luguaglianza 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)

7 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 7 Ricostruire 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:

8 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 8 Tecnica del rilassamento Partendo da stime per eccesso delle distanze D xy d xy si aggiornano le stime, decrementandole progressivamente fino a renderle esatte Laggiornamento delle stime è basato sul seguente passo di rilassamento ( vy denota un qualche cammino tra un generico nodo v di G e y, selezionato secondo un qualche criterio indotto dallalgoritmo soggiacente):

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

10 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 10 Albero dei cammini minimi Dato un grafo diretto G che non contiene cicli negativi (ovvero dato un grafo non diretto G senza archi negativi), e dato un vertice sorgente s, lalbero dei cammini minimi (ACM) radicato in s è un albero orientato dalla radice verso le foglie (e più propriamente prende il nome di arborescenza), che contiene i cammini minimi da s verso tutti i vertici da esso raggiungibili nel grafo G LACM contiene tutti i cammini minimi dalla sorgente verso i nodi del grafo, ma anche quelli tra antenati e discendenti Si noti che lACM non è necessariamente unico

11 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 11 Esempio di alberi dei cammini minimi s a c b d oppure

12 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 12 Esistenza dellACM Teorema: Dato un grafo diretto G che non contiene cicli negativi, e dato un vertice sorgente s, lACM radicato in s esiste sempre. Dim: Forniamo una prova costruttiva. Partiamo dallalbero T che contiene solo s, ed estendiamolo. Allinizio prendiamo un qualsiasi cammino minimo da s ad un nodo v in G. Ovviamente se aggiungiamo tale cammino a T, esso rimane un albero (in particolare T è un cammino). Ora prendiamo un cammino minimo da s ad un nodo u non contenuto nel primo cammino che abbiamo aggiunto. Se procediamo a ritroso da u verso s, ci sono due possibilità: 1.Non incontriamo alcun nodo del primo cammino aggiunto, a parte s; in tal caso posso chiaramente aggiungere questo secondo cammino a T, il quale continua ad essere un albero; 2.Incontriamo un nodo x che apparteneva al primo cammino; in tal caso, posso aggiungere a T il cammino da x ad u, in modo tale che T rimanga un albero, e chiaramente per la proprietà di sottostruttura ottima dei cammini minimi, il cammino da s a u in T così ottenuto è minimo. Andando avanti in questo modo e considerando tutti i vertici raggiungibili da s, otterremo lACM radicato in s. QED

13 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 13 Sommario dei risultati a venire Algoritmo basato su ordinamento topologico (cammini minimi a sorgente singola in grafi diretti aciclici) Algoritmo di Bellman e Ford (cammini minimi a sorgente singola in grafi diretti che non contengono cicli negativi) Algoritmo di Dijkstra (cammini minimi a sorgente singola in grafi (diretti e non diretti) con pesi non negativi) Algoritmo di Floyd e Warshall (cammini minimi tra tutte le coppie di nodi in grafi diretti che non contengono cicli negativi)

14 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 14 Algoritmo basato su ordinamento topologico (cammini minimi a sorgente singola in grafi diretti aciclici)

15 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 15 Ordinamento topologico Dato un grafo G orientato, è una funzione biettiva : V {1, … n} tale che se esiste un cammino da u a v in G, con uv, allora (u)< (v). Teorema: Lordinamento topologico esiste se e solo se G è aciclico. Osservazione: Si noti che poiché G è orientato, allora per definizione G è aciclico se non contiene cicli orientati (in cui cioè tutti gli archi hanno lo stesso orientamento). Dim.: (solo se) Infatti, se per assurdo G avesse un ciclo e ammettesse un ordinamento topologico, allora su tale ciclo esisterebbe un cammino da un nodo u a un nodo v ed un cammino da v ad u, cioè (u)< (v) e (v)< (u) (assurdo). Per il (se) si veda il prossimo algoritmo costruttivo:

16 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 16 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)

17 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Esempio Applicare lalgoritmo di ordinamento topologico sul seguente grafo: Copyright © The McGraw - Hill Companies, srl 17 Ad esempio, partendo dalleliminazione del nodo A:

18 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Copyright © The McGraw - Hill Companies, srl 18 Cammini minimi in grafi diretti aciclici Tempo di esecuzione (liste di adiacenza): (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)!

19 Camil Demetrescu, Irene Finocchi, Giuseppe F. ItalianoAlgoritmi e strutture dati Esercizi 1.Assegnare pesi arbitrari al grafo orientato appena esaminato, e utilizzare lordinamento topologico trovato per costruire lalbero dei cammini minimi radicato in A. 2.Quanto costa calcolare tutte le distanze da un nodo sorgente in un albero non orientato e con pesi positivi di n nodi? Copyright © The McGraw - Hill Companies, srl 19


Scaricare ppt "Capitolo 13 Cammini minimi: Ordinamento topologico Algoritmi e Strutture Dati."

Presentazioni simili


Annunci Google