Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
TEORA DE GRAFOS
6 UNIDAD
Ing. Rosel Muoz Lpez
2010
INSTITUTO TECNOLOGICO DE TAPACHULA
MATEMATICAS DISCRETAS
UNIDAD 6.
2
TEORA DE GRAFOS
Introduccin..4
Representacin de estructura18
3
Algoritmo de recorrido y bsqueda....21
rboles23
Redes..28
Conclusin.32
Bibliografa23
La teora de grafos tiene su origen en el problema de los siete puentes de
Knigsberg resuelto por Leonhard Euler, el cual se planteaba el problema de cmo
recorrer los siete puentes una solo vez y regresar al mismo punto de salida.
Dibujar un grafo para resolver un problema es un reflejo muy comn, que no precisa
conocimientos matemticos. Un grafo se parece a la figura siguiente, y consta de
vrtices y de aristas que renen algunos de ellos. 4
En la teora de los grafos, slo se queda lo esencial del dibujo: la forma de las aristas
no son relevantes, slo importan sus extremidades (o cabos); la posicin de los
vertices tampoco, y se puede variar para obtener un grafo ms claro, y hasta sus
nombres se pueden cambiar. Estos cambios se llaman isomorfismos de grafos.
Generalmente, se considera que colocar los vrtices en forma de polgono regular
da grafos muy lebles.
Grafo: Un grafo es un conjunto, no vaco, de objetos llamados vrtices
(o nodos) y una seleccin de pares de vrtices, llamados aristas que
pueden ser orientados o no.
Ejemplo de un grafo:
a b
h
f g
e d
i
c
6
Observamos:
V = {1, 2, 3, 4, 5} Vrtices
A = {a, b, c, d, e, f, g, h, i } Aristas
G = { (1, 2), (3, 2), (5, 3), (4, 5), (1, 4), (2, 4), (2, 5), (1, 3), (5, 1)} Grafo
Lazo: Es una arista incidente en un slo vrtice. Ejemplo: a6 = (V5, V5).
AQU
ENCONTRAMOS AQU
ARISTAS
ENCONTRAMOS
PARALELLAS
UN LAZO
V1 V2 V3 V4 V5
2
3 3 5 1 3
Vrtice aislado: El vrtice que no es incidente en alguna arista.
Ejemplo:
9
Grafo no dirigido: Tienen un conjunto de aristas E (arcos o lados), tal que
cada arista se asocia a un par no ordenado de vrtices.
Ejemplo:
Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado
es k lo llamaremos k-regular.
(Es decir, sus vrtices son la unin de dos grupos de vrtices), bajo las
siguientes condiciones:
13
Ejemplo:
X = {a, c, f} Y = {b, d, e}
Aqu podemos observar que en el conjunto X, el vrtice a no es
adyacente (no se encuentran unidos por una arista) al vrtice c ni
al vrtice f y lo mismo sucede para el vrtice c y f en relacin
con los dems vrtices del conjunto. En Y sucede lo mismo como
podemos constatarlo.
Grafo completo: Aquel con una arista entre cada par de vrtices. Es decir
desde cualquier vrtice podemos encontrar un camino hacia otro vrtice con solo
recorrer una arista.
14
Grafos Platnicos: Son los Grafos formados por los vrtices y aristas de
slidos regulares (Slidos Platnicos), como el tetraedro, el cubo, el octaedro, el
dodecaedro, el icosaedro, etc.
15
Grafos
Un grafo
completo es
conexo.
Camino: Es un conjunto de vrtices y aristas que parten de un vrtice y llevan a
otro vrtice (una sucesin de vrtices y aristas, una ruta).
(a, d, e) significa que del vrtice a me voy al vrtice d y del d avanzo hacia
el e.
16
Longitud de camino: Es el nmero de arcos o aristas en ese camino. En el
ejemplo anterior el camino es de longitud 2 porque pasa por dos aristas.
Camino simple: Es cuando todos sus vrtices, excepto tal vez el primero y el
ltimo son distintos.
Grafo cclico: Se dice que un grafo es cclico cuando contiene por lo menos
un ciclo.
17
El grafo siguiente sera un grafo acclico
Llamaremos camino euleriano a un camino que contiene a todas las
aristas del grafo, apareciendo cada una exactamente una vez.
Teorema
Sea G un grafo conexo
G es euleriano Todos los vrtices de G tienen grado par.
18
Tambin podemos encontrar grafos
que contengan CICLOS
EULERIANOS, los cuales se dan
cuando al acabar el recorrido
llegamos al punto de salida.
Un ciclo hamiltoniano tiene adems que recorrer todos los vrtices exactamente
una vez (excepto el vrtice del que parte y al cual llega).
a b c d e
2 3 3 2 2
20
Secuencias.
Estas estructuras son utilizadas en programacin por lo que nos vamos a concentrar
en esta rea para estudiarlas.
INICIO
num1,num
2
r= num1 + num2
FIN
Seleccin (if-then-else)
Dado que una condicin produce un valor verdadero o falso, se necesita una
sentencia de control que ejecute determinada sentencia si la condicin es
verdadera , y otra si es falsa. Esta alternativa se realiza con la sentencia IF-THEN-
ELSE. A continuacin se describe el diagrama de flujo y el formato de la
sentencia.
22
Mientras (while)
A la palabra reservada while le sigue una condicin. El bloque de sentencias que
le siguen se ejecuta siempre que la condicin sea verdadera tal como se ve en la
figura. La forma general que adopta la sentencia while es:
while (condicin)
sentencia;
Repetir hasta que (repeat-until)
La accin de repeat-until es repetir una serie de instrucciones hasta que se cumpla
una determinada condicin. Aqu las palabras repeat y until sirven tambin como
delimitadores de bloque.
Reglas de funcionamiento: 23
1. La condicin se evala al final del bucle, despus de ejecutarse todas las
sentencias.
2. Si la condicin es falsa, se vuelve a repetir el bucle y se ejecutan todas sus
instrucciones.
3. Si la condicin es falsa, se sale del bucle y se ejecuta la siguiente
instruccin a until.
4. La sintaxis no requiere begin y end.
CASE Expresin OF
listas de valores : accin|
listas de valores : accin|
ELSE
accin por defecto
END
24
Las estrategias y los algoritmos de bsqueda desempaan un trabajo importante
en la teora de grafos particularmente esta ligada a la programacin de objetos.
Bsicamente estos trminos se aplican en reas estratgicas en las matemticas
y desempean un juego muy importante tanto en los grafos como en los rboles.
La estrategia se basa en seguir un mtodo de pasos conforme se desarrolla el
problema, siguiendo un camino en comn donde se relacionen todos los
componentes del problema, as como tambin buscar la manera ms fcil o mejor 25
planteada que lleve a la solucin del mismo, siempre y cuando no se salga del
esquema principal.
26
27
rbol General: Es un grafo no dirigido acclico conexo.
Un rbol es un grafo simple en el cual existe un nico camino entre cada par de
vrtices.
Un rbol con raz, es un rbol que tiene un vrtice particular designado como raz.
RAIZ
PRINCIPAL
B C D 28
E F G H I J
K L
M
Son aquellos que
nodos que no
tienen hijos
HOJAS O NODOS EXTERNOS={e,f,g,k,m,i,j}
NODOS HERMANOS={(b,c,d),(e,f),(g,h,i),(k,l)
Son dos o mas
nodos que son
hijos de una
misma raz
Un rbol binario es uno con raz en el cual cada vrtice tiene un hijo a la derecha o
un hijo a la izquierda, o viceversa, o bien ningn hijo
Cada vrtice tiene un hijo a la derecha y uno a la izquierda, o bien ningn hijo.
29
Teorema:
Si T es un rbol binario completo con i vrtices internos, entonces
T tiene i + 1 vrtices terminales y 2i + 1 vrtices en total.
Es un rbol binario T donde se han asociado datos a los vrtices. 30
Estos datos se ingresaran de modo que:
El siguiente dato se analizara con la siguiente raiz de modo que cada raiz puede
tener como maximo dos hijos.
PREORDEN
Visitar la raz.
ORDEN
Recorrer el subarbol izquierdo
Visitar la raiz.
POSORDEN
Recorrer el subarbol izquierdo.
Examinar la raz.
MODELOS 33
Una Red de Transporte es una grafica dirigida, simple, con pesos y que debe
cumplir las siguientes caractersticas:
A 7
3
C S
E 6
4 8
B
34
Sea G una red y sea Cij la capacidad de la arista dirigida (ij) se dice que un flujo
F en G asigna a cada arista dirigida (ij) un numero no negativo Fij tal que debe
cumplir:
Fij Cij
4
2
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 toda las reas de Ingeniera.
Los grafos se utilizan tambin para modelar trayectos como el de una lnea de autobs a
travs de las calles de una ciudad, en el que podemos obtener caminos ptimos para el
trayecto aplicando diversos algoritmos como puede ser el algoritmo de Floyd.
Para la administracin de proyectos, utilizamos tcnicas como PERT en las que se modelan
los mismos utilizando grafos y optimizando los tiempos para concretar los mismos.
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 36
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 cumplen una gran funcin dentro de nuestra vida cotidiana, ya que son
aplicables a varias formas que dan solucin a la necesidad de la sociedad.
Se ha mencionado que los grafos no son lineales, y si llegan a serlo, se dice que
son grafos degenerados, los nicos que pueden ser lineales son los arreglos, eso
implica que un grafo no puede serlo. Al ir desarrollando los grafos se da a conocer
que se aplican diferentes mtodos y tcnicas para cada caso especfico.
Para nuestra carrera es importante saber que el desarrollo de los grafos es esencial,
ya que se aplica en el campo laboral. Por ejemplo para conocer cmo funciona una 37
computadora en su interior, necesitamos desarrollar primeramente nuestro intelecto
con respecto a los grafos para entender las condiciones de la computadora y as
aplicarlo en nuestra ingeniera en sistemas computacionales por medio de la
estructura de datos y en el mantenimiento de nuestra computadora por medio del
software y hardware.
www.monografias.com/teoria-grafos
www.wikipedia.com/matecomp/grafos
www.wikipedia.com/arboles
38
www.buenastareas.com/ensayo-redes