ALGORITMICA GRAFURILOR 09-10

C. Croitoru s apt am ana 5

AGENDA

Probleme de drum minim

(ag 09-10 allinone.pdf pag. 113 124 )

Probleme de conexiune
(ag 09-10 allinone.pdf pag. 125 )

Problemele pentru seminarul 5

Prezentarea temei pentru acas a

1

Probleme de drum minim Rezolvarea lui P2 n cazul general. Algoritmul lui Bellman, Ford, Moore ( 1960)
1 1. u1 s 0; for i V \ {s} do ui asi ; // evident (BM) are loc 2. for m := 1 to n 2 do for i := 1 to n do +1 m, min m+a ) um min u ( u ji j = i i j i

Complexitatea O(n3), dac a determinarea minimului din pasul 2 necesit a O(n) operat ii. ei unui circuit C Testarea n O(n3) a existent de cost negativ n digraful G !

Probleme de drum minim Rezolvarea problemei (P3). Dac a G nu cont ine circuite de cost negativ, dar exist a si arce de cost negativ, iter nd algoritmul lui Bellman Ford pentru s = 1, n se obt ine un algoritm de complexitate O(n4). Ar at am n continuare c a se poate proceda si mai ecient. O(n3) Iterarea algoritmului lui Dijkstra, dup a preprocesare ! Complexitatea O(n3 log n) cu nmult iri matriciale !!!! O(n3): algoritmul lui Floyd-Warshal
3

Probleme de drum minim

Algoritmul lui Floyd-Warshal 1: for i := 1 to n do for j := 1 to n do { nainte(i, j ) i; if i = j then { aii 0; nainte(i, i) 0 } } 2: for m := 1 to n do for i := 1 to n do for j := 1 to n do if aij > aim + amj then { aij aim + amj ; nainte(i, j ) nainte(m, j ) if (i = j aij < 0) then return circuit negativ }
4

Probleme de conexiune

Teorema lui Menger

Fie G = (V, E ) (di)graf si X, Y V . Atunci num arul maxim de XY -drumuri disjuncte este egal cu cardinalul minim al unei mult imi XY separatoare.

Fie G = (V, E ) un (di)graf si s, t V , astfel nc t s = t, st / E . Exist a k drumuri intern disjuncte de la s la t n G dac a si numai dac a ndep art nd mai put in de k v rfuri diferite de s si t, n (di)graful r amas exist a un drum de la s la t.
5

Probleme de conexiune

Consecint a Un graf G este p-conex dac aG= a p drumuri intern disKp sau st E (G) exist juncte de la s la t n G. Determinarea num arului k(G) de conexiune a grafului G (cea mai mare valoare a lui p pentru care G este p-conex) se reduce deci la determinarea lui
stE (G)

min p({s}, {t}; G)

(care se poate obt ine n timp polinomial.)

Probleme de conexiune

Teorema lui Konig

Dac a G = (S, R; E ) este un graf bipartit, atunci cardinalul maxim al unui cuplaj este egal cu cardinalul minim al unei mult imi de v rfuri incidente cu toate muchiile grafului.

Consecint a: Dac a G e graf bipartit, atunci :

(G) = |G| (G).

Probleme de conexiune imi Dac a A = (Ai; i I ) este o familie de submult ale lui S , o funct ie rA : I S cu proprietatea ste funct ie de c a rA (i) Ai, i I se nume reprezentare pentru familia A. a un sistem In acest caz, (rA (i); i I ) formeaz de reprezentant i ai familiei A. Dac a funct ia de reprezentare rA este injectiv a atunci rA (I ) S se nume ste sistem de reprezentant i distinct i ai familiei A, sau transversal a.

Teorema lui Hall Familia A = (Ai; i I ) de submult imi ale lui S admite o transversal a dac a si numai dac a (H ) |A(J )| |J | J I.
8

Probleme de conexiune Structura grafurilor p-conexe.

Teorema lui Dirac Dac a G = (V, E ) este un graf p-conex p 2, atunci prin orice p v rfuri ale sale trece un circuit.

Teorema lui Erd os si Chvatal Fie G un graf p-conex. Dac a (G) p atunci G este hamiltonian.

Problemele pentru seminarul 5

Problema 4, Setul 3
Etichet am v arfurile arborelui cu perechi de etichete care rezult a n urma unei parcurgeri oarecare.

Problema 2, Setul 3
Rezultatul e surprinz ator, demonstrat ia constructiv a e foarte simpl a. Implementarea e instructiv s a o fac a ecare acas a.

Problema 2, Setul 4
Se execut a un bf s din s, si se consider a muchiile dintre nivele consecutive n arborele bf s (pin a la nivelul lui t); se obt ine o familie de mult imi st-inevitabile disjuncte. Inegalitatea invers a e evident a!

Problema 3, Setul 5
Consider am o bipartit ie a mult imii v arfurilor lui G cu num ar maxim de muchii cross, si rat ion am asupra num arului vecinilor unui v arf oarecare din aceea si clas a cu el si din cealalt a. 10