Alberto Daz Carbajal

Unidad 6
Teora de Grafos
La Teora de Grafos nace con la publicacin de un artculo de Euler sobre los
puentes de la ciudad de Knigsberg, el ro que la rodea se divide en dos brazos.
Sobre los brazos estaban construidos siete puentes y para los habitantes era
motivo de distraccin descubrir un itinerario de manera que pudieran regresar al
punto de partida, despus de haber cruzado por los siete puentes pero pasando
slo una vez por cada uno de ellos. Leonardo Euler estudi el asunto, represent
las distintas zonas A, B, C y D por medio de puntos, mientras que los puentes
estaban representados por lneas que unan estos puntos. A la figura la llam
grafo, a los puntos los llam vrtices y a las lneas las denomin aristas.
Lo que anteriormente slo unos cuantos estudiosos desarrollaban por especial y
particular inters. Sin embargo con el auge de las computadoras, los grafos han
venido a ser una idea central en el desarrollo de estructuras para describir
situaciones, guardar informacin, plantear problemas y establecer algoritmos.

Alberto Daz Carbajal

6.1 Elementos y caractersticas de los

grafos
Un grafo, G, es un par ordenado de V y A, donde V es el conjunto de vrtices o
nodos del grafo y A es un conjunto de pares de vrtices, a estos tambin se les
llama arcos o ejes del grafo. Un vrtice puede tener 0 o ms aristas, pero toda
arista debe unir exactamente a dos vrtices. Los grafos representan conjuntos de
objetos que no tienen restriccin de relacin entre ellos. Un grafo puede
representar varias cosas de la realidad cotidiana, tales como mapas de carreteras,
vas frreas, circuitos elctricos, etc.
La notacin G = A (V, A) se utiliza comnmente para identificar un grafo.

V consta de los vrtices A, B, C, D.

E consta de las aristas e1= {A, B}, e2= {B, C}, e3= {C, D}, e4= {A, C}, e5= {B, D}.

Fuente
Seymour Lipschutz, Marc Lipson. Matemticas discretas. Tercera edicin. Editorial McGraw Hill
(2009)

Alberto Daz Carbajal

6.1.1 Componentes de un grafo (vrtices,

aristas, lazos, valencia)
Aristas
Son las lneas con las que se unen las aristas de un grafo y con la que se
construyen tambin caminos. Si la arista carece de direccin se denota
indistintamente {a, b} o {b, a}, siendo a y b los vrtices que une. Si {a, b} es una
arista, a los vrtices a y b se les llama sus extremos. Aristas
Son las lneas con las que se unen las aristas de un grafo y con la que se
construyen tambin caminos.
Si la arista carece de direccin se denota indistintamente {a, b} o {b, a}, siendo a y
b los vrtices que une.
Si {a, b} es una arista, a los vrtices a y b se les llama sus extremos.

Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen

en el mismo vrtice.
Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el
final son el mismo.
Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo.
Cruce: Son dos aristas que cruzan en un punto.

Vrtices
Son los puntos o nodos con los que est conformado un grafo. Llamaremos grado
de un vrtice al nmero de aristas de las que es extremo. Se dice que un vrtice
es `par' o `impar' segn lo sea su grado.

Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si

tenemos un arista que los une, entonces U y V son vrtices adyacentes y
se dice que U es el vrtice inicial y V el vrtice adyacente.
Vrtice Aislado: Es un vrtice de grado cero.
Vrtice Terminal: Es un vrtice de grado 1.

Lazo
Es una arista cuyos extremos inciden sobre el mismo vrtice.

Alberto Daz Carbajal

Valencia de un vrtice
Es el nmero de lados que salen o entran a un vrtice. En el grafo siguiente las
Valencias de los vrtices son

Fuente
scribd (2015) . Unidad 6 URL http://es.scribd.com/doc/106576775/UNIDAD-VIMatematicas-Discretas#scribd

Alberto Daz Carbajal

6.1.2 Tipos de grafos (Simples, completos,

bipartidos, planos, conexos, ponderados)
Grafos Simples
Un grafo es simple si a lo ms slo 1 arista une dos vrtices cualesquiera. Esto es
equivalente a decir que una arista cualquiera es el nico que une dos vrtices
especficos.

Grafos Conexos
Un grafo es conexo si todos sus vrtices estn conectados por un camino; es
decir, si para cualquier par de vrtices (a, b), existe al menos un camino posible
desde a hacia b. Es posible determinar si un grafo es fuertemente conexo
coleccionando la informacin de los grados de sus vrtices al tiempo que se
acumulan las diferentes rutas que salen de un vrtice o llegan a l.

Grafo completo
Un grafo simple es completo si existen aristas uniendo todos los pares posibles de
vrtices. Es decir, todo par de vrtices (a, b) debe tener una arista que los une. El
conjunto de los grafos completos es denominado usualmente K, siendo el grafo
completo de n vrtices. Un Kn, es decir, grafo completo de n vrtices tiene
exactamente n(n-1)/2 aristas.

Grafos Bipartitos
Un grafo G es bipartito si puede expresarse como G = {V1 + V2, A} (es decir, la
unin de dos grupos de vrtices), bajo las siguientes condiciones:
V1 y V2 son distintos y tienen ms de un elemento cada uno.
Una arista en A une un vrtice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V1; anlogamente para V2

Alberto Daz Carbajal

Grafo plano
Un grafo G es plano si admite una representacin en el plano de tal forma que las
aristas no se cortan, salvo en sus extremos. A dicha representacin se le
denomina grafo plano. En teora de grafos, un grafo plano (o planar segn
referencias) es un grafo que puede ser dibujado en el plano sin que ninguna arista
se cruce (una definicin ms formal puede ser que este grafo pueda ser
"incrustado" en un plano).

Grafos ponderados
Un grafo G es un grafo etiquetado si sus aristas y/o vrtices tienen asignado
alguna identificacin. En particular, G es un grafo ponderado si a cada arista e de
G se le asigna un nmero no negativo w (e) denominado peso o longitud de e. El
peso (o longitud de un camino en un grafo ponderado G se define como la suma
de los pesos de las aristas del camino.

Fuente
matesdiscretasisc.blogspot (2015) Tipos de grafos URL
http://matesdiscretasisc.blogspot.mx/2014/12/612-tipos-de-grafos-simplescompletos.html
Teora de grafos(2015) URL
http://campus.cva.itesm.mx/nazira/Tc1003/PDF/TODO/0701_Tc1003_TODO_Grafo
s.pdf

Alberto Daz Carbajal

6.2 Representacin de los grafos

Existen tres maneras bsicas de representar los grafos: mediante
matrices, mediante listas y mediante matrices dispersas. Cada
representacin tiene unas ciertas ventajas e inconvenientes respecto
de las dems.
Existen diferentes formas de representar un grafo, adems de la
geomtrica y muchos mtodos para almacenarlos en una
computadora. La estructura de datos usada depende de las
caractersticas del grafo y el algoritmo usado para manipularlo. Entre
las estructuras ms sencillas y usadas se encuentran las listas y las
matrices, aunque frecuentemente se usa una combinacin de ambas.
Las listas son preferidas en grafos dispersos porque tienen un
eficiente uso de la memoria. Por otro lado, las matrices proveen
acceso rpido, pero pueden consumir grandes cantidades de
memoria.
Fuentes
web2.sistemas.edu.bo 2015) Grafos URL
http://www.sistemas.edu.bo/jbermudez/sis2204a/TEXTOOPC/GRAFOS.doc

Alberto Daz Carbajal

6.2.1 Matemtica
Hay tres maneras de representar un grafo en un programa: mediante matrices,
mediante listas y mediante matrices dispersas.
Representacin mediante matrices
La forma ms fcil de guardar la informacin de los nodos es mediante la
utilizacin de un vector que indexe los nodos, de manera que los arcos entre los
nodos se pueden ver como relaciones entre los ndices. Esta relacin entre ndices
se puede guardar en una matriz, que llamaremos de adyacencia.
Representacin mediante listas
En las listas de adyacencia lo que haremos ser guardar por cada nodo, adems
de la informacin que pueda contener el propio nodo, una lista dinmica con los
nodos a los que se puede acceder desde l. La informacin de los nodos se puede
guardar en un vector, al igual que antes, o en otra lista dinmica.

Estructura de lista
Lista de incidencia - Las aristas son representadas con un vector de pares, donde
cada par representa una de las aristas.5
Lista de adyacencia - Cada vrtice tiene una lista de vrtices los cuales son
adyacentes a l. Esto causa redundancia en un grafo no dirigido (ya que A existe
en la lista de adyacencia de B y viceversa), pero las bsquedas son ms rpidas,
al costo de almacenamiento extra.
Lista de grados - Tambin llamada secuencia de grados o sucesin grfica de un
grafo no-dirigido es una secuencia de nmeros, que corresponde a los grados de
los vrtices del grafo.

Fuente
equipo1mditq.blogspot(2014) Matemtica URL
http://equipo1mditq.blogspot.mx/2014/11/621-matematica.html

Alberto Daz Carbajal

6.2.2. Computacional
Representacin secuencial de un grafo
Considere el grafo siguiente G:

Y suponga que los nodos se mantienen en memoria en un array DATOS tal

como sigue
DATOS: X, Y, Z, WPara hallar la matriz de adyacencia A del grafo G, tenemos
que tomar en cuenta que los nodos estn normalmente ordenados de acuerdo
con la forma en que aparecen en memoria; o sea, asumimos que V1 = X, V2 =
Y, V3 = Z, y V4 = W, la matriz de adyacencia A de G seria la siguiente:

Representacin enlazada de un grafo:

Un grafo G se guarda en memoria como sigue:
NODO A B
SIG
ADY

D C

7 4 0 6 80 2
1

3
9

1 2 3 4 5 6 78

Alberto Daz Carbajal

Para dibujar el respectivo grafo G, primero debemos buscar todos los vecinos
de cada NODO [K] recorriendo su lista de adyacencia que tiene el puntero de
adyacencia ADY [J]. Esto da como resultado:
A: 2(B) y 6(D) B: 6(D), 4(E) y 7(C) C: 4(E) D: 4(E) E: 6(D)

Fuentes
Matemticas para computadoras(2013) URL
http://moodle2.unid.edu.mx/dts_cursos_mdl/lic/TI/MC/AM/10/Computacional.pdf

Alberto Daz Carbajal

6.3 Algoritmos de recorrido y bsqueda

Al visitar los nodos de un rbol existen algunas maneras tiles en las que se
pueden ordenar sistemticamente los nodos de un rbol.
Los ordenamientos ms importantes son llamados: preorden, post-orden y enorden y se definen recursivamente como sigue:
Si un rbol T es nulo, entonces, la lista vaca es el listado preorden, post-orden y
en-orden del rbol T.
Si T consiste de un slo nodo n, entonces, n es el listado preorden, post-orden y
en-orden del rbol T.
Los algoritmos de recorrido de un rbol binario presentan tres tipos de actividades
comunes:
visitar el nodo raz
recorrer el subrbol izquierdo
recorrer el subrbol derecho
Estas tres acciones llevadas a cabo en distinto orden proporcionan los distintos
recorridos del rbol.
Recorrido en PRE-ORDEN:
Visitar la raz
Recorrer el subrbol izquierdo en pre-orden
Recorrer el subrbol derecho en pre-orden

Fuentes
equipo1mditq.blogspot(2014) Algoritmo de recorrido y busqueda URL
http://equipo1mditq.blogspot.mx/2014/11/63-algoritmos-de-recorrido-y-busqueda

Alberto Daz Carbajal

6.3.1 El camino ms corto

El problema es tambin conocido como el problema de los caminos ms cortos
entre dos nodos, para diferenciarlo de la siguiente generalizacin:
El problema de los caminos ms cortos desde un origen en el cual tenemos que
encontrar los caminos ms cortos de un vrtice origen v a todos los dems
vrtices del grafo. (Algoritmo Floyd-Warshall)
Floyd-Warshall
El algoritmo de Floyd-Warshall compara todos los posibles caminos a travs del
grafo entre cada par de vrtices. El algoritmo es capaz de hacer esto con slo V3
comparaciones (esto es notable considerando que puede haber hasta V2 aristas
en el grafo, y que cada combinacin de aristas se prueba). Lo hace mejorando
paulatinamente una estimacin del camino ms corto entre dos vrtices, hasta que
se sabe que la estimacin es ptima.

El problema de los caminos ms cortos con un destino en el cual tenemos que

encontrar los caminos ms cortos desde todos los vrtices del grafo a un nico
vrtice destino, esto puede ser reducido al problema anterior invirtiendo el orden.
El problema de los caminos ms cortos entre todos los pares de vrtices, el cual
tenemos que encontrar los caminos ms cortos entre cada par de vrtices (v, v')
en el grafo. (Algoritmo Dijkstra)
Algoritmo Dijkstra
La idea subyacente en este algoritmo consiste en ir explorando todos los caminos
ms cortos que parten del vrtice origen y que llevan a todos los dems vrtices;
cuando se obtiene el camino ms corto desde el vrtice origen, al resto de vrtices
que componen el grafo, el algoritmo se detiene. El algoritmo es una
especializacin de la bsqueda de costo uniforme, y como tal, no funciona en
grafos con aristas de costo negativo (al elegir siempre el nodo con distancia
menor, pueden quedar excluidos de la bsqueda nodos que en prximas
interacciones bajaran el costo general del camino al pasar por una arista con
costo negativo).

equipo1mditq.blogspot(2014) El comino mas corto URL

http://equipo1mditq.blogspot.mx/2014/11/631-el-camino-mas-corto.html

Alberto Daz Carbajal

6.3.2. A lo ancho
El problema de los caminos ms cortos es el problema que consiste en encontrar
un camino entre dos vrtices (o nodos) de tal manera que la suma de los pesos de
las aristas que lo constituyen es mnima. Ahora bien, podemos emplear el
algoritmo de Dijkstra para estos casos, los pasos o procedimientos a seguir para
ste algoritmo son los siguientes: Teniendo un grafo dirigido ponderado de N
nodos no aislados, sea x el nodo inicial, un vector D de tamao N guardar al final
del algoritmo las distancias desde x al resto de los nodos.

1. Inicializar todas las distancias en D con un valor infinito relativo ya que son
desconocidas al principio, exceptuando la de x que se debe colocar en 0 debido a
que la distancia de x a x sera 0.
2. Sea a = x (tomamos a como nodo actual).
3. Recorremos todos los nodos adyacentes de a, excepto los nodos marcados,
llamaremos a estos vi
4. Si la distancia desde x hasta va guardada en D es mayor que la distancia desde
x hasta a, sumada a la distancia desde a hasta vi; esta se sustituye con la
segunda nombrada.
5. Marcamos como completo el nodo a.

6. Tomamos como prximo nodo actual el de menor valor en D (puede hacerse

almacenndolos valores en una cola de prioridad) y volvemos al paso 3 mientras
existan nodos no marcados.

Fuentes
relacionesgrafos.blogspot(2014) A lo ancho URL
http://relacionesgrafos.blogspot.mx/2014/11/632-lo-ancho.html

Alberto Daz Carbajal

6.3.3 En profundidad
La idea general detrs de una bsqueda en profundidad que empieza en un
vrtice inicial A es la siguiente: primero se procesa el vrtice inicial A. Luego se
procesa cada vrtice N a lo largo de un camino P que empieza en A; es decir, se
procesa un vecino de A, luego un vecino de A y as sucesivamente. Despus de
llegar a un punto muerto; es decir, a un vrtice sin vecino no procesado, se
retrocede en el camino P hasta que es posible continuar a lo largo de otro camino
P. Y as en lo sucesivo. El retroceso se logra usando una STACK para mantener
los vrtices iniciales de posibles caminos futuros. Tambin se requiere un campo
STATUS que indique el estado actual de cualquier vrtice, de modo que ningn
vrtice sea procesado ms de una vez.
Este algoritmo ejecuta una bsqueda en profundidad sobre un grafo
G; la bsqueda empieza con un vrtice inicial A.
Paso 1. Todos los vrtices se inicializan en el estado ready (STATUS = 1).
Paso 2. El vrtice inicial se introduce sobre STACK y se cambia el estado
de A al estado waiting (STATUS = 2).
Paso 3. Se repiten los pasos 4 y 5 hasta que STACK est vaca.
Paso 4. Se saca el vrtice superior N de STACK. Se procesa N y se hace
STATUS (N) = 3, el estado processed.
Paso 5. Se analiza cada vecino J de N.
a) Si STATUS (J) = 1 (estado ready), J se introduce en STACK y se
restablece STATUS (J) = 2 (estado waiting).
b) Si STATUS (J) = 2 (estado waiting), el J previo se elimina de STACK y
el J actual se introduce en STACK.
c) Si STATUS (J) = 3 (estado processed), se ignora el vrtice J.
[Fin del ciclo del paso 3].
Paso 6. Salir.

Fuentes
Seymour Lipschutz, Marc Lipson. Matemticas discretas. Tercera edicin.
Edi.McGraw Hill (2009)

Alberto Daz Carbajal

6.4 Arboles
Los rboles forman una de las subclases de grficas que ms se utilizan.
La ciencia de la computacin hace uso de los rboles ampliamente,
especialmente para organizar y relacionar datos en una base de datos. Los
rboles surgen en problemas tericos como el tiempo ptimo para ordenar.
Formalmente se define un rbol de tipo T como una estructura homognea
que es la concatenacin de un elemento de tipo T junto con un nmero
finito de rboles disjuntos, llamados subrboles.
Una forma particular de rbol puede ser la estructura vaca. Un rbol es un
grafo simple en el cual existe un nico camino entre cada par de vrtices.
Los rboles pueden ser construidos con estructuras estticas y dinmicas.
Las estticas son arreglos, registros y conjuntos, mientras que las
dinmicas estn representadas por listas. Sea G = (V, A) un grafo no
dirigido. G se denomina ARBOL, si es conexo y no contiene ciclos.

Fuentes
matesdiscretasisc.blogspot (2014) Arboles URL
http://matesdiscretasisc.blogspot.mx/2014/12/64-arboles.html

Alberto Daz Carbajal

6.4.1 Componentes (raz, hoja, padre,

hijo, descendientes, ancestros)
Un rbol es una estructura que est compuesta por un dato y varios rboles. Dado un
nodo cualquiera de la estructura, podemos considerarlo como una estructura
independiente, es decir un nodo cualquiera puede ser considerado como la raz de una
rbol completo. En relacin con otros nodos:
Raz: Es el nico nodo del rbol que no tiene padre. Este es el nodo que usaremos para
referirnos al rbol.
Hoja: Nodo que no tiene hijos. Se llama hoja o terminal a aquellos nodos que no tienen
ramificaciones (hijos).
Nodo Padre: Nodo que contiene un puntero al nodo actual. En un rbol un nodo solo
puede tener un nodo padre... X es padre de Y s y solo s el nodo X apunta a Y, tambin
se dice que X es antecesor de Y.
Nodo Hijo: Cualquiera de lo nodo apuntado por uno del nodo del rbol. Un nodo puede
tener varios hijos. X es hijo de Y, s y solo s el nodo X es apuntado por Y. Tambin se dice
que X es descendiente directo de Y.
Nodo Interior: Es un nodo que no es raz ni hoja.
Orden: Es el nmero potencial de hijos que puede tener cada elemento de rbol. De este
modo, diremos que un rbol en el que cada nodo puede apuntar a otros dos es de orden
dos, si puede apuntar a tres ser de orden tres, etc. Podramos decir que nuestro rbol de
ejemplo es de orden tres.
Grado: El nmero de hijos que tiene el elemento con ms hijos dentro del rbol. En el
rbol del ejemplo, el grado es tres, ya que tanto A como D tienen tres hijos, y no existen
elementos con ms de tres hijos
Nivel: Se define para cada elemento del rbol como la distancia a la raz, medida en
nodos. El nivel de la raz es cero, el de sus hijos uno y as sucesivamente. En el ejemplo,
el nodo D tiene nivel 1, el nodo G tiene nivel 2 y el nodo N nivel 3.
Rama: Es el camino desde el nodo raz a una hoja.
Altura: La altura de un rbol se define como el nivel del nodo de mayor nivel. Como cada
nodo de un rbol puede considerarse a su vez como la raz de un rbol, tambin podemos
hablar de altura de ramas, el mximo nmero de nodos que hay que recorrer para llegar
de la raz a una de las hojas.
Peso: Es el nmero de nodos del rbol sin contar la raz.
Fuentes
relacionesgrafos.blogspot(2014) Componentes URL
http://relacionesgrafos.blogspot.mx/2014/11/641-componentes-raiz-hoja-padre-hijo.html

Alberto Daz Carbajal

6.4.2 Propiedades
Las siguientes son las caractersticas y propiedades ms importantes de los
rboles en general:
a) Todo rbol que no es vaco, tiene un nico nodo raz.
b) Un nodo X es descendiente directo de un nodo Y, si el nodo X es apuntado por
el nodo Y. en este caso es comn utilizar la expresin X es hijo de Y.
c) Un nodo X es antecesor directo de un nodo Y, si el nodo X apunta al nodo Y. en
este caso es comn utilizar la expresin X es padre de Y.
d) Se dice que todos los nodos que son descendientes directos (hijos) de un
mismo nodo (padre), son hermanos.
e) Todo nodo que no tiene ramificaciones (hijos), se conoce con el nombre de
terminal u hoja.
f) Todo nodo que no es raz, ni terminal u hoja se conoce con el nombre de interior.
g) Grado es el nmero de descendientes directos de un determinado nodo. Grado
del rbol es el mximo grado de todos los nodos del rbol, es decir, el grado ms
alto entre todos los nodos.
h) Nivel es el nmero de arcos que deben ser recorridos para llegar a un
determinado nodo. Por definicin la raz tiene nivel 1.
i) Altura del rbol es el mximo nmero de niveles de todos los nodos del rbol

Fuentes
equipo1mditq.blogspot(2014) Propiedades URL
http://equipo1mditq.blogspot.mx/2014/11/642-propiedades.html

Alberto Daz Carbajal

6.4.3 Clasificacin (altura, nmero de

nodos)
La profundidad (o altura) de un rbol T es el nmero mximo de nodos en una
rama de T. Resulta que sta es una unidad mayor que el nmero de nivel de T.
Altura: la altura de un rbol se define como el nivel del nodo de mayor nivel. Como
cada nodo de un rbol puede considerarse a su vez como la raz de un rbol,
tambin podemos hablar de altura de ramas.
Orden: es el nmero potencial de hijos que puede tener cada elemento de rbol.
De este modo, diremos que un rbol en el que cada nodo puede apuntar a otros
dos es de orden dos, si puede apuntar a tres ser de orden tres, etc.
Grado: el nmero de hijos que tiene el elemento con ms hijos dentro del rbol. En
el rbol del ejemplo, el grado es tres, ya que tanto 'A' como 'D' tienen tres hijos, y
no existen elementos con ms de tres hijos.
Nivel: se define para cada elemento del rbol como la distancia a la raz, medida
en nodos. El nivel de la raz es cero y el de sus hijos uno. As sucesivamente. En
el ejemplo, el nodo 'D' tiene nivel 1, el nodo 'G' tiene nivel 2, y el nodo 'N', nivel 3.

Fuentes
itpn.mx (2015) unidad VI Teora de grafo URL
http://itpn.mx/recursosisc/1semestre/matematicasdiscretas/Unidad%20VI.pdf
Seymour Lipschutz, Marc lipson. matemticas discretas. Tercera edicin. Editorial.
McGraw Hill(2009)

Alberto Daz Carbajal

6.4.4 rboles con peso

El peso de un rbol en un nodo dado es el nmero de nodos en el rbol sin
contarse el mismo. El peso de un nodo en un rbol es la longitud del camino ms
largo del nodo a una hoja. El peso de un rbol es el peso de la raz. Un rbol con
peso es un grafo donde cada lado tiene un nmero asociado o peso.
Normalmente, al peso de un lado e se le designa por w(e). La suma de todos los
pesos de todos los lados de un grafo con peso se llama el peso.
Dado un grafo conexo, un rbol recubierto mnimo de ese grafo es un subgrafo
que tiene que ser un rbol y contener todos los vrtices del grafo inicial. Cada
arista tiene asignado un peso proporcional entre ellos, que es un nmero
representativo de algn objeto, distancia, etc... , y se usa para asignar un peso
total al rbol recubierto mnimo computando la suma de todos los pesos de las
aristas del rbol en cuestin. Un rbol recubierto mnimo o un rbol expandido
mnimo
Es un rbol recubridor que pesa menos o igual que otros rboles recibidores. Todo
grafo tiene un bosque recubridor mnimo. En el caso de un empate, porque podra
haber ms de un rbol recubridor mnimo; en particular, si todos los pesos son
iguales, todo rbol recubridor ser mnimo. De todas formas, si cada arista tiene
un peso distinto existir slo un rbol recubridor mnimo. La demostracin de esto
es trivial y se puede hacer por induccin. Esto ocurre en muchas situaciones de la
realidad, como con la compaa de cable en el ejemplo anterior, donde es extrao
que dos caminos tengan exactamente el mismo coste. Esto tambin se generaliza
para los bosques recubridores. Si los pesos son positivos, el rbol recubridor
mnimo es el subgrafo de menor costo posible conectando todos los vrtices, ya
que los subgrafos que contienen ciclos necesariamente tienen ms peso tota l.

Fuentes
es.scribd.com (2015) Teora de grafos. URL
http://es.scribd.com/doc/106576775/UNIDAD-VI-Matematicas-Discretas#scribd
itpn.mx (2015) Teora de grafos URL
http://itpn.mx/recursosisc/1semestre/matematicasdiscretas/Unidad%20VI.pdf

Alberto Daz Carbajal

6.4.5 Recorrido de un rbol: Preorden,

Inorden, Postorden
Recorrido de rboles refiere al proceso de visitar de una manera sistemtica,
exactamente una vez, cada nodo en una estructura de datos de
rbol (examinando y/o actualizando los datos en los nodos).
Preorden: (raz, izquierdo, derecho). Para recorrer un rbol binario no vaco en
preorden, hay que realizar las siguientes operaciones recursivamente en cada
nodo, comenzando con el nodo de raz:
1. Visite la raz
2. Atraviese el sub-rbol izquierdo
3. Atraviese el sub-rbol derecho
Inorden: (izquierdo, raz, derecho). Para recorrer un rbol binario no vaco en
inorden (simtrico), hay que realizar las siguientes operaciones recursivamente en
cada nodo:
1. Atraviese el sub-rbol izquierdo
2. Visite la raz
3. Atraviese el sub-rbol derecho
Postorden: (izquierdo, derecho, raz). Para recorrer un rbol binario no vaco en
postorden, hay que realizar las siguientes operaciones recursivamente en cada
nodo
1. Atraviese el sub-rbol izquierdo
2. Atraviese el sub-rbol derecho
3. Visite la raz

Fuentes
Wikipedia (2014) Recorrido de rboles. URL
http://es.wikipedia.org/wiki/Recorrido_de_rboles

Alberto Daz Carbajal

6.5 Redes. (Teorema de flujo mximo,

teorema de flujo mnimo, pareos y
redes de Petri)
Definicin: Una Red de Transporte es una grfica dirigida, simple, con pesos y
que debe cumplir las siguientes:

Poseer una fuente o vrtice fijo que no tiene aristas de

entrada.
Poseer un sumidero o vrtice fijo que no tiene arista de
salida
El peso Cij de la arista dirigida de i a j llamado capacidad de
ij es un nmero no negativo.

Flujo mximo
En una red G, el flujo mximo es un flujo mximo. Generalmente existen varios
flujos con el mismo valor mximo. Para encontrar el flujo mximo consideraremos
un flujo inicial en cada arista igual a cero, despus se determina un camino
especfico de la fuente al sumidero y se incrementa el flujo.
Si una arista est dirigida hacia la fuente decimos que esta arista est dirigida en
forma impropia, en caso contrario est dirigida en forma propia.
Es posible incrementar el flujo en ciertos caminos de la fuente al sumidero que
tenga aristas orientadas en forma impropia y propia. Sea P un camino de a a z
y sea x un vrtice en P que no sea a ni z.
Teorema del flujo mnimo
En lo que respecta a las redes, un corte es un conjunto de corte en el cual
quedando partes disjuntas del conjunto de vrtices, V1 y V2 que, situados en la
red, dejan la fuente en una de ellas y al sumidero en la otra. Se llama capacidad
de un corte a la suma: Capacidad (v,w); vV1, w? V2 V1es la parte que contiene a
la fuente V2 es la parte que contiene al sumidero Sea F un flujo en G y sea (P, P)
un corte en G. Entonces la capacidad de (p, p) es mayor o igual que el valor de F.
Redes de Petri
Una red de Petr es un grafo dirigido bipartito, con un estado inicial, llamado
marcacin inicial. Los dos componentes principales de la red de Petr son los sitios
y las transiciones. Grficamente, los sitios son dibujados como crculos y las
transiciones como barras o rectngulos. Las aristas del grafo son conocidas como
arcos. Estos tienen un peso especfico, el cual es indicado por un nmero entero
positivo, y van de sitio a transicin y viceversa. Por simplicidad, el peso de los
arcos no se indica cuando ste es igual a 1. Un arco que est etiquetado con k
puede ser interpretado como k arcos paralelos.

Alberto Daz Carbajal

Fuentes
itpn.mx (2015) Teora de grafos URL
http://itpn.mx/recursosisc/1semestre/matematicasdiscretas/Unidad%20VI.pdf

Alberto Daz Carbajal

6.6 Aplicaciones de grafos y rboles.

Una aplicacin frecuente de la teora de grafos es la del mtodo de camino
hamiltoniano ptimo para decidir el camino a seguir por un cobrador, de tal
modo de economizar sus energas, las suelas de sus zapatos y su bolsillo.
El objetivo es hallar un camino que pase por todos las casas una y solo una
vez y que nos del costo menor en distancia. Dicho de otro modo, se deben
buscar las permutaciones de las casas de forma tal que la distancia
recorrida total sea mnima.
Gracias a la teora de grafos se pueden resolver diversos problemas como
por ejemplo la sntesis de circuitos secuenciales, contadores o sistemas de
apertura. Se utiliza para diferentes reas por ejemplo, Dibujo
computacional, en todas las reas de Ingeniera.
La teora de grafos tambin ha servido de inspiracin para las ciencias
sociales, en especial para desarrollar un concepto no metafrico de red
social que sustituye los nodos por los actores sociales y verifica la posicin,
centralidad e importancia de cada actor dentro de la red. Esta medida
permite cuantificar y abstraer relaciones complejas, de manera que la
estructura social puede representarse grficamente. Por ejemplo, una red
social puede representar la estructura de poder dentro de una sociedad al
identificar los vnculos (aristas), su direccin e intensidad y da idea de la
manera en que el poder se transmite y a quines.
Los grafos son importantes en el estudio de la biologa y hbitat. El vrtice
representa un hbitat y las aristas (o "edges" en ingls) representa los
senderos de los animales o las migraciones. Con esta informacin, los
cientficos pueden entender cmo esto puede cambiar o afectar a las
especies en su hbitat.
Por ejemplo, supongamos que unas lneas areas realizan vuelos entre las
ciudades conectadas por lneas como se ve en la figura, la estructura de
datos que refleja esta relacin recibe el nombre de grafo.

Alberto Daz Carbajal

Fuentes

fing.edu (2015) Grafos URL

http://www.fing.edu.uy/inco/grupos/bioinf/bioinfo1/teorico/grafos.pdf
itpn.mx (2015) Teora de Grafo URL
http://itpn.mx/recursosisc/1semestre/matematicasdiscretas/Unidad
%20VI.pdf