Teoria de Grafos
Teoria de Grafos
Teoria de Grafos
Matematicas Discretas
Nov 23, 2017 · 25 min read
11.1 Introducción
Leonhard Euler fue el más grande matemático, filósofo y físico suizo. Nació el 15 de
abril de 1707 en Basilea (Suiza).
Siendo un adolescente ingresó a la Universidad de Basilea, donde a los 17 años de
edad, se graduó Doctor, provocando grandes aplausos con un discurso probatorio.
Trabajó todas las ramas conocidas de la matemática de su época y a todas les aportó
algo. Resolvió el problema de los Puentes de Konigsberg que consistía en lo siguiente:
dos islas en el río Pregel que cruza Königsberg se unen entre ellas y con tierra firme
mediante siete puentes. ¿Es posible dar un paseo empezando por una cualquiera de las
cuatro partes de tierra firme, cruzando cada puente una sola vez y volviendo al punto
de partida?
Euler enfocó el problema representando cada parte de tierra por un punto y cada
puente, por una línea, uniendo los puntos que se corresponden. Entonces, el problema
anterior se puede trasladar a la siguiente pregunta: ¿se puede recorrer el dibujo
terminando en el punto de partida sin repetir las líneas?
Euler demostró que no era posible puesto que el número de líneas que inciden en cada
punto no es par (condición necesaria para entrar y salir de cada punto regresando al
punto de partida por caminos distintos en todo momento). En teoría de los grafos esta
idea se corresponde con la posibilidad de encontrar un Ciclo Euleriano en un grafo.
Entre otras muchas de sus obras Introdujo los símbolos e (como la inicial de su
nombre), la letra pi para dicho número (el honor a la letra inicial de Pitágoras), f(x)
para las funciones, el sumatoria (∑) y el cálculo de i como la raíz cuadrada de -1.
Argumentó que el infinito separaba los números positivos de los negativos de forma
similar a como lo hace el cero. Definió las funciones logarítmicas y exponenciales.
Elaboró e introdujo la integración doble. Descubrió el teorema de la composición de
integrales elípticas. Amplió y perfeccionó la geometría plana y de sólidos. Fue el
primero en considerar el seno y el coseno como funciones. Introdujo los factores
integrantes en las ecuaciones diferenciales. Generalizó la congruencia de Fermat,
introduciendo una expresión que Gauss denominó “indicador”.
Considerado como el padre de la Teoría de Gráficas y como uno de los más grandes
matemáticos de todos los tiempos.
Euler vivió casi durante los diecisiete últimos años de su vida en una ceguera total. Ni
siquiera esta tragedia consiguió interrumpir sus investigaciones y publicaciones, que
continuó al mismo e incluso a mayor ritmo hasta 1783.
En San Petersburgo el 18 de septiembre de 1783, en que, a la edad de setenta y seis
años, murió de manera repentina mientras tomaba el té y jugaba con uno de sus nietos.
La teoría de gráficas o teoría de grafos es aplicada entre otras, en áreas tales como
ciencias sociales, ciencias físicas, ingeniería de comunicación; pero, básicamente juega
un papel importante en las ciencias de la computación, tales como inteligencia
artificial, lenguajes formales, teoría de cambio y lógica de diseño, gráficos por
computadora, sistemas operativos, compiladores, y organización y recuperación de
información, en lo que respecta al modelado de problemas, indicando sus
características de manera muy objetiva.
El concepto de grafo o gráfica es muy diferente a los trazos realizados en matemática
sobre los ejes x e y.
Entre otras aplicaciones se utiliza para:
. Cartografía (coloreado de mapas)
. Modelado matemático
. Urbanistas
Un grafo dirigido es aquel que tiene todas sus aristas dirigidas; es decir, un dígrafo está
asociado a un par ordenado (vea figura 9.1a). Por ejemplo, si w es vértice de partida y
v es vértice de llegada, entonces la arista se asocia a la pareja ordenada (w,v), que es
diferente de (v,w) ; es decir,
Los vértices de donde parten las aristas se denominan vértices salientes y los vértices a
donde llegan las aristas se llaman vértices entrantes.
Según la figura 11.1c se podría interpretar por ejemplo, que para pasar de la actividad
1 a la 3 se tarda un tiempo p2; que pasar de actividad 3 a la 2 se tarda un tiempo p3 y,
de la actividad 2 a la 1 se tardaría un tiempo p1. Un grafo no dirigido puede dibujarse
con aristas dirigidas haciendo que cada lado les corresponda aristas invertidas.
Ejemplo 11.2: en G2 de la figura 11.2, son adyacentes los vértices 1 y 3. Así que la
arista {1,3} incide sobre los vértices 1 y 3
En G1 de la figura 11.2: 1 es adyacente hacia 2 ó 2 es adyacente desde 1, donde la
arista (1,2) incide sobre los vértices 1 y 2.
Ejemplo 11.3: en el grafo de la figura 11.2 la arista e1 incide sobre los vértices 1 y 2;
igualmente, e7 incide sobre los vértices 5 y 6.
La matriz de adyacencia siempre es simétrica (aij = aji). Cuando se trata de grafos con
peso o ponderados en lugar de 1 el valor que tomará será el peso de la arista. Si el grafo
es no dirigido hay que asegurarse que se marca con un 1 (o con el peso) tanto la
entrada a[i] [j] como la entrada a[j] [i], puesto que se puede recorrer en ambos
sentidos.
El algoritmo Implementado en lenguaje C es:
Ejemplo 11.6: el vértice 3 del grafo G3 de la figura 11.3, tiene grado entrante 4 y en el
grafo G1 de la misma figura, el grado entrante del vértice 3 es 1.
Invariantes de grafos isomorfos. Los invariantes de dos grafos simples isomorfos son
tener iguales: 1. El número de vértices; 2. El número de aristas; 3. La correspondencia
entre los grados de los vértices. De tal manera ambos grafos, para alguna ordenación
de vértices y lados, sus matrices de adyacencia son iguales.
A partir de sus invariantes (propiedad que los grafos simples deben cumplir) podremos
mostrar cuando 2 grafos no son isomorfos o lo que es lo mismo, cuando 2 grafos no son
iguales. De tal manera, si en alguna de esas cantidades difieren los grafos simples, se
puede decir que no son isomorfos.
Ejemplo 11.10: determine si los grafos de la figura 11.7 son isomorfos, utilizando sus
matrices de adyacencia.
Solución:
11.8 Grafos Planos
Ejemplo 11.13: en la figura 11.10a, el grafo es conexo, pues dados dos vértices
cualesquiera v y w existe un camino de v a w.
11.10.4 Ciclos
Un ciclo (también llamado circuito) es un camino simple de longitud mínimo 1 que
empieza y termina en el mismo vértice; es decir, es una trayectoria simple en la cual el
primero y el último vértices son el mismo.
Ejemplo 11.20: en la figura 11.21, los vértices a y c son puntos de articulación, pues si
falla uno de estos, se pierde la comunicación entre otros nodos. Si este grafo
representará una red de computadores, y si a o c no funcionaran esto causaría que
ciertos computadores quedasen incomunicados.
Ejemplo 11.21: dibuje dos grafos con seis vértices que tengan exactamente a) dos
puntos de articulación y b) cero puntos de articulación. Solución:
Si la matriz de incidencia sólo contiene ceros y unos (matriz binaria). Como cada arista
incide exactamente en dos vértices, cada columna tiene exactamente dos unos. La
cantidad de unos que aparece en cada fila es igual al grado del vértice correspondiente.
Una fila compuesta sólo por ceros corresponde a un vértice aislado.
Teorema 11.4: (también llamado teorema de DIRAC, que memoriza a Gabriel A. Dirac
en 1952) Un grafo conexo G de n vértices con n ≥ 3 tal que todos los vértices de G
tienen grado mayor o igual que n/2 contiene un ciclo Hamiltoniano. El Teorema de
Dirac dice lo siguiente: Sea un grafo G, con sus vértices y aristas, conexo, con la
cantidad total de vértices n mayor o igual a 3, dicho grafo debe cumplir todas estas
características para poder continuar aplicando el Teorema. Por lo tanto, si el grado de
cada uno de los vértices de este grafo es mayor o igual que la mitad del número total de
vértices de G, entonces este grafo es Hamiltoniano.
Ejemplo 11.23: el grafo G3 de la figura 11.28 tiene ciclo Hamiltoniano
Ejercicio: Ilustre los teoremas 11.3, 11.4 y 11.5 con un ejemplo.
PROBLEMAS RESUELTOS
Problema 10.1: determine si los grafos G y H de la figura 10.29 son isomorfos.
Solución: Los grafos son isomorfos, pues un posible isomorfismo es: f (u1) = v1, f (u2)
= v4, f (u3) = v3, f (u4) = v2
Problema 11.2: qué tipo de camino y de ciclo tiene el grafo de la figura 11.30?
El grafo de la figura 11.30 no tiene ciclo de Euler, pero si camino de Euler, porque tiene
un solo par de nodos de grado impar; además tiene ciclo y camino de Hamilton, porque
desde cualquier par de nodos no adyacentes, la suma de sus grados es mayor o igual
que la mitad de cantidad de vértice.
Problema 11.3: determine, si los grafos G1 y G2 de las figuras 11.31, 11.32, 11.33 son
isomorfos; cuál o cuáles tienen camino y/o ciclo de Euler o de Hamilton.
Solución:
. G1 tiene ciclo y camino de Hamilton, ya que se pueden recorrer todos los vértices, sin
repetir vértice. Además tiene camino de Euler, porque tiene exactamente 2 vértices de
grado impar y permite recorrer todas las aristas sin repetir arista, basta con partir
desde un vértice de grado impar hasta el otro vértice de grado impar: parta de a y
llegue e. Pero no tiene ciclo de Euler ya que todos sus nodos no son de grado par.
Problema 11.5: dibuje un grafo que tenga las siguientes características; grafo plano
conexo con 9 vértices y con grados 2, 2, 2, 3, 3, 3, 4, 4 y 5. En efecto, El grafo de la
figura 10.38 tiene 14 aristas, 6 caras. En efecto, cumple con las condiciones de una
gráfica plana (7caras-14aristas+9vertices=2).
PROBLEMAS RESUELTOS
G1:
AUTOEVALUACION 11
A) es un grafo regular
D) es un grafo bipartito
TALLER 11
1. Dibuje un grafo de 7 vértices con:
a. 0 puntos de articulación
b. 1 punto de articulación
c. 2 puntos de articulación
3. Un grafo G es bipartito si y solo si todos sus ciclos tienen longitud par. En caso tal que
la afirmación sea cierta ilústrelo con un ejemplo.
4. Un grafo conexo G que tenga exactamente dos vértices v y w de grado impar, tiene
un camino entre v y w. En caso tal que la afirmación sea cierta ilústrelo con un ejemplo.
5. Si una gráfica G tiene más de dos vértices de grado impar, entonces ¿G no puede
tener un camino de Euler?. Ilustre su afirmación con un ejemplo.
6. Si G es un grafo conexo que tiene exactamente dos vértices de grado impar, entonces
tiene un camino Euler (basta con partir de vértice de grado impar para llegar al otro
vértice de grado impar). Ilustre la afirmación con un ejemplo usando grafos de 5 y de 6
vértices.
9. Dibuje dos grafos que no sean Eulerianos.
11.1 Marque con X la respuesta correcta y en caso afirmativo complete el resto,
teniendo en
cuenta el grafo 3, que representa la internet de una empresa donde cada nodo
corresponde
a las oficinas de un departamento. Puede afirmarse según la figura 11.42
11.2 En el grafo 4, cada arista corresponde a las carreteras para ir de una ciudad a otra.
Puede
afirmarse según la figura 11.43
13. Los dígrafos DG1 y DG2, DG3 y DG4, DG5 y DG6 representan grafos de la figura
11.45 que son
isomorfos? Dichos grafos son planos?. Compruebe sus respuestas llenado la
Tabla de la figura 11.46 con X según el grafo, siendo n: número de vértices y a: número
de aristas,
r: número de regiones (en caso de ser plano)
17. Haga un programa que halle la matriz potencia (definida por el usuario).
Mathematics