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, wB 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 vV, cu g

(v) 0 i v nu aparine nici unui circuit& fie B o


ba!. 'um g

(v) 0 e"ist wV, w v cu (w,v)A. B fiind o ba! e"ist zB 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 zB 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 = { v
i
/ v
i

V, g

( v
i
) = 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 B
1
i B
2
dou ba!e. Definim aplicaia f : B
1

B
2
prin
f(v) / w dac w este atins din v. 0om demonstra c f este o funcie i c este bi1ectiv.
+resupunem c w
1
i w
2
din B
2
, w
1

w
2
sunt atinse din v

B
1
, deci e"ist
drumurile (v,,w
1
) i (v,,w
2
). Dar B
2
este ba!, deci e"ist w
3

B
2
astfel #nct v sa fie
atins din w
3
. Dar #n acest ca! att w
1
ct i w
2
sunt atinse din w
3
i cum w
1
, w
2
i w
3
aparin aceleiai ba!e, conform teoremei (, re!ult w
3
= w
2
= w
1
i deci imaginea prin f
a oricrui element v este unic i f este o funcie.
'um orice vrf din B
2
este atins dintr-un vrf al lui B
1
(B
1
fiind ba!) funcia este
sur1ectiv.
Dac e"ist v
1
, v
2

B
1
aa ca f(v
1
) = f(v
2
) = w

B
2
, B
2
fiind ba! e"ist w
1
, w
2

B
2
astfel #nct v
1
este atins din w
1
i v
2
este atins din w
2
& dar cum #n acest ca! w este atins
din w
1
i din w
2
re!ult w = w
1
= w
2
i deci w este atins din v
1
i v
2
este atins din w&
re!ult c v
2
este atins din

v
1
, deci v
1
= v
2
. -e!ult c funcia este i in1ectiv i deci
bi1ectiv i de aici re!ult c (
B
/ 2
B
.
Teorema 21. Fie D = (V, A) un digraf i D = (C, Q) digraful su redus. Definim
o submulime a lui C : C = { C
i
/g

(C
i
) = 0 }. 3 ba! a lui D este generat lund e"act
cte un element din fiecare element C
i
al lui C.
Dac C
i
este o component tare cone" i vC
i
, pentru orice punct wC
i
, w
este atins din v. De aici re!ult c ba!a corespun!toare subdigrafului C
i
are un singur
vrf i orice element a lui C
i
constituie o ba!.
2((
Fie o submulime de vrfuri 4v
i
/ v
i

C
i
pentru C
i

C5.
Demonstrm c dac (C
i
, C

)Q (toate punctele lui C

sunt atinse din v


i
. Din
faptul c (C
i
, C

Q re!ult c e"ist z
i

C
i
i z

astfel #nct (z
i
, z

A. Dar z
i
este
atins din v
i
(C
i
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 v


i
.
-e!ult acum evident c dac C

este atins din C


i
#n digraful redus atunci orice
element a lui C

este atins din v


i
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 =

{ C
i
/g

( C
i
) = 0 }.
2(2

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