Tabelle dinamiche Lezione n°3

Presentazione sul tema: "Tabelle dinamiche Lezione n°3"— Transcript della presentazione:

1 Tabelle dinamiche Lezione n°3
Prof.ssa Rossella Petreschi Lezione del 13 /10/2011 del Corso di Algoritmi e Strutture Dati Riferimenti: Capitolo 18 del testo Cormen, Leiserson, Rivest “Introduzione agli algoritmi” Edizioni: Jackson Libri ASD-A.A.2011/2012

2 Tabelle dinamiche Tabelle su cui è possibile effettuare operazioni d’inserimento(di cancellazione) di un elemento in (da) una singola posizione. fattore di carico  (T): num (T)/ size (T) (se size(T)= 0, (T) = 1) num (T): numero di elementi caricati in T size (T): numero totale di posizioni di T Una tabella è piena quando (T) = 1 ASD-A.A.2011/2012

3 Inserimento in tabella ( caso peggiore)
Costo ci della i-esima operazine di inserimento ci = 1 se lo spazio è sufficiente ci = i = (i-1) + 1 se lo spazio non è sufficiente, dove (i-1) è il costo per copiare tutti i vecchi elementi nella nuova tabella Analisi del caso peggiore: Una sequenza di n operazioni di inserimento su una tabella inizialmente vuota richiede tempo O(n2)perché O(n)è il tempo nel caso pessimo della singola operazione di inserimento ASD-A.A.2011/2012

4 Inserimento in tabella (metodo degli aggregati)
c(i) = i se i-1 è una potenza di 2 (la tabella, quando espande, raddoppia) 1 altrimenti Analisi ammortizzata: Una sequenza di n operazioni di inserimento su di una tabella inizialmente vuota richiede costo totale 3n. ∑c(i) ≤ n+ ∑2j ≤ n+((2 logn+1 -1)/(2-1)) < n + 2 logn 2=n+2n = 3n, per i = 1,…,n e j = 0,…, logn (∑ xk = x(n+1)-1/x-1, k=0,…,n) Il tempo ammortizzato di ogni singola operazione, è 3n/n = 3 ASD-A.A.2011/2012

5 Inserimento in tabella (metodo degli accantonamenti)
Inserimento di un elemento ca = 3 dove 1 per il proprio inserimento nella tabella corrente; 1 per l’eventuale spostamento dovuto ad una futura espansione; 1 per uno degli elementi nella vecchia metà della tabella. Analisi ammortizzata: Una sequenza di n operazioni di inserimento su di una tabella inizialmente vuota costa 3n. ASD-A.A.2011/2012

6 Inserimento in tabella (metodo del potenziale)
Definiamo: (T) = 2num(T) - size(T) Subito dopo una espansione: (T) = 2size(T)/2 - size(T)=0 Immediatamente prima di una espansione: (T) = 2num(T) - num(T)= num(T) Se lo i-esimo inserimento non attiva una espansione: i = ci + (Ti) - (Ti-1) = 1+(2num(Ti) - size(Ti)) - (2num(Ti-1) - size(Ti-1)) = 1 + (2num(Ti) - size(Ti)) - (2(num(Ti)-1)) - size(Ti)) = 3 Se lo i-esimo inserimento attiva una espansione: i = ci + (Ti) - (Ti-1) = num(Ti) +(2num(Ti) - size(Ti)) - (2num(Ti-1) - size(Ti-1)) = num(Ti) + (2num(Ti) - 2num(Ti) +2) - (2(num(Ti)-1) - (num(Ti)-1)) = num(Ti) (num(Ti) -1) = 3 Analisi ammortizzata: Una sequenza di n operazioni di inserzione su di un tabella inizialmente vota può costare al più O(n) ASD-A.A.2011/2012

7 Contrazione di una tabella
L’operazione di contrazione (quando il fattore di carico è troppo piccolo) consiste nel: creare una nuova tabella con un numero di posizioni minore di quella vecchia; copiare tutti gli elementi della vecchia tabella nella nuova. Idealmente si vorrebbe che: il fattore di carico sia sempre limitato inferiormente da una costante; il costo ammortizzato di una operazione rimanga limitato superiormente da una costante. ASD-A.A.2011/2012

8 Dimezzare e Duplicare Euristica:
duplicare (dimezzare) il numero di posizioni nella nuova tabella; (T) ≥ 1/2, quindi non si spreca mai più della metà dello spazio nella tabella Nel dimezzare : il fattore di carico è quindi sempre limitato inferiormente da una costante; ma il costo ammortizzato di una operazione non sempre rimane limitato superiormente da una costante. ASD-A.A.2011/2012

9 Esempio Dopo una sequenza di 2k-1 +1 operazioni di inserzione su una tabella T, si prosegua con una sequenza di operazioni del tipo DDIIDDIID… Al termine dei primi 2k-1 inserimenti num(T) = size(T)= n/2, quindi il 2k-1+1-esimo inserimento crea una espansione verso una tabella di dimensione n. Dopo di che, secondo l’euristica, ogni coppia di operazioni di eliminazione porterà ad una contrazione verso una tabella di dimensione n/2, mentre ogni coppia di operazioni di inserimento porterà ad una nuova espansione verso una tabella di dimensione n. Poiché il costo di ogni operazione di contrazione/espansione è pari a (n) ed n sono le operazioni, il costo totale sarà (n2)e il costo ammortizzato di ogni singola operazione rimarrà (n). ASD-A.A.2011/2012

10 Euristica modificata Espansione (se la tabella è piena, ovvero (T) = 1 ): Si duplica il numero di posizioni nella nuova tabella, conseguentemente (T) ≥ 1/2. Contrazione (se la tabella è troppo vuota, ovvero (T) = 1/4): Si dimezza il numero di posizioni nella nuova tabella, conseguentemente (T) ≥ 1/2. ASD-A.A.2011/2012

11 La funzione potenziale
Definiamo: (T) = 2num(T) - size(T) se (T) ≥ 1/2 (T) = size(T)/2 - num(T) se (T) < 1/2 Vale: il costo ammortizzato totale di una sequenza di operazioni rispetto alla funzione potenziale è un limite superiore del costo effettivo delle operazioni in quanto (T) ≥ 0 sempre, dove (T) = 0 se la tabella è vuota (T) = 0 se (T) = 1/2 (T) = num(T) se (T) = 1 ((T) può supportare l’espansione) (T) = num(T) se (T) = 1/4 ((T) può supportare la cancellazione) ASD-A.A.2011/2012

12 Inserimento (metodo del potenziale)
(Ti-1) ≥ 1/2 i = 3 (Ti-1) < 1/2 e (Ti) < 1/2 i = ci + (Ti) - (Ti-1) = 1 + (size(Ti)/2 - num(Ti)) - (size(Ti-1)/2 - num(Ti-1)) = = 1 + (size(Ti)/2 - num(Ti)) - (size(Ti)/2 - (num(Ti)-1)) = 0 (Ti-1) < 1/2 e (Ti) ≥ 1/2 i = ci + (Ti) - (Ti-1) = 1 + (2num(Ti) - size(Ti)) - (size(Ti-1)/2 - num(Ti-1)) = 1 + (2(num(Ti-1)+1) - size(Ti-1)) - (size(Ti-1)/2 - num(Ti-1)) = = 3num(Ti-1) - 3/2size(Ti-1)+3 = 3(Ti-1) size(Ti-1) - 3/2size(Ti-1) + 3 < < 3/2size(Ti-1) - 3/2size(Ti-1) + 3 = 3 ASD-A.A.2011/2012

13 Cancellazione (metodo del potenziale)
(Ti-1) < 1/2 e 1/4 < (Ti) < 1/2 i = ci + (Ti) - (Ti-1) = 1 + (size(Ti)/2 - num(Ti)) - (size(Ti-1)/2 - num(Ti-1)) = 1 + (size(Ti)/2 - num(Ti)) - (size(Ti)/2 - (num(Ti)+1)) = 2 (Ti-1) < 1/2, ma la i-esima operazione attiva una contrazione quindi (Ti) = 1/2 i = ci + (Ti) - (Ti-1) = (num(Ti)+1) + (2num(Ti) - size(Ti)) - (size(Ti-1)/2 - num(Ti-1))= (num(Ti)+1) + (2num(Ti) - 2num(Ti)) – (2num(Ti) - (num(Ti) -1) = 2 (Ti-1) > 1/2 e (Ti) > 1/2 i = ci + (Ti) - (Ti-1) = 1+ (2 num(Ti) - size(Ti)- (2 num(Ti-1) - size(Ti-1)) = 1+ ((2 (num(Ti-1)-1) - size(Ti-1))- (2 num(Ti-1) - size(Ti-1))= -1 ≤ 0 (Ti-1) = 1/2 e (Ti) < 1/2 i = ci + (Ti) - (Ti-1) = 1+ (size(Ti)/2 - num(Ti)) - (2 num(Ti-1) - size(Ti-1)) = 1+ (size(Ti)/2 - size(Ti)/2 +1)- (2 num(Ti-1) - 2num(Ti-1)) = 2 ASD-A.A.2011/2012

14 Per concludere Abbiamo mostrato come tutte le operazioni di inserimento e di cancellazione su una tabella abbiano costo ammortizzato limitato superiormente da una costante. Quindi una qualunque sequenza di n operazioni su una tabella dinamica richiede tempo ammortizzato O(n) ASD-A.A.2011/2012