ARBOLES Y ARBORESCENCIAS

Matrices asociadas a una grfica.-

Sea G=(x, A) una grafica de vrtices x
1
, x
2
, x
3
,.x
n
; desgnese
con
i!
a" n#$ero de arcos de G %ue va de xi a x!.
Se ""a$a $atri& asociada a "a grafica G, a una $atri& cuadrada ' cu(os
e"e$entos son "as
i!
Si se invierten "as orientaciones de "a gr)fica de "a fig. 1 "a $atri& asociada es
"a trans*uesta de "a $atri& '.
TEOREMA 1. Sea una grafica G= (x, A) ( '=(
i!
) su $atri& asociada
entonces+
a) ,a $atri& ' es si$etrica (
i!
=
!i
) si ( so"o si "a grafica G es si$etrica.
) ' es antisi$etrica (
i!
-
!i
.1) si ( so"o si "a grfica G es antisi$etrica.
c) ' es co$*"eta (
i!
-
!i
=1) si ( so"o si G es co$*"eta.
TEOREMA . Sean "as graficas G1=(x, A) ( G2=(x, A) %ue tienen e" $is$o
con!unto de vrtices ( sean A=(a
i!
) ( '=(
i!
) sus $atrices asociadas
res*ectivas; se tiene+

=
1 / 1 / 1
1 / / / /
1 1 / / /
/ 1 1 1 /
/ 1 / 1 /
0
1
3
2
1
x
x
x
x
x
B
0
1 3 2 1
x x x x x
a) A-' es "a $atri& asociada a una grafica G=(x, A) ta" %ue A=A
1
2A
2
.
) A' corres*onde a una grafica G
1
definida co$o sigue+ 3 es e" con!unto
de vrtices de G; e" nu$ero de arcos %ue van de x
i
a x
!
es igua" a"
nu$ero de ca$inos distintos %ue van de x
i
a x
!
( %ue consiste de un arco
A
1
seguido *or un arco de A
2.
0
1
3
2
1
0 1 3 2 1
3
0 3 3 2 2
2 2 1 1 1
3 2 2 1 2
0 2 3 1 2
3 2 2 1 1
x
x
x
x
x
x x x x x
B

=
As, en e" e!e$*"o de "a fig.1 su $atri& de incidencia a "os arcos est) dada *or+
0
1
3
2
1
/ 1 / 1 1 1 / / / / /
/ 1 1 / / / 1 1 / / /
/ / 1 1 1 / / / 1 / /
/ / / / / / / 1 1 / 1
/ / / / / 1 1 / / / 1
x
x
x
x
x
S

=
11 1/ 4 5 6 7 0 1 3 2 1
u u u u u u u u u u u
0
1
3
2
1
/ 1 / 1 1 1 / / / / /
/ 1 1 / / / 1 1 / / /
/ / 1 1 1 / / / 1 / /
/ / / / / / / 1 1 / 1
/ / / / / 1 1 / / / 1
x
x
x
x
x
R

=
0
1
3
2
1
/ 1 / 1 1 1 / / / / /
/ 1 1 / / / 1 1 / / /
/ / 1 1 1 / / / 1 / /
/ / / / / / / 1 1 / 1
/ / / / / 1 1 / / / 1
x
x
x
x
x
R

=
0
1
3
2
1
/ 1 / 1 1 1 / / / / /
/ 1 1 / / / 1 1 / / /
/ / 1 1 1 / / / 1 / /
/ / / / / / / 1 1 / 1
/ / / / / 1 1 / / / 1
x
x
x
x
x
S

=
11 1/ 4 5 6 7 0 1 3 2 1
u u u u u u u u u u u
!RBOLES.-
8ada una gr)fica 9 %ue tiene *or "o $enos dos vrtices, se dice %ue 9 es
un )ro" si verifica una de "as *ro*iedades siguientes+
: 9 es conexa ( sin cic"os.
: 9 no tiene cic"os ( ad$ite (n;1) aristas; n es e" n#$ero de vrtices de 9.
: 9 es conexa ( tiene (n;1) aristas.
: 9 no tiene cic"os ( agregando una arista %ue una a dos
<rtices no ad(acentes de 9, se origina un cic"o ( so"o uno.
: 9 es conexa ( su*ri$iendo una arista cua"%uiera de!a de ser"o.
: =oda *are!a de vrtices de 9 est)n "igados *or una cadena ( una so"a.
1
x
2
x
3
x
4
1
2
3
!RBOL "ARCIAL #E $NA %R!&ICA.-
2na gr)fica G=(3,A) ad$ite una gr)fica %ue es un )ro" si ( s>"o si G es
conexa. A dic?a gr)fica *arcia" se "e ""a$a )ro" *arcia" de G.
@ara otener un )ro" *arcia" de una gr)fica conexa, se usca una arista cu(a
su*resi>n no AdesconecteB a "a gr)fica, si no existe una arista de ta"
natura"e&a "a gr)fica es un )ro"; si existe se su*ri$e ( se usca otra arista
*or su*ri$ir ( as sucesiva$ente.
@or e!e$*"o en "a gr)fica siguiente se su*ri$en sucesiva$ente "as aristas 1, 2
( 3; "as aristas restantes for$an un )ro" *arcia" de G.

C" n#$ero de aro"es *arcia"es distintos de una gr)fica G=(3,A) sin ani""os, es
igua" a "a deter$inante de una $atri& cuadrada '=(
i!
) ta" %ue+
@or e!e$*"o "a gr)fica anterior tiene 17 )ro"es *arcia"es %ue es e" va"or de"
$enor D
1
de" e"e$ento
11
+
!RBOL "ARCIAL #E 'ALOR M(NIMO )SOLLIN*.-
C" a"gorit$o consta de tres *asos+
: Se une un vrtice xi cua"%uiera a su vecino x! A$)s *r>xi$oB ( (xi x!)
es "a arista %ue tiene asociado e" $enor va"or entre todas "as aristas
%ue tiene un extre$o en xi). 8e esta $anera se for$an su)ro"es
()ro"es de sugr)ficas de "a gr)ficadada) %ue no tienen vrtices
co$unes.
: ,os su)ro"es otenidos en (a) se consideran co$o nuevos vrtices (
se re*ite e" *roceso descrito en e" *aso anterior.
17
3 1 1
1 3 1
1 1 3
1
=



=
x2
4
4
3
H1
H2
H3
x3
x5
x7
x1
x4
x6
: Se re*iten (a) ( () ?asta otener un su)ro" %ue sea *arcia" de "a
gr)fica dada.
Eo$o e!e$*"o se uti"i&ar) este a"gorit$o a "a gr)fica G de "a figura+
Se e"ige aritraria$ente e" vrtice x
2
, su vrtice $)s *r>xi$o es x
3
o x
1
,
t>$ese x
3
*ara for$ar e" su)ro" *arcia" x
2
x
3
.
C"i!ase otro vrtice distinto de x
2
( x
3
, sea x
0
cu(o vrtice $)s *r>xi$o es x
6
.
=>$ese otro vrtice distinto de x
2
, x
3
, x
0
( x
6
sea x
1
+ su vrtice $)s *r>xi$o es
x
1
.
Se ?an for$ado "os su)ro"es 9
1
, 9
2
( 9
3
%ue se $uestran a continuaci>n
4
4
4
3
5
x1
x2
x3
x4
x6
x5
x7
H4
H2
4
4
4
3
5
5
x3
x2
x4
x1
x5
x6
x7
H5
'#s%uese a?ora "a arista $)s corta %ue une a 9
1
con 9
2
, un exa$en r)*ido
$uestra %ue dic?a arista es "a %ue va"e 4. Se ?ace "o $is$o con 9
1
(
9
3
+ se encuentra %ue "a arista $)s corta %ue une 9
1
F 9
3
es %ue va"e 1.
Eonsecuente$ente 9
3
es e" su)ro" $)s *r>xi$o a 9
1
*or "o %ue se for$a
e" su)ro" 9
1
%ue se $uestra en "a siguiente figura+
Gina"$ente se usca "a arista de $enor va"or %ue une a 9
2
con 9
1
, esta
arista es %ue va"e 0; se for$a as e" )ro" 9
0
en "a siguiente gr)fica %ue es un
)ro" *arcia" de va"or $ni$o de "a gr)fica.
ARBORESCENCIAS+ TEOREMA #E BOTT Y MAYBERRY.-
#efinici,n.; 2na gr)fica finita G= (3,<) es una arorescencia de ra& x1 3
si se verifica %ue+
=odo vrtice xi = x1 es e" extre$o fina" de un so"o arco.
x1 no es extre$o fina" de ning#n arco.
G no contiene ning#n circuito.
C!e$*"o +
x1
x2 x6 x10
x3 x7 x11
x4 x8 x12
x5 x9 x13 x15
x14
x1
x2
x4
x8 x13
x14 x9
x5 x10 x15
x16 x11 x6 x3
x7 x12 x1
ARCO
VRTICE
G(X,V)
ARBORESCENCIA
8x
i
2 X;
8e acuerdo a "a definici>n+
a) =oda arorescencia es un )ro".
) existe un ca$ino %ue va de
x
1
a x
i
Teore-a de Bott . Ma./err..- Cste teore$a es *articu"ar$ente #ti" *ara
ca"cu"ar "os deter$inantes %ue se encuentran en "as $atrices econ>$icas
intersectoria"es ($atrices de ,eontief).
Eonsidrese una $atri& cuadrada A de orden (n;1) ( designese con
n j i a
ij
,...... 3 , 2 , , =
a "os e"e$entos de esta $atri&. Su*>ngase %ue A sea ta" %ue+


x1
x2
x5
x3
x10
CAINO "#E VA
$E x A x
/
ij
a j
i

=

n
i
ij ij
j a a
2
+
j i=
Se *uede considerar a "os e"e$entos de "a $atri& B co$o "as ca*acidades de
"os arcos de una red de trans*orte R=(X,A) de fuente x
1
.,os vrtices de R
est)n nu$erados co$o "os reng"ones ( "as co"u$nas de B.
Sean 9
H
"as arorescencias de G %ue tienen ra& en x
1
( ?)gase+
Cn otras *a"aras , e" va"or de" deter$inante de "a $atri& A *uede otenerse+
1) 8efinir todas "as arorescencias de ra& x
1
de "a red I.
) (
ij
b B =
/
2
+ =

=
n
i
ij ij j
a a
2) @ara cada arorescencia ca"cu"ar e" *roducto de todas "as ca*acidades
asociadas a sus arcos.
3) Su$ar todos "os *roductos otenidos seg#n e" inciso anterior.
F consecuente$ente+
%&'(a) (36)12)9)8)6)18(89
RE#ES #E COM$NICACI0N.-
MO#ELO #E INTER#E"EN#ENCIA IN#$STRIAL )LEONTIE&*.-
Cste $ode"o tiene *or o!eto deter$inar "as re"aciones de *roducci>n de "as
industrias de un siste$a econ>$ico dado a fin de tener cantidades *refi!adas
de $ercancas en "os sectores fina"es de consu$o. Cste $ode"o esta asado en
"as siguientes ?i*>tesis+
1) ,a *roducci>n neta tota" de cada industria es igua" a" tota" de sus
*roductos consu$idos *or otras industrias $)s "a cantidad re%uerida *or
"os sectores fina"es de consu$o.
2) 'a!o condiciones de e%ui"irio est)tico, e" va"or de "os *roductos de
cada industria dee ser igua" a "a su$a de "os va"ores de "os *roductos (
de "os servicios asoridos.
3) ,as cantidades de "os factores de *roducci>n re%ueridos son
directa$ente *ro*orciona"es a "as cantidades *roducidas.
Eonsidrense todas "a arorescencias con ra& en e" vrtice de consu$o (
as>ciese cada arco con "a intensidad de f"u!o de $oneda corres*ondiente. Se
""a$ar) va"or de una arorescencia a" *roducto de "os f"u!os re"ativos a sus
arcos.
Se sae %ue "a su$a de "os va"ores de todas "as arorescencias antes
$encionadas es igua" a" deter$inante asociado a "a $atri& A de ,eontief.
Eo$o e" va"or de cada arorescencia es *ositivo, se *uede afir$ar %ue det(A)
es *ositivo en e" caso de %ue a" $enos exista una arorescencia.
Ade$)s es *osi"e de$ostrar %ue si existe una arorescencia deriva"e de una
grafica corres*ondiente a J industrias, ta$in existen arorescencias
re"ativas sugr)ficas de "a grafica origina"; esto significa %ue si e"
deter$inante de una $atri& de ,eontief es *ositivo ta$in son *ositivos
todos sus $enores *rinci*a"es.
Se ?a esta"ecido "a condici>n necesaria ( suficiente, dada *or Georgescu;
Ioegen, *ara "a existencia de e%ui"irio est)tico ( %ue *uede enunciarse co$o
sigue+