Paths, tree and flowers Lezione n°14

Presentazione sul tema: "Paths, tree and flowers Lezione n°14"— Transcript della presentazione:

1 Paths, tree and flowers Lezione n°14
Prof.ssa Rossella Petreschi Lezione del 28/11/2013 del Corso di Algoritmica

2 Abbinamento massimo in un grafo bipartito e reti di flusso
A partire dal grafo bipartito B(LR,E), si costruisca la rete di flusso G (V, E’, s, p, C) così definita: V = LRs p, con s e p due vertici da aggiungere a quelli di B e che costituiscono la sorgente e il pozzo della costruenda rete; E’ = E  (s,u), u  L  (v,p), v  R; C funzione che associa ad ogni arco (u,v)  E’ una capacità c(u,v) = 1. Lemma: Siano dati B e G come sopra definiti. Per ogni M, abbinamento in B, esiste un flusso f a valori interi in G con valore f = M . In modo analogo vale che per ogni flusso a valori interi in G esiste un abbinamento M in B con cardinalità M = f  2

3 Prova del Lemma Un abbinamento M in B corrisponde ad un flusso a valori interi in G
Dato M abbinamento in B, se (u,v)  M, si ponga f(u,v)=0 se (u,v)  M, allora f(s,u)=f(u,v)=f(v,p) =1 e f(u,s)=f(v,u)=f(p,v)= -1, ovvero ogni arco (u,v) in M corrisponde ad una unità di flusso in G che attraversa il cammino s-u-v-p. Inoltre, i cammini indotti dagli archi in M hanno vertici disgiunti, a meno di s e p e il valore del flusso attraverso il taglio(Ls, Rp)è uguale ad M . Infine per vedere che f gode delle tre proprietà (capacità, conservazione del flusso, antisimmetria) basta osservare che f può essere ottenuto come aumento del flusso lungo ognuno di questi cammini.  3

4 Prova del Lemma Un flusso a valori interi in G corrisponde ad un abbinamento M in B
Dato f flusso a valori interi in G, si consideri M = (u,v): u  L e v  R e f(u,v)>0, vale che: M è un abbinamento perché ogni vertice di L ha un solo arco entrante (s,u) di capacità 1 e un’unità di flusso netto positivo entra in u iff vi è un solo vertice v in R tale che f(u,v)=1. M = f  infatti  u  L, f(s,u)=1e  (u,v)  E-M, f(u,v)=0, da cui: M = f(L,R)= f  4

5 La contrazione del germoglio (Paths,trees and flowers Edmonds,1965)
Germoglio: ciclo dispari costituito da una alternanza di spigoli appartenenti e non appartenenti all’abbinamento. In un germoglio si individua la base e lo stelo. Edmonds’ idea: ogni germoglio va compresso in un supernodo Teorema: Sia G(V,E) un grafo non orientato e sia G’ il grafo ottenuto da G comprimendo un germoglio in un supernodo. G’ contiene un cammino aumentane sse G lo contiene 5

6 Abbinamento in grafi qualunque
Input: G(V,E), V=n, E=m, M’ abbinamento arbitrario in G (M può essere l’insieme vuoto) Output: M massimo abbinamento Algoritmo: finchè esistono due vertici esposti, x e y, si costruisca un cammino alternante T. Chiamiamo inner ed outer, rispettivamente, i vertici a seconda che siano l’origine di uno spigolo dell’abbinamento o no; se si trova un germoglio, ovvero se il cammino alternante diviene un ciclo che unisce un vertice outer ad un altro vertice outer, questo va contratto e l’algoritmo prosegue su G’; se si trova p, cammino aumentante, si incrementi M : M = M  p, se l’abbinamento è stato trovato su G’, si decontraggano i germogli per produrre M su G. Complessità: O(nm) ≤ O(n3) 6

7 Algoritmi di abbinamento massimo
Grafo bipartito: O(n3/2(m/logn)1/2) Alt, Blum, Mehlhorn, Paul 1991 O(n1/2(m+n) (log(1 + n2/m))/logn) Feder, Motwani 1991 Grafo qualunque O(mn1/2) Micali, Vazirani 1980 7