You are on page 1of 61

rboles y Arborescencias

Matrices asociadas a una grfica

x1 x2 x3 x4 x 5

Ejemplo:

x1 0
x2 0

B x3 0

x4 0
x5 1
Fig.1

1
0

1
0

1
1

0
0

0
1

0
0

0
0
1

1
1

Matriz cuadrada B
Asociada a la fig.1:

Si se invierten las orientaciones de la grfica de la fig. 1 la matriz asociada es


la transpuesta de la matriz B.

En el ejemplo de la fig. 1 se tiene que la matriz asociada B


elevada al cubo es:

x1
1

2
3
B
2
1

x2

x3

x4

1
1

3
2

2
2

x5
x1

3
x2
5
x3
3
x4

2
x5
5

x1
1

2
3
B
2
1

2
Fig.1

x2

x3

x4

1
1

3
2

2
2

x5
x1

3
x2
5
x3
3
x4
2
x5
5

As, en el ejemplo de la fig.1 su matriz de incidencia a los


arcos esta dada por:

u1 u2 u3 u4 u5 u6 u7 u8 u9 u10 u11
1
1

S0

0
0
Fig.1

0 0

0 1 1
0 1 0

1 1 0
0
0

0
0

0 0 0
1 1 1

0 0 1 1 0 0 0 1
0 0 0 0 1 1 1 0

0 0 x1
0 0 x2
0 0 x 3

1 0 x 4
1 0 x5

1
1

R 0

0
0

0 0 0 1 1 0 0 0 0 0 x1
0 1 1 0 0 0 0 0 0 0 x 2
0 1 0 0 0 1 1 1 0 0 x 3

0 0 1 1 0 0 0 1 1 0 x 4
0 0 0 0 1 1 1 0 1 0 x5

u1 u2
1
1

S0

0
0

u4

u5

u6

u7

0 1
0 1

1
0

0
0

0
0

0
0

1 1
0 0

0 x1
0 0 0 0 0 x 2
1 1 1 0 0 x 3

0 0 1 1 0 x 4
1 1 0 1 0 x5

1
1

R 0

0
0

u3
0

0
0

0
1

u8
0

u9
0

u10

u11

0 0 0 1 1 0 0 0 0 0 x1
0 1 1 0 0 0 0 0 0 0 x 2
0 1 0 0 0 1 1 1 0 0 x 3

0 0 1 1 0 0 0 1 1 0 x 4
0 0 0 0 1 1 1 0 1 0 x5

RBOLES
Dada una grfica H que tiene por lo menos
dos vrtices, se dice que H es un rbol si verifica
una de las propiedades siguientes:
H es conexa y sin ciclos.
H no tiene ciclos y admite (n-1) aristas; n es el nmero de vrtices de H.

H es conexa y tiene (n-1) aristas.


H no tiene ciclos y agregando una arista que una a dos
vrtices no adyacentes de H, se origina un ciclo y solo uno.
H es conexa y suprimiendo una arista cualquiera deja de serlo.
Toda pareja de vrtices de H estn ligados por una cadena y una sola.

Ejemplo de un rbol

RBOL PARCIAL DE UNA GRFICA


Una grfica G=(X,A) admite una grfica que es un rbol si y
slo si G es conexa. A dicha grfica parcial se le llama rbol
parcial de G.
Para obtener un rbol parcial de una grfica conexa, se busca
una arista cuya supresin no desconecte a la grfica, si no
existe una arista de tal naturaleza la grfica es un rbol; si
existe se suprime y se busca otra arista por suprimir y as
sucesivamente.

Por ejemplo en la grfica siguiente se suprimen


sucesivamente las aristas 1, 2 y 3; las aristas
restantes forman un rbol parcial de G.
1

x2

x3

x4

El nmero de arboles parciales distintos de una grfica


G=(X,A) sin anillos, es igual a la determinante de una
matriz cuadrada B=(bij) tal que:

bij=

ITxiI si i=j
-1 si ij, ( xi , x j ) G

Por ejemplo la grfica anterior tiene 16 rboles parciales que


es el valor del menor 1 del elemento b11:

3
1 1

1 1
3

1 1

1 16
3

RBOL PARCIAL DE VALOR MNIMO (SOLLIN)


El algoritmo consta de tres pasos:
Se une un vrtice xi cualquiera a su vecino xj ms prximo
( (xi xj) es la arista que tiene asociado el menor valor entre
todas las aristas que tiene un extremo en xi). De esta manera
se forman subrboles (rboles de subgrficas de la grfica
dada) que no tienen vrtices comunes.
Los subrboles obtenidos en (a) se consideran como nuevos
vrtices y se repite el proceso descrito en el paso anterior.
Se repiten (a) y (b) hasta obtener un subrbol que sea parcial
de la grfica dada.

Como ejemplo se utilizar este algoritmo a la grfica G


de la figura:
x

10

5
6

5
5

6
8

Se elige arbitrariamente el vrtice x2, su vrtice ms prximo es x3 o x4,


tmese x3 para formar el subrbol parcial x2 x3.
Elijase otro vrtice distinto de x2 y x3, sea x5 cuyo vrtice ms prximo es x7.
Tmese otro vrtice distinto de x2, x3, x5 y x7 sea x1: su vrtice ms prximo es x4.
Se han formado los subrboles H1, H2 y H3 que se muestran a continuacin

H2

H1
9

x
H3
6

Bsquese ahora la arista ms corta que une a H1 con H2, un examen rpido
muestra que dicha arista es la x3 x7que vale 9. Se hace lo mismo con H1 y
H3: se encuentra que la arista ms corta que une H1 Y H3 es x 2 x 4que vale 4.
Consecuentemente H3 es el subrbol ms prximo a H1 por lo que se forma
el subrbol H4 que se muestra en la siguiente figura:

x
H4
6

H2

Finalmente se busca la arista de menor valor que


une a H2 con H4, esta arista es x4 x7 que vale 5;
se forma as el rbol H5 en la siguiente grfica que
es un rbol parcial de valor mnimo de la grfica.

x1

x2

x3

x4
5

x5

x6

x7

H5

ARBORESCENCIAS
TEOREMA DE BOTT Y
MAYBERRY

Definicin.- Una grfica finita G= (X,V) es


una arborescencia de raz x 1 2 X si se
verifica que:

= x 1 es el extremo final
Todo vrtice x i 6
de un solo arco.
x 1 no es extremo final de ningn arco.
G no contiene ningn circuito.

Ejemplo :

x1

x2

x6

x1 0

x3

x7

x1 1

x4

x8

x1 2

x5

x9

x1 3

x1 4

x1 5

Ejemplo 2:
ARBORESCENCIA
x8

x1 3

x4

x9

x1 4

x5

x1 0

x1 5

x3

x6

x1 1

x1 6

VRTICE

x7

x1 2

x1

ARCO

x2
x1

G(X,V)

De acuerdo a la definicin:
a)
Toda arborescencia es un rbol.
b) 8x 2 X ; existe un camino que va de x 1 a x i
i
x2
x1

CAMINO QUE VA
DE x A x
x5

x3

x1 0

Teorema de Bott y Mayberry.- Este


teorema es particularmente til para
calcular los determinantes que se
encuentran en las matrices econmicas
intersectoriales (matrices de Leontief).
Considrese una matriz cuadrada A de orden
(n-1) y designese con ai j ; i ; j = 2; 3; :::n
a
los elementos de esta matriz. Supngase
que A sea tal que:
ai j 0

ai j

Pn
i= 2

8i 6
=j

ai j : 8i

Frmese una nueva matriz B = ( bi j ) tal que:


0
2
0
0

B 0 a32
... ...

0 an 2

3
a23
0
...
an 3

... n
... a2 n

... a3n
... ...

...
0

En donde:
i = ai j +

Pn
i=2
i=j

ai j 0

j = 2; 3; :::; n

Se puede considerar a los elementos de la


matriz B como las capacidades de los
arcos de una red de transporte R=(X,A)
de fuente
.Los vrtices de R estn
x1
numerados como los renglones y las
columnas de B.

Sean H k las arborescencias de G que tienen


raz en x 1 y hgase:

C( H k) =

c( x i x j )

xi 2 H k
= xj
xi 6

En donde:

c( x i x j ) = bi j

Se demuestra que:
det( a) =

P
k

( H k)

En otras palabras , el valor del determinante


de la matriz A puede obtenerse:
1) Definir todas las arborescencias de raz x 1
de la red R.
2) Para cada arborescencia calcular el
producto de todas las capacidades
asociadas a sus arcos.
3) Sumar todos los productos obtenidos
segn el inciso anterior.

Ejemplo: si A est dada por:


4 2 1
3 5 2
1 0
7

A=

La matriz B ser:
0

0
B
0
B= @
0
0

0
0
3
1

3
2
0
0

4
1C
A
2
0

La red R asociada a B:
4

1
x1

x2

x4
3

1
2

x3

Las arborescencias H k de raz x 1 de R :


4

1
x1

x2

x4

x1

x4

x2

x4

x2

x1

x3

x3

x3

x1

x2

x4

x1

x2

x4

x2

x4

1
3

x3

x1

2
x3

2
x3

Y consecuentemente:
det( a) = 36 + 12 + 9 + 8 + 6 + 18 = 89

13.5. REDES DE COMUNICACIN


Esta aplicacin se encuentra frecuentemente en telecomunicacin.
Por ejemplo, considrese el siguiente problema: cul es la
longitud mnima de cable que se requiere para interconectar a n
ciudades?.
Constryase una grfica
de la forma que sigue:
1)
A cada una de las n ciudades se hace corresponder un vrtice

Constryase todas las aristas


con
asociando a cada una un valor
igual a la distancia en
Kilmetros que separa a las ciudades
y
.
La red de cables requerida debe ser conexa y, puesto que se desea
longitud mnima, no contendr ningn ciclo. Se observa que
para resolver el problema basta encontrar un rbol parcial de
valor mnimo de la grfica G.
2)

13.6. MODELO DE INTERDEPENDENCIA INDUSTRIAL (LEONTIEF)

Este modelo tiene por objeto determinar las relaciones de produccin


de las industrias de un sistema econmico dado a fin de tener
cantidades prefijadas de mercancas en los sectores finales de
consumo. Este modelo esta basado en las siguientes hiptesis:
1)

2)

3)

La produccin neta total de cada industria es igual al total de sus


productos consumidos por otras industrias ms la cantidad
requerida por los sectores finales de consumo.
Bajo condiciones de equilibrio esttico, el valor de los productos
de cada industria debe ser igual a la suma de los valores de los
productos y de los servicios absorbidos.
Las cantidades de los factores de produccin requeridos son
directamente proporcionales a las cantidades producidas.

Se utilizar la siguiente notacin:


xi = produccin neta de la i-sima industria
xik =produccin de la i-sima industria consumida por la
k-sima industria.
yi = produccin de la i-sima industria destinada a los sectores
finales de consumo.
pi= precio de xi
pik= precio de xik
qi= precio de yi
qik= factor de proporcionalidad mencionada en le tercera
hiptesis
Se puede escribir:

(13.6.1)

(13.6.2)
(13.6.3)

Las expresiones (13.6.1), (13.6.3), con i= 1,2,..,n ; son la formulacin


matemtica de la primera, segunda y tercera hiptesis respectivamente.
Al sustituir (13.6.3) en (13.6.1) se obtiene el siguiente sistema de ecuaciones:
(13.6.4)
que al resolver, aplicando la regla de Cramer, conduce a:
(13.6.5)
en donde
es el elemento (i ,k) de la matriz inversa
de la matriz A de
los coeficientes del sistema (13.6.4).
Obsrvese que se ha resuelto el problema de determinar la produccin neta
total de varias industrias en la hiptesis de que se conocen las demandas de
los sectores econmicos finales. El sistema de ecuaciones (13.6.2), que no
se utiliz en los clculos, introduce las relaciones requeridas entre precios y
cantidades producidas y consumidas bajo la hiptesis de que el sistema
estas en equilibrio esttico.

Se hace ver que:


a) El sistema (13.6.4) tiene una y solo una solucin si y solo si:

b) Si el sistema econmico bajo consideracin es conexo, esto


es, si no existen grupos especiales de industrias
independientes del resto del sistema, los valores obtenidos a
partir de (13.6.5) son positivos.

En lugar de demostrar las propiedades


anteriores, se expondrn algunas
aplicaciones interesantes de la teora
de graficas al anlisis de matrices de
Leontief.
Considrese una grafica cuyos vrtices
representen industrias individuales
mientras que los sectores econmicos
finales estn representados por un
solo vrtice (el consumidor). Los
vrtices estn conectados por arcos
cuya direccin determina el flujo de
moneda entre los dos vrtices
extremos.
De esta manera los arcos que tienen un
extremo en el vrtice correspondiente
a consumo son incidentes hacia el
exterior de dicho vrtice mientras
que, generalmente, dos industrias
estarn conectadas por dos arcos de
direcciones opuestas indicando que
cada una de ellas consume parte de
la produccin de la otra (en donde x1
representa al consumidor y x2, x3, y
x4 representan a las industrias).

Considrense todas la arborescencias con raz en el vrtice de consumo


y asciese cada arco con la intensidad de flujo de moneda
correspondiente. Se llamar valor de una arborescencia al producto
de los flujos relativos a sus arcos.
Se sabe que la suma de los valores de todas las arborescencias antes
mencionadas es igual al determinante asociado a la matriz A de
Leontief. Como el valor de cada arborescencia es positivo, se puede
afirmar que det(A) es positivo en el caso de que al menos exista
una arborescencia.
Adems es posible demostrar que si existe una arborescencia derivable
de una grafica correspondiente a N industrias, tambin existen
arborescencias relativas subgrficas de la grafica original; esto
significa que si el determinante de una matriz de Leontief es
positivo tambin son positivos todos sus menores principales.
Se ha establecido la condicin necesaria y suficiente, dada por
Georgescu- Roegen, para la existencia de equilibrio esttico y que
puede enunciarse como sigue:

Teorema de Georgescu- Roegen. La condicin necesaria y suficiente

para que la solucin del sistema lineal de Leontief corresponda a


una situacin de equilibrio esttico es que el determinante de la
matriz de los coeficientes y todos sus menores principales sean
mayores que cero.
La imposibilidad de obtener una arborescencia indica la presencia de
estructuras particulares dentro del sistema econmico; por ejemplo,
dicha imposibilidad podra deberse a que la economa bajo estudio
sea cerrada en todo o en parte, esto es cuando todas las
industrias, o parte de ellas, constituyen un grupo completamente
autosuficiente que no participa de cambios con el sector de
consumo (ver la fig. donde x1 es el sector final de consumo)

EL PROBLEMA DE
TRANSBORDO
Se trata de una generalizacin del
problema de Hitchcock, en la cual se
permite el abastecimiento de ciudades
intermedias.
Restriccin: Que la cantidad que llega
a una ciudad mas lo que ella produce
deber ser igual a lo que de ella sale
mas lo que se consume.

SOLUCION FACTIBLE BASICA


INICIAL

Paso 1.- Unir cada origen con otros


vrtices,
usando
nicamente
arcos
admisibles
que
salgan
del
origen
considerado, sin formar ciclos.
Paso 2.- Para las variables bsicas
negativas, hgase: Xij = -Xji, este arco
puede producir arcos inadmisibles.

Paso 3.- Si todos los arcos son


admisibles
el
rbol
obtenido
corresponde a una solucin factible.

Paso 4.- Si min W > 0 y aun se tiene


arcos inadmisibles, entonces se
invierte la direccin, hacindolos
admisibles.

Paso 5. Comience en un origen (Xij =


0) y haga las correspondientes Zij
kij iguales a cero. Hgase i = 0 y
obtngase las etiquetas i para todos
los nudos conectados a l teniendo
en cuenta que Zij = j i
Reptase el proceso hasta que todos
los nudos estn etiquetados.

Paso 6. Calculese las Zij kij para


todos los arcos. Si todos son menores
o iguales que cero la solucin es
ptima, en caso contrario seleccione
la mayor Zij kij > 0 determinando
as el arco u* que ser empleado en
la siguiente solucin.
Paso 7. Al adicionar u* se formar un
ciclo al cual pertenece un camino
que no contiene a u* Hgase:
= mn (xij (xi, xj) , (xi xj )

Paso 8. Smese 0 a los arcos (xi xj)


que pertenece a pero no estn
contenidos en y rstese 0 a los
arcos (xi xj) que integra al camino
De esta manera se obtiene otra
solucin que mejora a la solucin
factible bsica inicial.
Paso
9. Reptase los pasos 5 y
siguientes hasta llegar a la solucin
ptima.

EJEMPLO

Se tiene 8 ciudades conectados por carreteras, tal


como se muestra en la grafica, se desea satisfacer
la demanda a costo mnimo en la ciudad X1 se
produce 8 unidades de un artculo y en la X7 5. Se
deben satisfacer las demandas en las ciudades
X2, X5 y X6 las cuales son respectivamente 3, 3 y
7, en la figura se muestran los costos de
transporte Kij entre las ciudades Xi y Xj, se
supone que Kij = Kji y que es posible circular en
ambas direcciones.

Paso1. Primero se unen los orgenes x1 y x7 con otros vrtices segn se


muestra en la fig. 13.15. El vrtice x4 no se ha unido a x1 a x7 porque se
formaran ciclos y ello no esta permitido.

En x1 se dispone de 8 unidades, por lo que pueden enviarse las 3 que necesita


x2. las 3 que necesita x5 y conjuntamente con x7 que produce 5 unidades,
enviar 7 unidades al consumidor x6.

Paso 2. Con referencia a la fig. 13.16 se har x57

= x75 = 2.
Como se permite el flujo en ambas direcciones el
arco (x5, x7) es admisible
Paso 3. Como todos los arcos son admisibles el
rbol obtenido corresponde a una solucin
factible bsica.
Paso 4. No se aplica este paso debido a que ya se
tiene una solucin factible

Paso 5. j = i + kij

Paso 6. Zij kij = j - i - kij = 0

Como el flujo en cada arco se permite en ambos sentidos tambin


deben calcularse las diferencias que se muestran en la fig. 13.20.
La mayor Zij kij > 0 es Z56 C56 = 13 por lo que en la siguiente
solucin deber adicionarse el arco (x5, x6)

Paso 7 Consecuentemente se tendr:


= mn (x57, x78, x86) = mn (2, 7, 7) = 2

Paso 8.

Se sumar = 2 al arco (x5,


x6) mientras que se restar a los
arcos (x5, x7), (x7, x8) y (x8, x6).
De esta manera se obtiene:
X56 = 0 +2 = 2
X57 = 2 2 = 0
X78 = 7 2 = 5. X86 = 7 2 = 5

Paso 9. Con esta nueva solucin se procede a


etiquetar los vrtices. Los resultados se muestran
en la fig. 13.22

Solucin optima.