CAPITOLUL III ELEMENTE DE TEORIA DIGRAFURILOR I GRAFURILOR Teoria digrafurilor i grafurilor este o ramur relativ tnr a matematicii.

Prima lucrare de teoria grafurilor a fost scris de Euler cu dou secole n urm. n secolul trecut multe rezultate n teoria grafurilor au fost obinute de Cayley i a licate ulterior de !ir"#off n studiul circuitelor electrice. $tudiul teoriei %di&grafurilor a fost uternic stimulat de a ariia n '()*+ la ,ei zig+ a lucrrii lui -. !nig consacrat teoriei grafurilor orientate i neorientate. .u ne contrazicem dac afirmm c teoria %di&grafurilor este o ramur foarte tnr a informaticii. Putem considera teoria %di&grafurilor+ rin im licaiile sale+ ca arte com onent a analizei i sintezei algoritmilor+ a structurilor de date+ a te#nicilor de rogramare+ a roiectrii circuitelor electronice+ a sc#emelor /,$0+ a re rezentrii sistemelor i automatelor deterministe i stoc#astice. 0nteresul entru studiul teoriei %di&grafurilor a crescut foarte mult n ultimele decenii datorit multi lelor osibiliti de a licare ale acesteia n elaborarea deciziilor o time n multe robleme economice+ te#nice+ n sociologie+ n si#ologie+ n lingvistica matematic. Teoria %di&grafurilor cu multi lele ei interferene cu algebra+ geometria+ calculul robabilitilor este considerat ca fcnd arte din domeniul mai larg al combinatoricii. 1. Concepte fundamentale Def n ! a 1. $e numete d "#af %"#af d #ec! onat+ "#af o# entat&+ cvartetul D = (V, A + + & unde1 2 V este o mulime nevid+ denumit mulimea vrfurilor3 2 A este o mulime oarecare+ A VV+ denumit mulimea arcelor3 2 i sunt a licaii definite astfel1 1AV3 %a& re rezint 4vrful iniial5 entru aA3 1AV3 %a& re rezint 4vrful final5 entru aA. O$%e#&a! e. 6n digraf oate fi de asemenea definit ca fiind erec#ea D 7 %V+ &+ unde1 2 V este o mulime nevid %mulimea vrfurilor&3 2 este o a licaie multivoc a lui V n V. /rfurile vV se re rezint rin uncte+ iar arcele aA rin linii %arce& ce unesc vrfurile iniial i final+ orientate de la vrful iniial s re cel final. E'emplu.

'*8

9ceast re rezentare geometric cores unde digrafului D 7 %V, A + + & unde1 V = {v1, v2, v3, v4, v5}; A = {a1, a2, a3, a4, a5, a6, a7}; A ' %a& ) %a& ; : ' < ) : : ; ; ' < ) ; * < : = ' )

Def n ! a (. >ie digraful D 7 %V, A + + & i a1, a2A3 '& a1 i a2 se numesc pa#alele dac %a1& 7 %a2& i %a1& 7 %a2&3 :& a1 se numete $ucl) dac %a1& 7 %a1&3 )& D se numete f)#) pa#alel %me % rescurtat1 d.f.p.& dac1 %a1& 7 %a2& i %a1& 7 %a2& a1 a23 ;& D se numete % mplu+ dac este d.f. . care nu osed bucle. O$%e#&a! e. ntr2un digraf fr aralelisme+ fiecare arc este bine determinat de vrful iniial i de vrful final1 a A %%a&+ %a&&V V. %'& Def n ! a *. 6n digraf f)#) pa#alel %me este o erec#e D = (V, A) unde1 2 V este o mulime nevid %mulimea vrfurilor&3 2 A este o submulime a rodusului cartezian V V %mulimea arcelor&. E'emplu. V = {v1, v2, v3, v4, v5}; A = {(v2,v3), (v4,v1), (v3,v3), (v5,v2)};

O$%e#&a! e. -in definiia ) se obine definiia ' folosind relaia %'&. Def n ! a +. >ie D un d.f. . i u, v, w V3 '& D se numete % met# c dac1 (v,w) A (w,v) A3 :& D se numete ant % met# c dac1 (v,w) A %?+v&93 )& D se numete t#an, t & dac1 (u,v) A i (v,w) A (u,w) A3 ;& D se numete complet dac1 v w, (v,w) A (w,v) A. E'emplu.

'*(

9cest digraf este tranzitiv+ ns nu este nici simetric+ nici antisimetric %deoarece (v5,v5) A&+ nici com let. Def n ! a -. >ie D 7 %V, A + + & i vV3 %i&. S(v): 7 @w V A a A+ %a& 7 v+ %a& 7 wB se numete mul! mea %ucce%o# lo# lui v; %w S(v) w este succesor al lui v&3 %ii&. P(v) 17 @w V / a A+ %a& 7 w+ %a& 7 vB se numete mul! mea p#edece%o# lo# lui v3 %w P(v& w este redecesor al lui v&3 %iii&. g + %v&17 @a A A %a& =vB se numete "#adul e'te# o# al lui v3 g %v & 1= @a A A % a & = vB se numete "#adul nte# o# al lui v3 g%v& 17 g + %v & + g %v& se numete "#adul lui v. -ac g%v& 7 C+ atunci vrful v se numete &.#f ,olat. E'emplu.

S(v2) ={v2,v3}; g + (v2) = :3 P(v2) = {v1,v2,v3}; g (v2) = 43 g(v2) 7 *. Def n ! a /. >ie digraful D 7 %V, A + + &3 %i&. $e numete d#um n digraful D+ succesiunea alternant de vrfuri i arce+ notat d, d 7 %vi' + ai' + vi: +...+ a ik + vik +' &+ % k C& + cu ro rietile1 %ai & = vi + %ai & = vi + % j = '+:+...+ k &3
j j j j +'

%ii&. vi' se numete &.#ful n ! al al drumului d+ iar v ik +' &.#ful f nal. Lun" mea (d) a drumului este egal cu "; (d) = ". $uccesiunea de vrfuri S(d) := { vi + vi +...+ vi } se numete u#ma d#umulu
' : k +'

d. -ac D este d.f. . atunci drumul d este bine determinat rin S(d) i utem scrie rescurtat1 d 7 % vi' + vi: +...+ vik +' &. '& d este un c #cu t dac vi = vi i k ' 3
' k +'

'=C

:& d este un d#um % mplu dac1 ai ai + %&D l3

j

)& d este un d#um elementa# dac1 vi vi + %& j cu eEce ia cazului j = 1+ = k!1. E'emplu. n digraful D re rezentat n figura <1 d1 = (v1, a1, v2, a4, v5, a6, v4) este un drum elementar3 d2 = (v2, a4, v5, a5, v1, a1, v2) este circuit elementar3 d3 = (v2, a4, v5, a5, v1, a1, v2, a2, v3) este drum sim lu+ ns nu i elementar.
j

O$%e#&a! e. 6n drum d elementar al digrafului D este sim lu i n lus are loc1

% d & V .

Def n ! a 0. %i&. 6n drum %circuit& sim lu care conine toate elementele lui A %n digraful D = (V, A)& se numete eule# an. %ii&. 6n drum %circuit& elementar care conine toate elementele lui V se numete 1am lton an. Def n ! a 2. 6n digraf se numete c cl c dac conine cel uin un circuit3 n caz contrar se numete ac cl c. Def n ! a 3. >ie D 7 %V, A + + & un digraf i v, wV3 %i&. w se numete acce% $ l de la v n D+ dac eEist un drum d n D+ cu vrful iniial v i vrful final w3 %ii&. v i w se numesc %t# ct co#elate+ dac w este accesibil de la v i v de la ?+ n digraful D3 %iii&. D se numete %t# ct co#elat %ta#e cone'&+ dac oricare ar fi vrfurile v, wV ele sunt strict corelate. Def n ! a 14. >ie D = (V, A) un d.f. .3 digraful D = (V, A"i#), unde1 A"i# 17 @ (v, w)/(v,w) A sau (w,v) A, v wB se numete acope# #ea % met# c) 5% mpl)6 a lui D. E'emplu.

'='

Def n ! a 11. >ie D = (V, A) d.f. .3 D se numete co#elat+ dac D"i# este strict corelat. n eEem lul de mai sus D este corelat ns nu strict corelat. Def n ! a 1(. >ie D = (V, A) un d.f. .3 D se numete a#$o#e o# entat dac1 %i&. D este corelat3 '. %ii&. A =V E'emplu.

V = {v1, v2, v3, v4, v5, v6}; A = {a1,a2,a3,a4,a5}; D = (V, A) este corelat+ deci este arbore corelat. Def n ! a 1*. 6n arbore orientat cu ro rietatea c V se numete a#$o#e%cen!). E'emplu.

P %v & '+

oricare ar fi v

P#opo, ! a 1. Fricare arborescen D osed un vrf v$ %numit #)d)c na a#$o#e%cen!e &+ de la care orice alt vrf v V este accesibil e un singur drum. Def n ! a 1+. >ie digraful D 7 %V, A + + & i v V3 maEimul %su remum& lungimilor drumurilor cu vrful final v se numete #an"ul lui v+ e care2l vom nota
% %v & 1= su
d & %v&

%d & +

unde &(v) re rezint mulimea drumurilor d cu vrful final v. Def n ! a 1-. >ie D = (V, A) d.f. .+ V1 V, V1 , A1 A3 %i&. DA 1= %V + A' & se numete d "#af pa#! al al lui D+ indus de A13 %ii&. DV 17 %/'+ 9%/'/'&& se numete %u$d "#af al lui D+ ndu% de V13
'
'

%iii&. D A +V 17%/'+9'%/'/'&& se numete subdigraf al lui D+ ndu% de A1 7 V1. E'emplu. >ie digraful D1 V = {v1, v2, v3, v4, v5}; A = {(v1,v2), (v2,v1), (v1,v5), (v2,v4), {v5,v4)}'
' '

'=:

Presu unem1 V1 = {v1, v3, v4, v5}; A1 = {(v1,v2), (v2,v4), (v5,v4)}' 9tunci1

Def n ! a 1/. 6n digraf D( = (V(, A() se numete %u$d "#af al digrafului D = (V, A) dac V( V i A( A. n aceste condiii D se numete %up#ad "#af al lui D(. Def n ! a 10. >ie D = (V, A) d.f. . i V$ V = {v1,),v*}, V$ ; -igraful DV = (V(, A() se numete cont#ac! e a digrafului D cores unztoare lui V$ dac1 V( = (V+V$) {v$}; A( = {(v,w)A/v,w V+V$} A$+ unde1 A$ = {(v$,w)/vV$ cu (v,w)A}{(w,v$)/v V$ cu (w,v) A. E'emplu.
C

v4 v1 v)

v4 v$ DV :
C

v1 D: v6
'=)

v6 v= v5

v5 >igura ''. Def n ! a 12. >ie D = (V, A) d.f. 3 digraful D G = %V G + AG & se numete cont#ac! e a digrafului D+ dac eEist o succesiune (Di)i=1,2,),* de digrafuri Di = (Vi, Ai) %i & %i & i submulimile de vrfuri+ %VC & i ='+ :+...* cu VC Vi + satisfcnd urmtoarele ro rieti1 D1 = D+ D* 7 D,+ %i & Di!1 este contracie a lui Di cores unztoare lui VC . Def n ! a 13. -igrafurile D1 7 %V1, A1+ '+ '& i D2 7 %V2, A2+ :+ :& sunt izomorfe %4D1 D25&+ dac eEist o a licaie biDectiv1 1V1A1V2A2 cu urmtoarele ro rieti1 %i&. %V1& 7 V23 %A1& 7 A23 %ii&. :%%a&& 7 %'%a&&3 %&a A13 %iii&. :%%a&& 7 %'%a&&3 %&a A1. Def n ! a (4. >ie D = (V, A) un digraf i definim urmtoarele mulimi1 - 7 @ -i /-i este o com onent tare coneE a lui D B3 . 7 @ % -i , -j & A /i -i + /j -j + i j, ( /i, /j ) A B. -igraful % -,. & se numete d "#aful #edu% 5conden%a#ea 6 lui D. E'emplu. -igraful din figura ':b este digraful redus al digrafului din figura ':a.

-igraful redus al unui digraf este aciclic. Prezentm n continuare cteva eEem le de digrafuri care modeleaz sisteme % robleme& te#nico2economice. E'emplu. Considerm digraful re rezentnd sistemul de strzi dintr2un ora. 0nterseciile i ca etele de strzi sunt vrfurile digrafului. -ac e o strad se oate circula de la v la w+ digraful conine arcul %v+ w&. -igraful care are ca arce numai strzile cu sens unic este un digraf arial al digrafului iniial. -ac considerm numai nodurile
'=;

care a arin unui sector m reun cu arcele cores unztoare+ ceea ce se obine este un subdigraf. Considernd a oi strzile cu sens unic din acel sector se obine un subdigraf arial. E'emplu. -igraful asociat roblemei de trans ort este de ti ul1 D 7 %V+ A&+ V 7 @P'+ P:+ H+ P#B @-'+ -:+ H+ -*B3 A 7 @%Pi+ -j& i 7 '+ :+ H+ #3 j 7 '+ :+ H+ *B i oate fi re rezentat astfel1
P' 5'' 5:' E#' 5': -'

P:

5:: 5#: 5'* 5:*

-:

>igura ').

P#

5#*

-*

E'emplu. D "#aful8p#o"#am este digraful asociat unui rogram care const dintr2o mulime de o eraii care conduc la realizarea unui obiectiv % roiect+ ansamblu de construcii+ etc.&+ astfel nct se cunosc entru fiecare dintre o eraii durata sa i relaiile de ordine tem oral rivitoare la aceasta. 9rcele digrafului2 rogram re rezint o eraiile+ crora li se vor ataa valori nenegative re rezentnd durata o eraiilor res ective %tim ii o eratori& i ale cror vrfuri %numite evenimente& ot fi inter retate ca indicnd realizarea obiectivelor ariale %de eEem lu+ montarea unui subansamblu&. 6n subdigraf al digrafului2 rogram are forma1

1ij 0i 0j

>igura ';.

unde durata o eraiei %0i+ 0j&+ care este una dintre o eraiile care contribuie la realizarea evenimentului 0j este re rezentat de valoarea 1ij. -igraful2 rogram este un digraf fr circuite+ deoarece+ n caz contrar+ o aceeai o eraie s2ar utea auto receda+ ceea ce este im osibil. E'emplu. >ie 2 mulimea osturilor libere ale unei ntre rinderi+ iar 3 mulimea ersoanelor care intenioneaz s ocu e osturile menionate. -efinim relaia 7%2+3+4& unde 47@%5+ 6&52+ 63+5 oate ocu a+ otrivit calificrii sale+ ostul 6B. >ie relaia 7 %2+ 3+ 4&+ 2 3 7 . -ac re rezentm elementele mulimilor 2+ 3 rin uncte+ iar erec#ile %5+ 6&4 arce rin orientate de la 5 la 6 obinem aa2numitul d "#af $ pa#t t.
'=<

n cazul 2 7 @5'+ 5:+ 5)+ 5;B+ 3 7 @6'+ 6:+ 6)+ 6;+ 6<B+ digraful bi artit definit de relaia 7 %2+ 3+ 4&+ unde I 7 @%5'+ 6'&+ %5'+ 6)&+ %5'+ 6;&+ %5:+ 6'&+ %5:+ 6<&+ %5)+ 6)&+ %5;+ 6:&+ %5;+ 6;&B este re rezentat n figura'<. Elementele mulimilor 2 i 3 se numesc vrfuri %noduri sau uncte&+ iar elementele mulimii 4 se numesc arce. Evident c un digraf bi artit oate fi definit+ n mod ec#ivalent+ ca tri letul %2+ 3+ &+ 2 3 7 + 2 a licaie multivoc a lui 2 n 3.
6' 5' 5: 5) 5; 6: 6) 6; 6<

>igura '<. E'emplu. -igraful D 7 %V+ &+ unde V 7 @v'+ v:+ v)+ v;+ v<B+ %v'& 7 @v:+ v)+ v<B+ %v:& 7 @v:+ v;B+ %v)& 7 @v'+ v:+ v;+ v<B+ %v;& 7 + %v<& 7 @v:+ v;B este re rezentat n figura'*.
v:

v1

v3

v5

v4

>igura '*. O$%e#&a! 9 %i& 2 -igraful D 7 %V+ & oate fi definit n mod ec#ivalent ca erec#ea D 7 %V+ A&+ unde A 7 @%5+ 6& 5 V+ 6 %5&B i re rezint mulimea arcelor digrafului D. /rful 5 este eEtremitatea iniial a arcului %5+ 6&+ iar 6 este eEtremitatea final. %ii& 2 Jelaia 7 %2+ 2+ 4& definete digraful D 7 %2+ A&+ unde A 7 43 digraful D 7 %2+ & definete relaia 7 %2+ 2+ 4&+ unde 4 7 @%5+ 6& 5 2+ 6 %5&B. Def n ! a (1. $e numete "#af neo# entat+ sau mai sim lu+ "#af+ erec#ea 4 = (V, 7), unde V este o mulime nevid numit mulimea vrfurilor %nodurilor sau unctelor& i 7 este o mulime de erec#i neordonate de elemente din V. Elementele lui / se numesc muc1 .
'=*

O$%e#&a! e. >iecrui graf utem s2i unem n cores onden un digraf+ unui element @v, wB7 unndu2i n cores onden arcele %v, w& i %w, v&. $2ar rea c graful este un caz articular de digraf+ dar cele dou noiuni sunt distincte+ unnd o serie de robleme s ecifice. Iraful 4 = (V, 7) oate fi re rezentat n lan+ re rezentnd vrfurile rin uncte+ iar muc#iile rin linii %dre te sau curbe& ce unesc vrfurile ce a ar in erec#ile res ective. E'emplu. Iraful 4 = (V, 7) unde V = {v1, v2, v3, v4, v5}; 7 = {{v1, v3}, {v2, v3}, {v2, v4}, {v3, v4}, {v2, v5}, {v4, v5}} este re rezentat n figura'=.

>ie * i 1 numere ntregi ozitive i # un numr ntreg nenegativ3 fie V = @v' + v : +...+ v * B o mulime nevid i 8 = @9ij = @vi + v j B A vi + v j V +' i < j *B mulimea tuturor submulimilor formate din dou elemente ale lui V . Kai de arte+ fie 1 8 definit astfel 1 8 = 8 @'+:+...+ 1B = @9ij = @vi + v j + B A @vi + v j B 8 + @'+:+...+ 1BB . Def n ! a ((. Perec#ea 41 = (V, 7) cu K t! se numete mult "#af %t#at f cat+ complet et c1etat. Elementele lui V se numesc vrfuri ale multigrafului+ iar elementele lui 7 sunt numite muc#ii. Putem vizualiza un asemenea multigraf com let etic#etat ca 1 grafuri sim le cu aceeai mulime de vrfuri+ su ra use n straturi unul este altul du cum se vede i n figura'8.

>igura '8. Kultigraf 4; = %V + 7 & cu V =@v' +...+ v " B i

'==

7 =@9'): + 9'); + 9);) + 9);; + 9 ;<: + 9 ;<) + 9 ;<; B

Este clar c nu eEist bucle ntr2un asemenea multigraf i c eEist un numr de maEim 1 muc#ii+ etic#etate cu 9ij' +...+ 9ij1 + ntre fiecare dintre vrfurile vi ,vj V. 9stfel+ numrul # de muc#ii n 7 este un ntreg cu C # 1 % * :&. G -ac @9ij' +...+ 9ij1 B 7 "+ " : este adevrat entru o erec#e de vrfuri @vi + v j B 8 %adic dac cel uin " din cele 1 muc#ii osibile ntre v i i v j se afl n mulimea 0 & vom s une c vi i vj sunt %8conectate. Kulimea cores unztoare @eiD'+ H+ eiDtB este numit %8cone' une. Pentru 1 = ' + 4' este ec#ivalent cu un graf sim lu 4 + unde ntre fiecare erec#e de vrfuri nu eEist mai mult de o muc#ie+ i termenul de 18conectat: 18 ,olat i 18component)+ nseamn+ res ectiv+ binecunoscuii termeni conectat+ ,olat i component)' Pentru 1 = ' + 18conectat este ec#ivalentul unei muc#ii. n cazul n care se su rim stratificarea+ multigraful 4 devine multigraf %graf cu muc#ii multi le& oarecare. -ac se su rim stratificarea n multigraful din figura'8 se obine multigraful din figura '(.

>igura '(. Frice multigraf stratificat este multigraf. Jeci roca nu este adevrat. Teo#ema 1. 6n drum ntr2un digraf D nu este sim lu dac i numai dac o anumit submulime a drumului definete un circuit. Demon%t#a! e. Presu unem c d este un drum care nu este sim lu n D. 9tunci orice ir cores unztor lui d conine un subir de forma ( vi,),vi ) i acest subir este un circuit. Jeci roc+ s resu unem c d1 d este un circuit n d. Frice ir de noduri cores unztoare lui d1 are forma ( vi,),vi ) i irul cores unztor lui d d1+ evident va conine un subir de aceast form+ deci d nu oate fi un drum sim lu. Teo#ema (. Frice digraf com let osed un drum #amiltonian. Demon%t#a! e. $e rocedeaz rin inducie relativ la numrul * al vrfurilor digrafului D = (V, A), V 7 n. Pentru * 7 :+ digraful are dou vrfuri v, w. -igraful este com let+ deci dac eEist un arc ntre aceste dou vrfuri+ de eEem lu (v, w)+ acesta este tocmai drumul #amiltonian cutat. Presu unem ro rietatea adevrat entru *+1 vrfuri i artm c ea este adevrat i entru n vrfuri. -ac digraful D are vrfurile v1, v2,), v*+ subdigraful D{v ' ,v : com let+ deci n baza induciei com lete el conine un drum #amiltonian. >ie acest drum d = ( v1,v2,),v*+1 )'
,),v
* '

este

'=8

-eoarece digraful este com let+ eEist cel uin un arc ntre v1 i v*. -ac acest arc este %v*, v1&+ atunci am obinut un drum #amiltonian cu n vrfuri i anume d( = (v*, v1, v2,), v*+1)' Presu unem contrariul+ c eEist numai arcul (v1,v*)' Je etnd acelai raionament entru erec#ea de vrfuri v* i v*+1+ dac eEist arcul (v*+1,v*), atunci utem forma drumul #amiltonian (v1, v2,), v*+1, v*)' Presu unem c ne situm+ n cazul cel mai nefavorabil+ adic eEist numai arcele (v1, v*) i (v*, v*+1)'

-eoarece v* se leag rin arce cu vrfurile v2,),v*+2, vor eEista rintre acestea dou vrfuri vecine+ vk i vk!1 entru care eEist arcele ( vk, v* ) i ( v*, vk!1 )' ntr2adevr+ din v1 leac un arc n v*, dar n v*+1+ ultimul vrf al drumului vine un arc din v*, deci la un moment dat+ lecnd din v1 ctre v*+1+ sensul arcelor ctre v* trebuie s se sc#imbe. -ar n acest caz am gsit un drum #amiltonian cu * vrfuri i anume1 (v1, v2,), vk, v*, vk!1,), v*+1) i teorema este demonstrat. (. Cone' une ;n 5d 6"#afu# Def n ! a (*. %i&. >ie D = (V, A) un digraf. -ac entru orice submulime ro rie nevid 2 a lui V are loc g + (2) $+ sau g (2) $+ s unem c D este cone'. n caz contrar+ D este necone'. %ii&. 6n subdigraf coneE D( = ( 2, ( 22 ) A ) a lui D cu g + ( 2 )=g (2)=$+ se numete component) cone') a lui D. %iii&. $ unem c 7 (v1,v2,),v*) este un %em d#um de la v1 la v* dac entru orice i = 1, 2+H+ *2'+ avem ( vi, vi!1) A sau ( vi!1, vi) A. 6n digraf este coneE dac toate nodurile lui a arin unui semidrum. Teo#ema *. >ie Di = ( -i, ( -i-i ) A ), i = 1,),; com onentele coneEe ale digrafului D = (V, A)' Kulimile -i, i = 1, 2,), ; formeaz o artiie a lui V. Demon%t#a! e. ConeEiunea a dou vrfuri ntr2un digraf definete o relaie refleEiv+ simetric i tranzitiv. Clasele de ec#ivalen ale acestei relaii sunt tocmai mulimile -i care n felul acesta dau o artiie a lui V. Def n ! a (+. %i&. 6n digraf este ta#e cone' dac orice vrf al digrafului este atins din orice alt nod. %ii&. $ubdigrafrul D( = ( 2, ( 22 ) A ) al lui D este o component) ta#e cone') a lui D dac este tare coneE i nu eEist nici o erec#e de vrfuri v 2, w 2 aa nct v i w s a arin la un circuit din D. %iii&. 6n digraf arial D< a lui D este d "#aful c clu a lui D dac el conine toate arcele care a arin la circuite din D i numai e acestea.
'=(

Teo#ema +. -igaraful D = (V, A) este tare coneE dac i numai dac A este un circuit. Demon%t#a! e. -ac V 7 ' ro rietatea este evident. -ac V L ' fie v1+ v2 V, v1 v2. Cum D este tare coneE+ eEist un drum de la v1 la v2 i unul de la v2 la v1 care dau circuitul (v1,),v2,),v1)' -ac acest circuit este egal cu A+ ro rietatea este demonstrat. -ac eEist un arc (v, w) A care nu este n circuit+ cum eEist drum de la v2 la v i drum de la w la v2+ utem construi un nou circuit (v1,),v2,),v, w,),v2,),v1) care conine i arcul (v, w)' Cum A are un numr finit de elemente+ du un numr finit de a licri ale rocedeului recedent+ utem face ca toate arcele lui 9 s se afle ntr2un circuit. Def n ! a (-. 6n graf 4 = (V, 7) se numete cone'+ dac oricare dou vrfuri ale sale sunt unite rintr2un lan. E'emple. Iraful 41 = (V1, 71) este coneE+ iar graful 42 = (V2, 72) care este reuniunea a trei grafuri coneEe+ nu este coneE1

41 1

42 1 >igura :'.

Def n ! a (/. $e numete component) cone') -(v) a vrfului v+ mulimea tuturor vrfurilor w+ care sunt unite rintr2un lan cu v. Def n ! a (0. >ie 4=(V,7) un graf i V$ V. -efinim graful 4 = V$ = ( V+V$+ 7$), 7$ = {{v,w } / { v,w } 7, v V$ i w V$ }, adic graful care se obine din 4 rin su rimarea vrfurilor din V$ i a muc#iilor incidente vrfurilor din V$. E'emplu. ) ' : 8 ( ; * : 8 * < = ) ( < =

4 = (V, 7) >igura ::.

4 = V$; V$ = {1, 4}'

Def n ! a (2. 6n vrf v V se numete a#t cula! e n 4 = (V,7), dac 4 = {v} are mai multe com onente dect 4 % se resu une 7 ) &. 6n graf coneE cu articulaii se numete %epa#a$ l. O$%e#&a! e. Este suficient su rimarea unei articulaii ntr2un graf coneE entru a nu mai rmne coneE. O$%e#&a! e. Irafurile 4 = (V, 7) care osed V 2: articulaii sunt lanurile elementare de lungime V 2'. Def n ! a (3. $ubgraful 41 = (V1, 71) al grafului 4 = (V, 7) re rezint un $loc al lui 4+ dac 41 este un subgraf coneE ce nu conine nici o articulaie+ iar nici un subgraf 42 = ( V2, 72 ) cu V2 V1 nu osed aceste ro rieti.
'8C

6n bloc al grafului 4 este deci un subgraf coneE maEimal fr articulaii. E'emplu. /rfurile {v1, v2, v3, v4, v5} induc n graful 4 din figura de mai Dos un bloc+ de asemenea {v7, v1$}, {v5, v6, v7}, {v>, v?, v1$} i {v11}' 9rticulaiile lui 4 sunt vrfurile v5, v7 i v1$.

>igura :). Def n ! a *4. -at fiind graful 4 = (V, 7); dac 71 7+ atunci graful 4 2 @71A se definete astfel 1 I + @71A = (V , 7 + 71)' Def n ! a *1. F muc#ie # 7 se numete pod n 4+ dac 4 = @#A osed mai multe com onente dect 4. E'emplu. n garful 4 = (V, 7), V = {v1, v2, v3, v4, v5, v6, v7}, 7 = {#1, #2, #3, #4, #5, #6, #7, #>}, muc#ia #5 este un od+ iar muc#ia #6 nu este od. v) m: v' m' v: >igura :;. O$%e#&a! e. -ac m este un od n graful coneE 4, atunci 4 = @#A const din dou com onente coneEe. Def n ! a *(. $e numete a#$o#e+ un graf coneE i fr cicluri. E'emplu. Iraful din figura :< este un arbore.
' : ; = 8 < * ( 'C

v= m)
v; m< v<

m=
m8

m;

m* v*

''

>igura :<.
'8'

Teo#ema -. 6n arbore B 7 %V+ 7&+ V 7 *+ cu * : vrfuri conine cel uin dou vrfuri terminale. ntradevr+ resu unem rin reducere la absurd c eEist cel mult un vrf terminal n arbore. Considerm un lan elementar 7 {i1, i2, ), ik+1, ik} de lungime maEim+ n arbore. /rfurile i' i ik ot fi adiacente numai cu vrfurile din mulimea {i'+ H+ ik}+ deoarece n caz contrar lanul s2ar utea relungi. Presu unem c i' nu ar fi terminal. 9tunci eEist muc#ia {i'+ i#} 7 cu # {)+ H+ k}+ ceea ce conduce la eEistena ciclului M 7 {i'+ i:+ H+ i#+ i'}. Concluzia obinut este contradictorie+ B fiind un arbore. Teo#ema /. >ie 4 7 %V+ 7&+ V 7 *+ un graf cu * ' vrfuri. 6rmtoarele afirmaii sunt ec#ivalente1 %i& 4 este un arbore3 %ii& 7= * + 1 i 4 nu conine cicluri3 %iii& 7= * + 1 i 4 este coneE3 %iv& Fricare dou vrfuri din 4 sunt unite rintr2un unic lan Demon%t#a! e. /om demonstra urmtoarele im licaii 1 %ii& %iii& %i& %ii& %i& %iv& %i&. %iii& %i& %ii&. -emonstrm rin inducie du * c un arbore 4 cu V= * vrfuri are 7 7 # 7 *+1 muc#ii. -ac * 7 ' avem # 7 C. Presu unem adevrat ro rietatea entru arbori 4 cu V 7 * vrfuri i demonstrm ro rietatea entru arbori 4 cu V = * ! 1 vrfuri. n baza ro oziiei recedente+ eEist cel uin un vrf terminal. l eliminm m reun cu unica muc#ie adiacent lui. Jezult un arbore cu * vrfuri+ care n baza induciei are *2' muc#ii. 9tunci arborele cu *N' vrfuri are * 2 ' N ' 7 * muc#ii. %iii& %ii&. Presu unem+ rin reducere la absurd+ c 4 conine un ciclu. >ie 4' 7 %V'+ 7'& graful format din vrfurile i muc#iile acestui ciclu. -ac V1 = *' i 7' 7 #' atunci *1 7 #1. >ie 4: graful obinut din graful 4' rin adugarea vrfurilor adiacente vrfurilor lui 4' m reun cu muc#iile res ective. 4: 7 %V:+ 7:&+ V2 = *2, 72 = #2. Jezult *: *' i #: #'+ rin urmare #: *:. Iraful 4 fiind coneE+ du un numr finit de a licri a rocedeului menionat+ se obine graful 4+ care are cel uin * muc#ii. Contradicie. %i& %iv&. -eoarece 4 este coneE+ oricare dou vrfuri sunt unite rintr2un lan. -ac ar eEista dou lanuri distincte care s uneasc aceleai dou vrfuri+ ar rezulta eEistena unui ciclu+ ceea ce ar contrazice fa tul c 4 este arbore. %iv& %i&. Jezult imediat. n maDoritatea a licaiilor cu arbori+ un vrf al arborelui este 4s ecificat5+ are un rol s ecial i se numete #)d)c n). 9legerea unui vrf %oarecare& ca rdcin ermite1 a& aezarea arborelui e nivele astfel1 2 se laseaz rdcina e nivelul '3 2 se laseaz e fiecare nivel i > ' vrfurile entru care lungimea lanurilor care le leag de rdcin este i2'3 2 se traseaz muc#iile grafului.
'8:

Pentru arborele din figura :<+ dac alegem ca rdcin vrfurile ;+ res ectiv =+ obinem arborii aezai e nivele din figura :*+ res ectiv figura :=.

'8)