b) Considerarea arborelui ca digraf, stabilind pentru fiecare muchie un sens i

anume de la nivel superior (cu numr de ordine mai mic) spre nivelul inferior (cu numr
de ordine mai mare).
Reprezentarea arborilor pe nivele justific urmtoarele denumiri:
v!rfurile de pe un nivel i > " legate de un acelai v!rf k de pe nivelul i" se
numesc descendeni direci (imediai sau fii) ai v!rfului k, iar k se numete predecesor
(ascendent) direct (imediat sau tat) al acestor v!rfuri.
dac e#ist un lan$ (drum) de la un v!rf k de pe nivelul i la un v!rf j de pe
nivelul s > i, atunci v!rful k se numete predecesor (ascendent) al v!rfului j, iar j se
numete succesor (descendent) al lui k.
Definiia 33. (i). %n digraf aciclic &n care un v!rf are gradul interior ' i toate
celelalte au gradul interior ", se numete arbore direcionat.
(ii). (!rful cu gradul interior ' se numete rdcina arborelui. )ungimea
drumului de la rdcin la un v!rf se numete nivelul acelui v!rf.
(iii). %n arbore direc$ionat &n care fiecare v!rf are gradul e#terior ' sau * se
numete arbore binar. +entru aceti arbori fiecrui v!rf cu gradul e#terior * &i
corespunde o legtur la stnga i o legtur la dreapta.
%neori vom numi arbori binari i acei arbori pentru care unele v!rfuri au gradul
e#terior ", dar pentru aceste v!rfuri se va preciza dac legtura este la dreapta sau la
st!nga.
Teorema 9. ,ie n un numr natural oarecare. -#ist cel pu$in un arbore binar T
n
cu n v!rfuri terminale.
Demonstraie. +entru n . " e#ist arborele binar T
1
. (/v0,). +resupunem c
e#ist T
n
= (V
n
, A
n
) i fie v V
n
un v!rf terminal &n T
n
. 1ntroducem v!rfurile w,z V
n
i
arcele (v,w), (v,z). 2cum

g (w) =

g (z) = 1,
+
g (w) =
+
g (z) = 0,
+
g (v) = 2,
gradele interioare i e#terioare ale celorlalte elemente ale lui V
n
rm!n!nd neschimbate.
Ceea ce se ob$ine este tot un arbore binar. (!rful v nu mai este terminal, dar au fost
create alte * v!rfuri terminale, deci numrul v!rfurilor terminale a devenit n3". 4eci
T
n+1
e#ist dac T
n
e#ist. Conform principiului induc$iei, teorema este demonstrat.
Teorema 10. ,ie T = (V, A) un arbore binar. 2tunci r .
A
. *(n
t
"), unde n
t
este numrul v!rfurilor terminale din T.
Demonstraie. +entru n
t
. " singurul arbore este T
1
. (/v0, ) i proprietatea
este adevrat. 4ac presupunem proprietatea adevrat pentru
t
n
T
, am vzut c
" +
t
n
T
183
"
"
"
'
5
6
7 8
9
:
;
*
"
"
*
;
:
8
"
"
"
'
5
7
6
8
9
:
;
*
"
"
*
;
:
,igura *9. ,igura *7.
se ob$ine din
t
n
T
prin adugarea a dou arce, deci numrul arcelor lui
" +
t
n
T
este
). " ) " (( * * * ) " ( * *
"
+ = = + = + =
+ t t t n n
n n n A A
t t
2plic!nd principiul induc$iei rezult proprietatea din enun$.
,ie n numrul v!rfurilor terminale ale unui arbore binar i m un numr &ntreg
nenegativ< fie d nivelul unui v!rf neterminal. %n arbore binar este echilibrat dac
a). n . m d
m
= * <
b). < <
+"
* *
m m
n d . m sau d . m3".
= defini$ie echivalent este urmtoarea:
%n arbore binar este echilibrat dac not!nd cu d
1
i d
2
nivelul cel mai mare i
respectiv cel mai mic al unui v!rf terminal, d
1
d
2
".
3. Repreentarea !di"grafurilor
>en$ionm patru modalit$i de reprezentare a unui digraf D . (V, A), finit cu
n V =
, V={v
1
,v
*
,,v
n
},
m A =
, A={a
1
,a
2
,,a
m
}.
!i". Repreentarea digrafurilor cu a#utorul matricei de adiacen.
,ie B M
n
({0, 1}) matricea de adiacen$ (boolean) asociat digrafului D<
B = n j m i
ij

, " < , "

) (
= = ,

=
!"ntrar !az #n
A v v da!$

j i
ij
, '
) , ( , "
$bservaii.
(i). Reprezentarea este dependent de ordonarea v!rfurilor digrafului.
(ii). ?uma elementelor liniei i din matricea de adiacen$ (cu alte cuvinte,
numrul elementelor " din aceast linie) reprezint gradul e#terior al v!rfului v
i
<
g
3
(v
i
) .
n i
n
j
ij
, " ,
"
=

=
.
(iii). ?uma elementelor coloanei j din matricea de adiacen$ (altfel spus, numrul
elementelor " din aceast coloan) reprezint gradul interior al v!rfului v
j
<
g

(v
j
) .
n j
n
i
ij
, " ,
"
=

=
.
Remarcm faptul c matricea de adiacen$ definete complet digraful.
4ac digraful D . (V, A), V = {v
1
, v
2
,, v
n
} este marcat i w
ij
este marca asociat
arcului (v
i
,v
j
), presupun!nd c w
ij
= 0 dac i numai dac (v
i
,v
j
)A, atunci w
ij
sunt
elementele unei matrice numit matricea ponderilor digrafului marcat.
@umim matricea drumurilor lui D matricea P %
n
({0, 1}), definit prin:

=
. , '
< , "
!"ntrar !az #n
v &a v &a d' n'n(&a &(ngim' d' dr(m (n ')ist$ da!a
*
j i
ij
Teorema 11. ,ie % matricea de adiacen$ a digrafului D i fie & . %
h
. 2tunci '
ij
este numrul irurilor distincte de forma
) , ( ),..., , (
" "
j i i i
v v v v
+
care au lungimea + i
sunt drumuri &n D.
184
Demonstraie. +rin induc$ie dup +. +entru + = 1 proprietatea este evident.
+resupunem c proprietatea este evident pentru +,=+-1 deci () . %
hA
care are ca
elemente p
B
ik

numrul drumurilor de lungime +, de la v
i
la v
k
i fie ( . ()% &n care:

=
=
n
k
kj ik ij
a * *
"
B
.
4ac a
kj
=1, deci avem arcul (v
k
, v
j
) fiecrui drum de lungime +-1 de la v
i
la v
k
&i
corespunde drumul de lungime +, (v
i
,,v
k
, v
j
) de la v
i
la v
j
. Cum sunt p
ik
drumuri
distincte de lungime +-1 de la v
i
la v
k
ob$inem tot
B
ik
*
drumuri distincte de la v
i
la v
j
care
se termin cu arcul (v
k
, v
j
). 4ac a
kj
. ', atunci drumurile de lungime +-1 de la v
i
la v
k
nu
dau drumuri de lungime + de la v
i
la v
j
i nu se numr. ,c!nd aceste considera$ii
pentru toate cele n v!rfuri se ob$ine c p
ij
reprezint numrul drumurilor distincte de
lungime + de la v
i
la v
j
.
*orolar. 4ac ( este matricea drumurilor lui D i
Q = A + A
2
++ A
n

atunci:
. ' " =
ij ij
. *
Corolarul d posibilitatea de a gsi matricea drumurilor cunosc!nd matricea de
adiacen$ a unui digraf. 2cest procedeu necesit un numr relativ mare de calcule.
!ii". Repreentarea digrafurilor prin intermediul matricei de inciden.
,ie S M
n, m
({-1, 0, 1}) matricea de inciden$ asociat digrafului D<
+ . m j n i
ij
s
, " < , "
) (
= = ,

+
=
j i
j i
j i
ij
a ar!(&(i a ' ')tr'mitat 'st' n( v da!$
a ar!(&(i a /ina&$ 'a ')tr'mitat 'st' v da!$
a ar!(&(i a initia&a 'a ')tr'mitat 'st' v da!$
s
, '
, "
, "
$bservaii,
(i). Reprezentarea este dependent de ordonarea v!rfurilor i de ordonarea
muchiilor digrafului
(ii). @umrul elementelor 3" din linia i a matricei de inciden$ reprezint gradul
e#terior al v!rfului v
i
, iar numrul elementelor C" din linia i reprezint gradul interior al
v!rfului v
i
.
g
3
(v
i
) .
n i s
ij
s j
ij
, " ,
"
=

=
.
g

(v
i
) .
n i s
ij
s j
ij
, " , ) (
"
=

=
.
(iii). ?uma elementelor 3" (sau ") din matricea de inciden$ este egal cu
numrul arcelor digrafului<
. ) (
"
"
" "
"
"
m s s
n
i
n
s j
j
ij
n
i
n
s j
j
ij
ij ij
= =

=
=
= =
=
=
185
>atricea de inciden$ asociat digrafului D poate fi definit i astfel:
M M
m,n
{ } ( )
" ' " , ,
,
unde:

=
j i
j i
j i
ij
v v0r/(&(i in!id'nt 'st' n( a ar!(&
v v0r/(&(i ')t'ri"r s*r' in!id'nt 'st' a ar!(&
v v0r/(&(i 'ri"r s*r' in!id'nt 'st' a ar!(&
m
, '
, "
int , "
,
m i , " =
<
n j , " =
.
!iii". Repreentarea digrafurilor cu a#utorul listelor de adiacen.
4igrafului D . (V, A) i se asociaz n liste &nln$uite 1(i), i . ", *, D, n, lista 1(i)
con$in!nd vecinii v!rfului v
i
. 2ceste liste se numesc liste de adiacen. )ista de
adiacen$ asociat digrafului este 1 . (1(i), i . ", *, D, n).
!iv". Repreentarea digrafurilor prin enumerarea arcelor.
4e aceast dat asociem digrafului dat o matrice %2A M
*, m
(R), &n care fiecare
coloan con$ine e#tremit$ile unui arc. +rin urmare, matricea %2A (matricea
enumerrii arcelor) con$ine &n coloanele sale enumerarea arcelor digrafului.
!v". Repreentarea digrafurilor prin K-formule liniare.
,ie D = (V, A) un digraf finit, { } V n V v v v
n
= = , , ,...,
" *
etichetat, func$ia de
etichetare fiind
' V :
2, einjectiv, 2 alfabet. @e intereseaz &n continuare s dm o
reprezentare a digrafului cu ajutorul cuvintelor peste un anumit alfabet. ,c!nd apel la
matricea de adiacen$, este posibil s reprezentm digraful D prin cuv!ntul:
( ) ( ) ( ) ( ) ( ) ( ) ! D ! D ! D ! D & ! D n n
n
= = +
" *
*
" E E...E ,
cu
( ) { } ( ) ( ) n i n D ! & D !
i in i i i
, " , , " , ' ...
F
* "
= = = ,
unde am notat prin l(c) lungimea cuv!ntului c, iar prin 2F monoidul liber generat de
alfabetul 2.
4igraful D poate fi de asemenea reprezentat prin cuv!ntul:
( ) { }
F
,E 5 ,..., * , " , ' D !
unde:
( ) ( ) ( ) ( )
! D ! D ! D ! D
n
=
" *
E E...E
cu
( )
( )
! D
i i
n
i
n
in i i in
= + =

"
"
*
* '
" * "'
* * * ... ...
,
adic
( )
! D
i
este reprezentarea &n baza "' a numrului binar
i n
i i in " *
" * ... , , ,..., = .
Reprezentri analoage se pot da grafurilor 3 = (V, %),
m % n V = = ,
, %
mul$imea muchiilor, cu singura deosebire c matricea de inciden$ asociat grafului este
M M
m,n
{ } ( )
' " ,
i ( ) { } ! 3 i m
i
= ' " " , , ,
F
.
,acem apel la conceptul de K-formul liniar peste alfabetul 2
{ } F
, unde GFH
este 4operatorul utilizat pentru reprezentarea arcelor (muchiilor) digrafului (grafului) i
pe aceasta baz formulm algoritmul pentru determinarea mul$imii minimale de 4
formule asociate unui digraf etichetat.
(asul 1. ,iecrui v!rf izolat v V
i
i se asociaz 4formula ( ) ' v
i
<
186
(asul .. ,iecrui arc ( ) v v A
i j
,
i se asociaz 4formula
( ) ( ) F' v ' v
i j
<
(asul 3. +erechii de Iformule ( ) 4 4
i j
,
, unde:
4 v z
i
= F...F ... ,
4 w v t
j
= F...F ... ...
i se asociaz 4formula
4
j
B
de forma:
4 w 4 t
j i
B
F...F ... ... =

ob$inut din
4
j prin substitu$ia v 4
i
. =pera$ia de /substituie0 notat H56, (
( )
j i j
4 4 5 4 ,
B
=
), se e#ecut asupra tuturor perechilor de 4formule de forma
men$ionat, re$in!nduse &n continuare &n locul 4formulelor j i
4 4 i
, 4formula
4
j
B
.
(asul 1. ?e construiesc coresponden$ele (atunci c!nd este posibil):
( ) ( ) 4 4 4 4
i j i j
, ,
B B

unde:
4 v 4 t
i
= F...F ... B ... <
4 w v t w v B F...F ... ... , =
<
4 w *
j
= F...F... ...
<
4 v w t
i
B
F...F ... ... = <
4 4 *
j
B F...F... B ... =
i mai departe
( ) . ... ... F ... F ... F F... ,
J J J K
* 4 w 4 4 5 4
i j i j
= =
(asul 2. ?top.
2lgoritmul rm!ne valabil i &n cazul digrafurilor D . (V, A, e, l) etichetate i
marcate, func$ia de marcare fiind l : A1, 1alfabet, cu observa$ia c pasul * devine:
fiecrui arc ( ) v v A
i j
,
i se asociaz 4formula
( ) ( ) ( ) ( )
F , ' v ' v & v v
i j i j
.
1n mod similar se procedeaz pentru determinarea mul$imii minimale de 4
formule liniare asociate unui graf 3 = (V, %, ') etichetat, sau unui graf 3 = (V, %, ', &)
etichetat i marcat, cu men$iunea c, &n acest caz, 4operatorul GFH este utilizat pentru
reprezentarea muchiilor.
>en$ionam c!teva rezultate privind 4formulele liniare.
Teorema 13. =rice 4formul este echivalent cu un arbore.
Demonstraie. ?e arat, prin induc$ie relativ la numrul 4operatorilor din 4
formul, ca orice 4formul !(2 /0)
F
are lungimea 2n+1, unde n este numrul de
apari$ii ale 4operatorului HH.
+entru n . ' i n . " este evident.
4aca
471 4 4 n 4 4 n 4 4
i i j j i i i
= = , ), ( ), (
* (am notat cu 471 mul$imea 4
formulelor liniare, iar prin 4(n) o 4formul &n care 4operatorul HH apare de n ori)
atunci
). ( ) , (
* "
B
n n 4 4 4 5
j j i
+ =
4ac
= ) , (
B B
j i
4 4
8
) , (
j i
4 4
, 8 fiind operatorul de 0cutare3,
) (
;
B B
n 4 4 =
atunci
), (
* "
B B
n n 4 4
i i
=

), (
; *
B B
n n 4 4
j j
+ =
iar
=
B B
j
4
5
= ) , (
B B
j i
4 4

B B
j
4 ). (
; "
n n +
187
=ricare ar fi 4formula !471, ! . ...'(v)...'(w)... orice v!rf w etichetat cu
eticheta '(w) este accesibil printrun drum de la v!rful rdcina v< pe de alt parte dac
! = !(n) atunci arborele corespunztor 4formulei ! se ob$ine conect!nd n subarbori
corespunztori unor 4formule de tipul '(v
i
)'(v
j
).
Teorema 11. Condi$ia necesar i suficient ca un cuv!nt !(2/0)
F
s fie 4
formula este ca s fie satisfcute condi$iile:
! . *
1
.
1
*
2
.
2
... *
m
.
m
<
(i). *
j
/0
3
, .
j
2
+
, j = 1,2,...,m, m 9:
;
<

= =
=
m
j
m
j
j j
. & * &
" "
< " ) ( ) (
(ii). ! se poate descompune &n n cuvinte de forma !
1
!
2
,
!
1
!
2
(2/0)
F
, unde
=
=
m
j
j
* & n
"
). (
Teorema 12. +roblema apartenen$ei cuv!ntului !(2/0)
F
mul$imii 471 a 4
formulelor liniare este decidabil.
Demonstraie. -ste suficient s artm c e#ist un algoritm care s realizeze o
analiz a cuv!ntului dat, descompun!ndul &n 4formulele componente din care sa
ob$inut prin substitu$ii (5) i cutri (8), desigur &n cazul &n care acesta este o 4
formul.
2lgoritmul este urmtorul:
(asul 1. Daca (&(!) este impar) i
=
=
m
j
j
! & * &
"
) * L ) " ) ( ( ) ( (
atunci r$s*(ns== da
altfel r$s*(ns== n(<
(asul .. Determin oglinditul cuv!ntului
<
M M M M
...
M M M
,
" " * *
* . * . * . ! !
m m
=
(asul 3. Repet
Determin prima apari$ie a operatorului HH &n !
M
<
fie *"z :. rangul acestui caracter &n !
M
<
*alculea *"z1==&(!)-*"z+1<
+crie subirul ob$inut din irul !, &ncep!nd cu caracterul situat pe
pozi$ia *"z1 de lungime ;<
Dac (s(>ir . !
1
!
2
) atunci &nlocuieste &n cuv!ntul ! subirul
men$ionat prin caracterul situat pe *"z1+1
altfel atribuie &(!)==2<
pn4cnd &(!)?@.
(asul 1. Dac (&(!)=0) i (r$s*(ns = da) atunci scrie HCuv!ntul ! nu este
4 formulN.
(asul 2. +top.
+rezentm &n continuare o alt variant de descompunere a unei 4formule de
tipul celei din teorema * &n m sub4formule.
+entru 4formula ! = *
1
.
1
*
2
.
2
... *
m
.
m
avem &(*
m
)?(.
m
).
Rezult c =
m m m m m
r s . r . ,
B
-,
B
m
. -
l(*
m
)
, s
m
-
F
.
188
4ac
m m
. . = :
B B
atunci ,
.
B B B
m m m m m m
s . r * . * =
@otm 4(m)==
B
m m m
. r *
471 i facem substitu$iile
m m m m
s r . *
i
.
"
B B
" m m m m
s r . *


1n aceste condi$ii avem
m m m m m m
s r . * . *
" "
B B
" "
=
cu &(
" m
*
)O
) (
B B
" m
. &
i
ra$ionamentul se repet.
Cu acestea, algoritmul poate fi concis e#primat astfel:
(asul 1. *ite5te c . *
1
.
1
*
2
.
2
... *
m
.
m
<
(asul .. *alculea
< : P < : P , :
B B B B
m
B B
m
B
m m m m m m m
. r . s . r . = = =
(asul 3. (entru j = m-1, m-2, ... , 2,1 calculea :

< ) P rezulta aici de ( P <
B
j
B B B
j " "
B B
j j j j j j j
s . r s r . . = =
+ +

.
B
j j
m
j
. r . =

(asul 1. Dac
B B B
"
B B
"
. . = ( sau, &n mod echivalent, s
1
. ) algoritmul se &ncheie.
67emplu, 2 = { a, , !, ... , )
,
A
,
z ) <
! = ;;;!;;;aa!;;;a!! <
m = @.
i *
i
.
i
r
i
.B
i
s
i
.
i
BB .
i
BBB 4(i)
@ ;;; a!! a! ! a! a! ;;;a!
2 ;;; aa! a a! ! aa!! aa! ;;;aa!
1 ;;; ! ! a!

!a! !a! ;;;!a!
$bservaie. Iformulele liniare constituie element unificator &n tratarea
grafurilor i digrafurilor.
4in e#aminarea cuvintelor P
i
( i = 1, 2, ... , m) rezult:
Teorema 18. Condi$ia necesar i suficient ca digraful definit de 4formula
!471 s con$in bucla este ca s e#iste i {1, ... , m} astfel ca
" 0F) / (
B B B
>
i i
r . &
.
189