Sunteți pe pagina 1din 2

4. Baza unui digraf Definiia 37. Fie D = (V, A) un digraf i fie B V.

. Dac orice vrf al lui V este atins (accesibil) dintr-un vrf al lui B, i nici o submulime proprie a lui B nu are aceast proprietate, spunem c B este o baz a lui D. Teorema 17. n vrf dintr-o ba! nu poate fi atins dintr-un alt vrf al aceleiai ba!e. Demonstraie. Fie B o ba! i presupunem c e"ist v, w B astfel #nct s avem drumul (v,,w). $n acest ca! , orice vrf y atins de w este atins i de v e"istnd drumul (v,,w,,z) care este reuniunea drumurilor de la v la w i de la w la z. %r re!ulta atunci c i B \ {w} ar fi o ba!, ceea ce contra!ice definiia c B este cea mai mic mulime cu aceast proprietate. Teorema 18. n vrf cu gradul interior nenul i care nu aparine nici unui circuit nu poate aparine unei ba!e. Demonstraie. Fie v V, cu g (v) 0 i v nu aparine nici unui circuit& fie B o ba!. 'um g (v) 0 e"ist w V, w v cu (w,v) A. B fiind o ba! e"ist z B i drumul (y,,w); z v deoarece #n ca! contrar (y,,w, v) ar fi un circuit i v nu aparine unui circuit. Deci v este atins din z B i conform teoremei () re!ult c v B. Teorema 19. Ba!a unui digraf aciclic (sau a unui digraf #n care singurele circuite sunt buclele ) D = (V, A) este definit de* B = { vi / vi V, g ( vi ) = 0 }. Demonstraie. Buclele nu influenea! proprietatea de atingere a unui vrf din alt vrf. +entru digrafurile aciclice, teorema (, afirm c vrfurile care au gradul interior diferit de !ero nu pot s fie #n ba!. Deci orice element al ba!ei trebuie s aib gradul interior !ero. -eciproc, orice vrf cu gradul interior !ero trebuie s aparin ba!ei, deoarece el nu poate fi atins de nici un alt vrf. Teorema 20. .oate ba!ele unui digraf au acelai numr de elemente. Demonstraie. Fie B1 i B2 dou ba!e. Definim aplicaia f : B1 B2 prin f(v) / w dac w este atins din v. 0om demonstra c f este o funcie i c este bi1ectiv. +resupunem c w1 i w2 din B2, w1 w2 sunt atinse din v B1, deci e"ist drumurile (v,,w1) i (v,,w2). Dar B2 este ba!, deci e"ist w3 B2 astfel #nct v sa fie atins din w3. Dar #n acest ca! att w1 ct i w2 sunt atinse din w3 i cum w1, w2 i w3 aparin aceleiai ba!e, conform teoremei (, re!ult w3 = w2 = w1 i deci imaginea prin f a oricrui element v este unic i f este o funcie. 'um orice vrf din B2 este atins dintr-un vrf al lui B1 (B1 fiind ba!) funcia este sur1ectiv. Dac e"ist v1, v2 B1 aa ca f(v1) = f(v2) = w B2, B2 fiind ba! e"ist w1, w2 B2 astfel #nct v1 este atins din w1 i v2 este atins din w2& dar cum #n acest ca! w este atins din w1 i din w2 re!ult w = w1 = w2 i deci w este atins din v1 i v2 este atins din w& re!ult c v2 este atins din v1, deci v1 = v2. -e!ult c funcia este i in1ectiv i deci bi1ectiv i de aici re!ult c B( / B2 . Teorema 21. Fie D = (V, A) un digraf i D = (C, Q) digraful su redus. Definim o submulime a lui C : C = { Ci /g (Ci) = 0 }. 3 ba! a lui D este generat lund e"act cte un element din fiecare element Ci al lui C. Dac Ci este o component tare cone" i v Ci, pentru orice punct w Ci, w este atins din v. De aici re!ult c ba!a corespun!toare subdigrafului Ci are un singur vrf i orice element a lui Ci constituie o ba!.
2((

Fie o submulime de vrfuri 4vi / vi Ci pentru Ci C5. Demonstrm c dac (Ci, C ) Q (toate punctele lui C sunt atinse din vi. Din faptul c (Ci, C ) Q re!ult c e"ist zi Ci i z C astfel #nct (zi, z ) A. Dar zi este atins din vi (Ci fiind tare cone" ), iar v este atins din z ( la fel ) i cum orice vrf al lui C este atins din v , re!ult c orice punct a lui C este atins din vi. -e!ult acum evident c dac C este atins din Ci #n digraful redus atunci orice element a lui C este atins din vi i deci o ba! pentru digraful D este alctuit lundu-se cte un punct din fiecare component cone" ce aparine unei ba!e a digrafului redus. 'um digraful redus este aciclic, el are o singur ba! i anume* C = { Ci /g ( Ci ) = 0 }.

2(2

S-ar putea să vă placă și