Está en la página 1de 14

“TEORIA DE GRAFOS”

INTRODUCCION

En matemáticas y en ciencias de la computación, la teoría de grafos (también llamadateoría de


las gráficas) estudia las propiedades de los grafos (también llamadasgráficas). Un grafo es un
conjunto, no vacío, de objetos llamados vértices (o nodos) y una selección de pares de vértices,
llamados aristas (edges en inglés) que pueden ser orientados o no. Típicamente, un grafo se
representa mediante una serie de puntos (los vértices) conectados por líneas (las aristas).

En este trabajo, estan los apuntes mas importantes en base a este tema, el cual tiene que ser
estudiado profundamente para ser comprendido perfectamente

TEORIA DE GRAFOS
El concepto de grafica es tan simple, que resulta difícil creer que su estudio se
haya convertido en una de las areas mas ricas y fascinantes de las
matematicas.

También resulta difícil creer que objetos matematicos tan simples formados de
puntos (vértices) unidos por la línea (aristas) hayan encontrado una gama tan
amplia de aplicaciones que incluyen campos tan diversos como la química,
biología, física, genética, sociología, economía, ciencias de la computación,
geografía, arquitectura, transporte y comunicaciones.

Arista

Vértice

El proceso de representar un problema cotidiando en términos matematicos se


conoce como moderación matematica, y en el caso que nos ocupa, el proceso
involucra la posibilidad de atacar el problema utilizando las técnicas de la teoría
de grafos.

EJEMPLO DE MODELACION MATEMATICA

Los puentes de königsber

El suizo Leonhard Euler dio la solución de un problema de geometría de


posición sobre los puentes de königsber, el cual era un puerto de la antigua
Alemania, situado en la costa sur del mar baltico, cerca de la desembocadura
del rio pregel.

El rio dividia a la ciudad en 4 areas de tierra separadas, y había siete puentes


que le permitían a los habitantes a cruzar el rio para poder trasladar de una
parte a otra de la ciudad.

En la sig. Figura muestra la distribución de la ciudad de königsber en el siglo


XVIII.

La pregunta que intrigaba a los


ciudadanos es la siguiente:
¿sera posible caminar por toda la ciudad cruzando cada uno de los siete
puentes exactamente una sola vez.

Euler resolvió el problema demostrando matemáticamente que realizar el


recorrido era imposible. De hecho euler se planteo y resolvió el problema mas
general “Dada cualesquiera configuración del rio, areas de tierra y puentes
encontrar un criterio general para decidir si existe un recorrido era imposible.
De hecho Euler se planteó y resolvió el problema muy general “Dada
cualesquiera configuración de rìo, àreas de tierra y puentes, encontrar un
criterio general para decidir si existe un recorrido en el que se crucen cada uno
de los puentes

Exactamente una vez”.

A continuación mostramos el modelo matematico que presento euler:

A D

Gráfica.

En términos de este modelo el problema es equivalente a:

¿es posible trazar la grafica de la figura anterior sin despegar el lápiz de del
papel y sin volver a trazar ninguna porción de un línea?

DEFINICION DE GRAFICA
Es un diagrama que consiste de puntos (vértices), unidos por líneas llamadas
aristas. Cada arista conecta a dos vértices.

Las aristas no tienen que ser líneas rectas; pueden ser arcos, segmentos
curvos, ondulados, etc.

Cuando una arista conecta a un vértice con el mismo de le llama lazo. Cuando
mas de una arista se conecta a los mismos dos vértices se llaman aristas
multiples.

La siguiente figura muestra una grafica que tiene 5 vertices y 7 aristas.

A
D

No existe ninguna regla que nos diga que tenemos que etiquetar los vértices o
las aristas

Podemos especificar una arista nombrando los 2 vertices que unen. Por
ejemplo, podemos hablar de la arista AB y de la arista BE

Rosa Lorena Angélica María

Fernando Rafael Luis Filiberto

¿La figura anterior muestra una grafica?

Aunque los vértices están etiquetados con nombres propios, hay vértices y hay
aristas y, por lo tanto, la respuesta es si, la grafica esta formada de dos
pedazos desconectados entre si.

Una grafica es conexa si consiste de una sola pieza. Si consiste de varios


pedazos se llama disconexa y a los pedazos se les llama componentes.

Recordemos que con frecuencia las graficas son utilizadas para registrar
información, acerca de relaciones o viculos entre objetos.
A B A B

DV C D C

Figura (a) Figura (b)

La figura a muestra una grafica que tiene cuatro vértices y que no tiene aristas,
se llaman graficas nulas.

La figura b muestra una grafica en la que cualquier par de vértices esta unido
por una única arista estas graficas se llaman graficas completas.

En el siguiente ejemplo, este se conoce como el problema de los servicios


públicos se refiera a la necesidad de conectar tres casas a,b,c a 3 servicios
públicos: agua, gas y electricidad. Por razones de seguridad es necesario que
las conexiones no se cruzen entre si ¿es posile conectar los servicios?

Una grafica esta determinada a partir de conocer sus vértices y de saber cuales
aristas unen a que pares de vértices, en el momento en que se tiene esta
información podemos dibujar la grafica y en principio cualquier dibujo es tan
bueno cmo cualquier otro. En otras palabras podemos describir completamente
la grafica listando sus vértices y sus aristas en cualquier orden.

DEFINICION DEFINITIVA DE GRAFICA

Una grafica G consiste de un conjunto finito no vacio de objetos llamados


vértices y de un conjunto de parejas no ordenadas de vértices llamadas aristas.

LOS TEOREMAS DE EULER

El problema de los puentes de königsber es equivalente a la grafica de la


siguiente figura

Intentando dibujar la grafica de un solo trazo continuo y sin levantar el lápiz del
papel; euler descubrió la solución a problemas mucho mas generales de este
mismo tipo.
Euler encontró que la clave para la solución de este tipo de problemas estaba
relacionada con el grado de cada vértice de la grafica.

CONCEPTOS BASICOS DE GRAFICAS

El grado de un vértice es el numero de aristas que se encuentran en ese


vértice.

Por ejemplo: la grafica de los puentes de königsber, cinco aristas se


encuentran en el vértice A por lo tanto se dice que el grado de ese vértice es de
5 y se denota por gr(A)=5

Una trayectoria es una sucesión de vértices con la propiedad de que cada


vértice es adyacente al siguiente y tal que en la correspondiente sucesión de
aristas todas las aristas son distintas, un vértice si puede aparecer en una
trayectoria más de una vez.

Un circuito es una trayectoria que inicia y termina en el mismo vertice (no


pasan por la misma arista)

Una grafica es conexa si cualquiera de sus 2 vertices se pueden unir con una
trayectoria. Una grafica disconexa esta formada de varios pedazos, cada uno
de los cuales es una grafica conexa.

En una grafica conexa un puente, es una arista tal que al eliminarla, la grafica
se vuelve disconexa.

TRAYECTORIA Y CIRCUITOS EULEREANOS

En honor de euler, se le llama una trayectoria de euler, a una trayectoria que


recorre todas las aristas de una grafica conexa. Analogamente un circuito de
euler es un circuito que recorre todas las aristas de una grafica conexa.

B F

A G
D E
Trayectoria si hay. (DC, CA, AB, BD, DE) (EF, FG, GH, HE)

Circuito no hay.

En terminos de estas nuevas definiciones dada cualquier grafica conexa G


queremos saber:

¿existe una trayectoria de euler en G?

¿existe un circuito de euler en G?

Los teoremas de euer proporcionan criterios generales para decidir si existen


trayectorias o circuitos de euler.

Recordemos que el problema de los puentes de konigsber es equivalente al


problema de decidir si existe una trayectoria de euler, veamos cual es el
argumento de euler para argumentar que no existe.

En terminos de la grafica euler analiza que al llegar un vertice debemos poder


abandonarlo usando otra arista. Si el grado de un vertice es impar, el numero
de aristas que lleguen a el no pueden ser igual al numero de aristas que salen
de el. Y esto significa que un vertice de grado impar tiene que ser el punto
inicial o el punto final de la trayectoria. Como solamente puede aber un punto
final y un punto inicial, esto significa que si mas de 2 vertices tienen grado
impar, entonces no existe una trayectoria de euler.

La misma discusion que se puede usar para investigar la existencia de circuitos


de euler. En un circuito el punto inicial coincide con el punto final podemos
concluir que para que exista un circuito de euler en una grafica (G), todos los
vertices tienen que tener grado par.

TEOREMAS DE EULER

Exstencia de trayectorias de euler:


a) Si una grafica tiene mas de dos vertices de grado impar entonces no
puede tener una trayectoria de euler
b) Si una grafica conexa tiene exactamente 2 vertices de grado impar,
entonces tiene por lo menos una trayectoria de euler, cualquier
trayectoria de euler debe iniciar en uno de los vertices de grado impar y
terminar en el otro.

Existencia de circuitos de euler:

a) Si en una grafica algun vertice tiene grado impar, entonces no puede


haber un circuito de euler.
b) Si todos los vertices de una grafica conexa tiene grado par, entonces
hay por lo menos un circuito de euler.

ALGORITMOS DE FLEURY

Los teoremas de euler nos proporcionan criterios my simples para decidir si


una grafica posee una trayectoria o un circuito de euler, desafortunadamente
los teoremas de euler, no nos ayudan a encontrarlos en caso de que existan.
Los hemos encontrado por medio de ensayo y error.

Reglas del algoritmo de fleury:

1.- cerciorate que la grafica sea conexa y que todos sus vertices tengn grado
par.

2.-elige un vertice inicial de manera arbitraria

3.-en cada paso recorre cualquier arista disponible, eligiendo un puente, solo
cuando no haya alternativa.

4.- despues de recorrer cualquier arista, borrala y recorre otra arista disponible.
Borra los vertices de grado cero que resulten.

5.- cuando ya no puedas seguir el recorrido, para; abras encontrado un circuito


de euler.

Ejemplo: A B

La grafica anterior tiene un circuito de euler, sabemos


D esto por que todos los
F
vertices tienen grado Epar. Aunque esta grafica es muy simple y podemos
C
encontrar un circuito de euler por ensayo y error, lo encontraremos usando el
algortimo de fleury.

Usamos el algoritmo de fleury para encontrar circuitos de euler ¿Qué pasa en


el caso de trayectorias de euler?

Si una grafica conexa tiene exactamente dos vertices de grado impar, entonces
sabemos por los teoremas de euler, que no tiene un circuito de euler pero si
tiene al menos una trayectoria de euler que empieza y termina en dichos
vertices, podemos encontrar una trayectoria de euler usando una version
modificada del alforitmo de fleury, esta modificacion consiste en dejar las reglas
3, 4 y 5 exactamente como estan y cambiar las reglas 1 y 2 por;

Regla 1 modificada: serciorate que la grafica sea conexa, y que tenga


exactamente 2 vertices de grado impar.

Regla 2 modificada: Elige como vertice inicial uno de los vertices de grado
impar.

Cuando se apliquen estas reglas, el recorrido terminara en el otro vertice de


graadi impar.

EULERIZACION Y SEMIEULERIZACION

Supongamos que necesitamos diseñar una ruta eficiente para un camion


recolector de basura que debe recorrer todas las calles del mapa de la figura
siguiente.

La siguiente grafica representa el modelo de calles de la grafica anterior.

¿podemos encontrar un circuito de euler y una trayectoria de euler en el


modelos de grafica anterior?
E F G
Com la grafica tiene 4 vertices de grado impar la respuesta es no, esto significa
que nos es posible diseñar una ruta para el camion, sin que tenga que volver, a
recorrer alguna de ellas.

Observemos la grafiaca siguiente: A B C

E F G
El procedimiento mediante el cual se modifica una grafica, agregando aristas
adicionales para convertir los vertices grado impar en vertices grado par, se le
llama eulerizacion de grafica.

Es muy importante tener en cuenta que no podemos agregar cualquier tipo de


aristas. Las aristas que se agregar deben ser duplicada de aristas que ya
existan en la grafica.

La siguiente figura muestra una Eulerizacion permitida pero poco eficiente. Es


permitida porque hemos convertido todos los vértices de grado impar en
vértices de grado par agregando duplicados de aristas que ya existían en la
gráfica original, pero es poco eficiente porque pudimos haber conseguido el
mismo efecto agregando menos duplicados de aristas existentes. Si viajar por
una arista tiene un costo, no queremos duplicar másaristas de las
absolutamente necesarias.

Grafica original. Grafica con eulerizacion


permitida.
La siguiente gráfica muestra una eulerizacion óptima de la gráfica original. Esta
eulerizacion es óptima porque tiene el mínimonúmero de duplicado de aristas,
son 8. En este caso sabemos que hay 8 aristas que tenemos que recorrer 2
veces y además sabemos exactamente cuáles son. La siguiente figura muestra
un ejemplo de un recorrido óptimo obtenido usando el algoritmo de Fleury:

Considerando nuevamente la
gráfica original y si queremos
recorrer todas las aristas de
esta gráfica duplicando el
menor número de ellas, pero
esta vez sin querer que el
recorrido inicie y termine en
el mismo lugar, le
llamaremos al procedimiento
Semi-eulerizacion de la
gráfica, que consiste en
agregar las aristas
adicionales necesarias para transformar todos los vértices de grado impar con
excepción de 2, en vértices de grado par. Los dos vértices que permanecen
con grado impar los usaremos como los puntos inicial y final de nuestras
trayectorias.

La siguiente figura muestra una semi-eulerizacion óptima de la gráfica original,


con los vértices D y F permaneciendo como los dos vértices de grado impar.
Todos los demás que eran de grado impar (B, C, G, H, J, K, L, N, O, y P) son
de grado par.

Por lo tanto esta gráfica nos muestra que es posible recorrer todas las aristas
empezando en el vértice D y terminando en el vértice F, duplicando solamente
6 aristas.
CONCLUSION.

Se llegó a la conclusión de que en este trabajo se plasmó todo lo visto en clase


de la materia de Matemáticas Discretas II de la Unidad II con relación al tema
de Teoría de Grafos y todas sus definiciones, así como sus diferentes formas
de representación ayudándonos a recordar y estudiar más acerca de este tema
que nos será de mucha utilidad en un futuro.

También podría gustarte