INSTITUTO TECNOLOGICO DE PINOTEPA

PROYECTO DE SEXTA UNIDAD DE MATEMTICAS DISCRETAS

ALUMNO: MARIO JOSIAS NICIO HERNANDEZ

N.DE CONTROL: 13730161

UNIDAD: 6

ING.INFORMATICA

PRIMER SEMESTRE A1

PROYECTO 6 UNIDAD: GRAFOS

Santiago Pinotepa Nacional, Oaxaca; 01 de Enero de 2014

INTRODUCCIN
La teora de grafos (tambin llamada teora de las grficas) es un campo de
estudio de las matemticas y las ciencias de la computacin, que estudia las
propiedades de los grafos (tambin llamadas grficas) estructuras que constan de
dos partes, el conjunto de vrtices, nodos o puntos; y el conjunto de aristas, lneas
o lados (edges en ingls) que pueden ser orientados o no.
La teora de grafos es una rama de la matemticas discretas y aplicadas, y es una
disciplina
que
unifica
diversas
reas
como
combinatoria, lgebra,
probabilidad, geometra de polgonos, aritmtica y topologa.

JUSTIFICACIN
La Teora de Grafos es parte de Matemticas Discreta que es una asignatura del
plan de estudios de Ingeniera en Informtica, que tiene un marcado enfoque
prctico, aplicado y computacional, adems de un acentuado carcter formativo.
El contenido referido a esta temtica se plantea como respuesta a una variada
serie de problemas de la vida real (diseo de bloques, flujo de redes, diseo de
circuitos, transporte de viajeros, asignaciones horarias o de tareas, programacin,
etc.), lo que le confiere el enfoque aplicado que sealamos arriba, aprendiendo el
alumno, adems, a buscar modelos matemticos adecuados para gran nmero de
situaciones diferentes, lo que suele ser muy habitual en el desarrollo profesional.

PROYECTO 6 UNIDAD: GRAFOS

OBJETIVO:
Conocer la Teora de Grafos y el papel que juega en la Informtica.

FUNDAMENTO TERICO
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.

Aristas Adyacentes: Se dice que dos aristas son adyacentes si coinciden 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 puntos

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

PROYECTO 6 UNIDAD: GRAFOS

Valencia de un vrtice.- Es el nmero de lados que salen o entran a un vrtice.

En el grafo anterior las valencias de los vrtices son:
Valencia (a)=2
Valencia (b)=4
Valencia (c)=2
Valencia (d)=3
Hay que observar como en el caso del vrtice del lazo solo se considera una vez,
entrada o salida pero no ambos.
TIPOS DE GRAFOS (SIMPLES, COMPLETOS, BIPARTIDOS, PLANOS,
CONEXOS, PONDERADOS)
Grafos simples.- Un grafo es simple si a lo ms existe una arista uniendo dos
vrtices cualesquiera. Esto es equivalente a decir que una arista cualquiera es la
nica que une dos vrtices especficos. Un grafo que no es simple se
denomina multgrafo

.
Grafo completo.- Un grafo es completo si existen aristas uniendo todos los pares
posibles de vrtices. Es decir, todo par de vrtices (a, b) debe tener una
arista e que los une. El conjunto de los grafos completos es denominado
usualmente K, siendo Kn el grafo completo de n vrtices. Un Kn, es decir, grafo
completo de n vrtices tiene exactamente n(n-1)/2 aristas.
La representacin grfica de los como los vrtices de un polgono regular da
cuenta de su peculiar estructura.

PROYECTO 6 UNIDAD: GRAFOS

Grafos bipartitos.- Un grafo G es bipartito si puede expresarse como G = {V1 U

V2, A} (es decir, sus vrtices son la unin de dos grupos de vrtices), bajo las
siguientes condiciones:
V1 y V2 son disjuntos y no vacos.
Cada arista de A une un vrtice de V1 con uno de V2.
No existen aristas uniendo dos elementos de V1; anlogamente para V2.
Bajo estas condiciones, el grafo se considera bipartito, y puede describirse
informalmente como el grafo que une o relaciona dos conjuntos de elementos
diferentes, como aquellos resultantes de los ejercicios y puzzles en los que debe
unirse un elemento de la columna A con un elemento de la columna B.

Grafos Planos.- Un grafo G es planar 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. Se dice que un grafo es plano si
puede dibujarse en el plano de manera que ningn par de sus aristas se corte. A
ese dibujo se le llama representacin plana del grafo.

PROYECTO 6 UNIDAD: GRAFOS

Grafo conexo.- Un grafo se

sus vrtices estn conectados.

dice

que

es

conexo

si

cada

par

de

Es decir, G es conexo u, v : = [u, v] En caso contrario, diremos que G es

un grafo desconexo.

Grafos ponderados.- Llamamos grafos ponderados a los grafos en los que se

asigna un nmero a cada una de las aristas. Este nmero representa un peso para
el recorrido a travs de la arista. Este peso podr indicar, por ejemplo, la distancia,
el
costo
monetario
o
el
tiempo
invertido,
entre
otros.
Denimos la longitud de un camino en un grafo ponderado como la suma delos
pesos de las aristas de ese camino.

PROYECTO 6 UNIDAD: GRAFOS

REPRESENTACIN DE LOS GRAFOS

Definicin.- Dado un grafo G = (V, E) con n vrtices {v1, ..., vn} su matriz
de adyacencia es la matriz de orden nn, A(G)=(aij) donde aij es el nmero de
aristas que unen los vrtices vi y vj. La matriz de adyacencia de un grafo es
simtrica. Si un vrtice es aislado entonces la correspondiente fila (columna) est
compuesta slo por ceros. Si el grafo es simple entonces la matriz de adyacencia
contiene solo ceros y unos (matriz binaria) y la diagonal est compuesta slo por
ceros.

Definicin .- Dado un grafo simple G = (V, E) con n=|V| vrtices {v1, ..., vn} y
m=|E| aristas {e1, ..., em}, su matriz de incidencia es la matriz de orden
nxm, B(G)=(bij), donde bij=1 si vi es incidente con ej y bij=0 en caso contrario. La
matriz de incidencia slo contiene ceros y unos (matriz binaria). Como cada arista
incide exactamente en dos vrtices, cada columna tiene exactamente dos unos.
El nmero de unos que aparece en cada fila es igual al grado del vrtice
correspondiente. Una fila compuesta slo por ceros corresponde a un vrtice
aislado.

PROYECTO 6 UNIDAD: GRAFOS

ALGORITMOS DE RECORRIDO Y BSQUEDA

Recorrer un grafo significa tratar de alcanzar todos los nodos que estn
relacionados con uno que llamaremos nodos de salida. Existen bsicamente dos
tcnicas para recorrer un grafo: el recorrido en anchura y el recorrido en
profundidad.
Los algoritmos de bsqueda en grafos nacen por la necesidad de crear un
mecanismo de navegacin autnoma, bien sea de robots, coches, o personajes en
un videojuego. Algunos de los ms conocidos son A*, LPA*, o D*.
EL CAMINO MS CORTO
En la Teora de grafos, 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. Un ejemplo
es encontrar el camino ms rpido para ir de una ciudad a otra en un mapa. En
este caso, los vrtices representan las ciudades, y las aristas las carreteras que
las unen, cuya ponderacin viene dada por el tiempo que se emplea en
atravesarlas.
Formalmente, dado un grafo ponderado (que es un conjunto V de vrtices, un
conjunto E de aristas y una funcin de variable real ponderada f : E R) y un
elemento v V encuentra un camino P de v a v' V, tal que:

Es el mnimo entre todos los caminos que conectan v y v'.

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.
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.

Los algoritmos de los caminos ms cortos se aplican para encontrar direcciones

de forma automtica entre localizaciones fsicas, tales como direcciones en mapas
callejeros.

PROYECTO 6 UNIDAD: GRAFOS

Si un algoritmo representa una mquina abstracta no determinista como un grafo,

donde los vrtices describen estados, y las aristas posibles transiciones, el
algoritmo de los caminos ms cortos se usa para encontrar una secuencia ptima
de opciones para llegar a un cierto estado final o para establecer lmites ms bajos
en el tiempo, necesario para alcanzar un estado dado. Por ejemplo, si los vrtices
representan los estados de un puzzle como el Cubo de Rubik, cada arista dirigida
corresponde a un simple movimiento o giro. El algoritmo de los caminos ms
cortos se usa para encontrar la solucin que utiliza el mnimo nmero posible de
movimientos.
En el argot de las telecomunicaciones, a este algoritmo es tambin conocido como
el problema del mnimo retraso, y con frecuencia se compara con el problema de
los caminos ms anchos.
Una aplicacin ms coloquial es la teora de los "Seis grados de separacin", a
partir de la cual se intenta encontrar el camino ms corto entre dos personas
cualesquiera.
Otras aplicaciones incluyen la Investigacin de operaciones, instalaciones y
facilidad de diseo, robtica, transporte y VLSI de diseo.

PROYECTO 6 UNIDAD: GRAFOS

A LO ANCHO
Bsqueda en anchura (en ingls BFS - Breadth First Search) es un algoritmo para
recorrer o buscar elementos en un grafo (usado frecuentemente sobre rboles).
Intuitivamente, se comienza en la raz (eligiendo algn nodo como elemento raz
en el caso de un grafo) y se exploran todos los vecinos de este nodo. A
continuacin para cada uno de los vecinos se exploran sus respectivos vecinos
adyacentes,
y
as
hasta
que
se
recorra
todo
el
rbol.
Formalmente, BFS es un algoritmo de bsqueda sin informacin, que expande y
examina todos los nodos de un rbol sistemticamente para buscar una solucin.
El algoritmo no usa ninguna estrategia heurstica.
Sea G = (V, A) un grafo conexo, V = V un conjunto de vrtices, A un vector de
arcos inicialmente vaco y P un vector auxiliar inicialmente vaco:
1.
2.
3.
4.
5.
6.
7.
8.
9.

Se introduce el vrtice inicial en P y se elimina del conjunto.

Mientras V no sea vaco repetir los puntos 3 y 4. En otro caso parar.
Se toma el primer elemento de P como vrtice activo.
Si el vrtice activo tiene algn vrtice adyacente que se encuentre en V:
Se toma el de menor ndice.
Se inserta en P como ltimo elemento.
Se elimina de V.
Se inserta en A el arco que le une con el vrtice activo.
Si el vrtice activo no tiene adyacentes se elimina de P.

En profundidad

Una Bsqueda en profundidad (en ingls DFS o Depth First Search) es

un algoritmo que permite recorrer todos los nodos de un grafo o rbol (teora de
grafos) de manera ordenada, pero no uniforme. Su funcionamiento consiste en ir
expandiendo todos y cada uno de los nodos que va localizando, de forma
recurrente, en un camino concreto. Cuando ya no quedan ms nodos que visitar
en dicho camino, regresa (Backtracking), de modo que repite el mismo proceso
con
cada
uno
de
los
hermanos
del
nodo
ya
procesado.

Se comienza en el vrtice inicial (vrtice con ndice 1) que se marca como vrtice
activo. Hasta que todos los vrtices hayan sido visitados, en cada paso se avanza
al vecino con el menor ndice siempre que se pueda, pasando este a ser el vrtice

10

PROYECTO 6 UNIDAD: GRAFOS

activo. Cuando todos los vecinos al vrtice activo hayan sido visitados, se
retrocede al vrtice X desde el que se alcanz el vrtice activo y se prosigue
siendo
ahora X el
vrtice
activo.

ALGORITMO BEP:
Sea G = (V, A) un grafo conexo, V = V un conjunto de vrtice, Aun vector de
arcos inicialmente vaco y P un vector auxiliar inicialmente vaco:
Se introduce el vrtice inicial en P y se elimina del conjunto V.
Mientras V no sea vaco repetir los puntos 3 y 4. En otro caso parar.
1.
2.
3.
4.
5.
6.
7.

Se toma el ltimo elemento de P como vrtice activo.

Si el vrtice activo tiene algn vrtice adyacente que se encuentre en V:
Se toma el de menor ndice.
Se inserta en P como ltimo elemento.
Se elimina de V.
Se inserta en A el arco que le une con el vrtice activo.
Si el vrtice activo no tiene adyacentes se elimina de P.

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 arboles 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.

11

PROYECTO 6 UNIDAD: GRAFOS

COMPONENTES
ANCESTROS)

(RAZ,

HOJA,

PADRE,

HIJO,

DESCENDIENTES,

Un rbol est divido en tres subconjuntos separados.

El primer subconjunto contiene un nico elemento llamado raz del rbol.

Los otros 2 subconjuntos son por si mismos rboles binarios y se les

conoce como subrboles izquierdo y derecho del rbol original. Cada
elemento de un rbol binario se denomina nodo. La ausencia de una
ramificacin indica un subrbol vaco.
Si A es la raz de un rbol binario y B es la raz de su subrbol izquierdo o
derecho, se dice que A es el padre de B y se dice que B es el hijo
izquierdo o derecho de A.
Un nodo que no tiene hijos se denomina hoja. El nodo n1 es
un ancestro del nodo n2 ( y n2 es un descendiente de n1) si n1 es el
padre de n2 o el padre de algn ancestro de n2. 2 nodos son hermanos si
son los hijos izquierdo y derecho del mismo padre.
Si cada nodo que no es hoja es un rbol binario tiene subrboles izquierdo
y derecho que no estn vacos, el elemento se clasifica como rbol
estrictamente binario.
Los rboles representan las estructuras no lineales y dinmicas de datos
ms importantes en computacin. Dinmicas porque las estructuras de
rbol pueden cambiar durante la ejecucin de un programa. No lineales,
puesto que a cada elemento del rbol pueden seguirle varios elementos.
Se utiliza la recursin para definir un rbol porque representa la forma ms
apropiada y porque adems es una caracterstica inherente de los
mismos. Los rboles tienen una gran variedad de aplicaciones. Por
ejemplo, se pueden utilizar para representar frmulas matemticas, para
organizar adecuadamente la informacin, para construir un rbol
genealgico, para el anlisis de circuitos elctricos y para numerar los
captulos y secciones de un libro.

Raz: Nodo que constituye la nica entrada a la estructura (por ello es necesario
tener un puntero sobre l).
Ramas o Arcos: Conexin entre dos nodos del rbol que representa una relacin
de jerarqua.
Hojas: Nodo sin hijos

12

PROYECTO 6 UNIDAD: GRAFOS

PROPIEDADES
Un rbol es un grafo simple en el cual existe un nico camino entre cada par de
vrtices.
Sea G =(V,A) un grafo no dirigido. G se denomina RBOL, si es
conexo con n nodos y n-1 aristas y no contiene ciclos.
Formas equivalentes de definir un rbol.
1.
2.
3.
4.

Un rbol es un grafo conexo con n nodos y n-1 aristas.

Un rbol es un grafo conexo que no contiene ciclos.
Un rbol es un grafo con n nodos, n -1 arista y sin ciclos.
Un rbol es un grafo tal que entre cualquier par de nodos distintos existe un
camino simple nico.

Propiedades:
Existe un nico paseo entre dos vrtices cualesquiera de un rbol.
El nmero de vrtices es mayor en uno al nmero de aristas de un rbol.
Un rbol con dos o ms vrtices tiene al menos dos hojas.
Un rbol T (libre) es una grfica simple que satisface lo siguiente; si v y w son
vrtices en T, existe una trayectoria simple nica de v a w.

13

PROYECTO 6 UNIDAD: GRAFOS

CLASIFICACIN (ALTURA, NMERO DE NODOS)

Caractersticas del rbol, en relacin a su tamao:
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.
Altura: la altura de un rbol se define como el nivel del nodo de mayor nivel. Como
cada nodode un rbol puede considerarse a su vez como la raz de un rbol,
tambin podemos hablar dealtura de ramas. El rbol del ejemplo tiene altura 3, la
rama 'B' tiene altura 2, la rama 'G' tienealtura 1, la 'H' cero, etc.
Si un grafo tiene un vrtice Uo que solo contiene una diferente de UoU1 (a
s mismo) entonces es un rbol.

Altura = 3 (el nivel ms grande)

Raz = que no tiene padre (inicial)
Padre = que tiene hijo(s)
Hoja = no tiene hijo(s), tiene padre

14

PROYECTO 6 UNIDAD: GRAFOS

ARBOLES 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 del grafo.
Ejemplo: cul es el peso de un rbol?

Peso total del grafo = 19

RECORRIDO DE UN RBOL: PREORDEN, INORDEN, POSTORDEN

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:

15

PROYECTO 6 UNIDAD: GRAFOS

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

En general, la diferencia entre Preorden, Inorden y Postorden es cundo se

recorre la raz. En los tres, se recorre primero el sub-rbol izquierdo y luego el
derecho.

En Preorden, la raz se recorre antes que los recorridos de los subrboles

izquierdo y derecho
En Inorden, la raz se recorre entre los recorridos de los rboles izquierdo y
derecho, y
En Postorden, la raz se recorre despus de los recorridos por el subrbol
izquierdo y el derecho

Preorden (antes), Inorden (en medio), Postorden (despus).

16

PROYECTO 6 UNIDAD: GRAFOS

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.
Una red de transporte es una grfica dirigida, simple con pesos que satisface:
a) Un vrtice fijo, designado como el origen o fuente, no tiene aristas de entrada.
b) Un vrtice, designado como destino o sumidero, no tiene aristas salientes.
c) El peso Cij de la arista dirigida (i, j) llamada capacidad de (i, j) es un numero no
negativo.

FLUJO MAXIMO

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 esta dirigida en
forma impropia, en caso contrario est dirigida en forma propia.
Si se determina un camino P de la fuente al sumidero en donde cada arista de P
est orientada en forma propia y el flujo en cada arista es menor que la capacidad
de la arista, es posible aumentar el valor de flujo.

17

PROYECTO 6 UNIDAD: GRAFOS

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

Ambas aristas estn orientadas en forma propia, en este caso, si

incrementamos el flujo en ", el flujo en la entrada en x seguir siendo igual
al flujo de salida de x.
Si incrementamos el flujo en e2 en ", debemos disminuir el flujo en e1 en "
de modo que el flujo de entrada en x siga siendo igual al flujo de salida en
x.
Es anlogo en el caso b
Disminuimos el flujo en ambas aristas en . En cada caso las asignaciones
resultantes de las aristas dan como resultado un flujo.

Para realizar estas alteraciones debemos tener un flujo menor que la capacidad en
una arista orientada en forma propia y un flujo distinto de cero en una arista
orientada en forma impropia.
Teorema 2:
Sea

un

camino

de

en

una

red

tal

que:

Para cada arista (i,j) de P, orientada en forma propia.

Fij <Cij

Para cada arista (i,j) de P, orientada en forma impropia

0 <Fij
Se define
F'ij =
Si no existieran caminos que concuerden con el teorema 2, el flujo es mximo,
entonces se considera el algoritmo:

Iniciar con un flujo

Buscar un camino que satisfaga con las condiciones del teorema 2
Si no existe el camino el flujo es mximo.
Se incrementa el flujo en ", y se regresa a lnea 2.

A dicho algoritmo se le llama Algoritmo etiquetado.

18

PROYECTO 6 UNIDAD: GRAFOS

Ejemplo del Flujo Mximo.-

FLUJO MINIMO
Redes de Petri
Una red de Petri
es un grafo dirigido bipartito, con un estado inicial,
llamado marcacin inicial. Los dos componentes principales de la red de Petri son
los sitios (tambin conocidos como estados) 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.

Ejemplo de una Red de Petri

Es una grfica dirigida G = (V, E) donde V = P U T y P "T = , cualquier arista e en
E es incidente en un miembro de P y un miembro de T, el conjunto P es el
conjunto de lugares y el conjunto T es en conjunto de Transiciones.
Un marcado de una Red de Petri asigna a cada lugar un entero no negativo, una
red de Petri con un marcado es una Red de Petri Marcada (o simplemente una
Red de Petri). Con un marcado se asigna al valor no negativo n al lugar p,

19

PROYECTO 6 UNIDAD: GRAFOS

decimos que existen n elementos en p, mediante los elementos a representar son

los puntos.

Los lugares representan condiciones, las transiciones representan eventos, y la

presencia de al menos un elemento en un lugar (condicin) indica que tal
condicin se cumple.

20

PROYECTO 6 UNIDAD: GRAFOS

REFERENCIAS BIBLIOGRFICAS
http://matematicasparacomputadora.weebly.com/611-componentes-de-un-grafo-veacuterticesaristas-lazos-valencia.html
http://matematicasparacomputadora.weebly.com/612-tipos-de-grafos-simples-completosbipartidos-planos-conexos-ponderados.html
http://matematicasparacomputadora.weebly.com/62-representacioacuten-de-los-grafos.html
http://matematicasparacomputadora.weebly.com/63-algoritmos-de-recorrido-ybuacutesqueda.html
http://matematicasparacomputadora.weebly.com/631-el-camino-maacutes-corto.html
http://matematicasparacomputadora.weebly.com/632-a-lo-ancho.html
http://matematicasparacomputadora.weebly.com/633-en-profundidad.html
http://matematicasparacomputadora.weebly.com/64-arboles.html
http://matematicasparacomputadora.weebly.com/-641-componentes-raiacutez-hoja-padre-hijodescendientes-ancestros.html
http://matematicasparacomputadora.weebly.com/642-propiedades.html
http://matematicasparacomputadora.weebly.com/643-clasificacioacuten-altura-nuacutemero-denodos.html
http://matematicasparacomputadora.weebly.com/644-aacuterboles-con-peso.html
http://matematicasparacomputadora.weebly.com/-645-recorrido-de-un-aacuterbol-preordeninorden-postorden.html
http://matematicasparacomputadora.weebly.com/65-redesteorema-de-flujo-maacuteximoteorema-de-flujo-miacutenimo-pareos-y-redes-de-petri.html

21