Documente Academic
Documente Profesional
Documente Cultură
capIII 4 2008
capIII 4 2008
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 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
( C
i
) = 0 }.
2(2