Академический Документы
Профессиональный Документы
Культура Документы
SEMESTRE:
GRUPO: B
1o
PROFESOR (A):
Ing. Juan Jos Everardo Rivero Caballero
MATERIA O ASIGNATURA:
Matemticas Discretas
TEORIA DE GRAFOS
I. Introduccin
II. Elementos & caractersticas de los grafos.
III. Representacin de los grafos.
IV. Algoritmos de recorrido & bsqueda.
V. rboles.
VI. Redes.
VII. Aplicaciones de grafos & rboles.
VIII. Conclusin.
IX. Bibliografas
INTRODUCCION (NO ESCRIBIR)
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.
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. Los grafos son artefactos
matemticos que permiten expresar de una forma visualmente muy sencilla y efectiva las
relaciones que se dan entre elementos de muy diversa ndole, son la representacin
natural de las redes, en las que estamos cada vez ms incluidos.
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.
=
[u,
v]
En caso contrario, diremos que G es un grafo desconexo.
Ejemplo
Cul de los grafos siguientes es conexo?
a.- Conexo.
b.- Conexo.
c.- No es conexo.
Grafo nulo: se dice que un grafo es nulo cuando los vrtices que lo
componen no estn conectados, esto es, que son vrtices aislados.
Matemtica
Existen diferentes formas de representacin matricial:
10
Computacional
11
por lo tanto la matriz de caminos P se obtiene ahora haciendo Pij = 1 siempre que
haya una entrada positiva en la matriz B4 . As
12
13
14
alimento concentracin de
alimento
Algoritmo usado por una colonia de hormigas para encontrar el camino ms corto entre
dos puntos.
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
15
1.
2.
3.
4.
EJEMPLO:
16
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 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:
1.
2.
3.
4.
17
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.
Ejemplo de un rbol:
18
19
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 querepresenta una relacin
de jerarqua.
Hojas: Nodo sin hijos
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.
20
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.
21
22
23
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 esta dirigida hacia la fuente decimos que esta arista esta
dirigida en forma impropia, en caso contrario esta dirigida en forma
propia.
Sea P un camino de a a z y sea x un vrtice en P que no sea a ni z
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 P un camino de a a z en una red G tal que:
Fij <Cij
24
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:
Redes de Petri
na 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 (tambin conocidos como estados) y lastransiciones.
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
25
26
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.
Bibliografa:
1) Matemticas para computacin
a. Seymor Lipschutz
b. Teora 840 problemas resueltos
c. Serie Schaum Mc Graw Hill
2) Matemticas discretas
a. Jonh Sunbaugh Richard
b. Grupo Editorial Iberoamericano
3) Matemticas discretas
a. Camellas Francesa y Fabrega Joseph
b. Coedicin Alfaomega
27