ESCUELA SUPERIOR POLITCNICA DE CHIMBORAZO

FACULTAD DE INFORMTICA Y ELECTRNICA

ESCUELA DE INGENIERA ELECTRNICA, CONTROL Y REDES
INDUSTRIALES
INVESTIGACIN OPERATIVA
Nombr!
Omys
Sm"#r!
Quinto
Pro$"or!
Dr.
Riobamba, 6 de Junio del 201
TEMA
% TEOREMA DE GRAFOS &
INTRODUCCIN
La Teora de Grafos juega un papel importante en la fundamentacin
matemtica de las Ciencias de la Computacin. Los grafos constituyen una
herramienta bsica para modelizar fenmenos discretos y son
fundamentales para la comprensin de las estructuras de datos y el anlisis
de algoritmos.
La construccin de un modelo es, en esencia, un proceso consistente en
decidir cules son las caractersticas o aspectos de un problema o aplicacin
del mundo real ue hay ue representar para su anlisis o estudio.
OB'ETIVOS
Ob(#)*o G+r,-
Comprender y manejar los conceptos y problemas bsicos
de la teora de grafos.
Ob(#)*o" E"./0$)/o"
Comprender y manejar los m!todos usados en las
demostraciones de algunos resultados en teora de grafos.
"er capaz de aplicar resultados tericos a algunos
problemas particulares de grafos.
#oder relacionar la teora de grafos con problemas de otras
ramas o disciplinas de nuestra carrera
MARCO TEORICO
D$)+)/)1+!
$n grafo es una pareja G % &', (), donde ' es un conjunto de puntos,
llamados *!rtices, y ( es un conjunto de pares de *!rtices, llamadas aristas.
#ara simplificar, notaremos la arista +a, b, como ab.
-n teora de grafos, slo ueda lo esencial del dibujo la forma de las aristas
no son rele*antes, slo importa a u! *!rtices estn unidas. La posicin de
los *!rtices tampoco importa, y se puede *ariar para obtener un grafo ms
claro. Generalmente, se considera ue colocar los *!rtices en forma de
polgono regular da grafos muy legibles.
#rcticamente cualuier red puede ser modelada con un grafo, una red de
carreteras ue conecta ciudades, una red el!ctrica o un alcantarillado
Por ejemplo el grafo:
G % & +*.,*/,*0.*1,,+ 2*.,*/3 ,2*/,*03, 2*0,*13,2*1,*.3,2*.,*03,)
.
C,r,/#r)2,/)1+ 3 Gr,$o"
Grafos Simples.-
$n grafo es simple si a lo sumo slo . arista une dos *!rtices cualesuiera.
-sto es eui*alente a decir ue una arista cualuiera es la 4nica ue une
dos *!rtices especficos. $n grafo ue no es simple se denomina complejo.
Grafos Conexos.-
$n grafo es cone5o si cada par de *!rtices est conectado por un camino6 es
decir, si para cualuier par de *!rtices &a, b), e5iste al menos un camino
posible desde a hacia b.
$n grafo es fuertemente cone5o si cada par de *!rtices est conectado por
al menos dos caminos disjuntos6 es decir, es cone5o y no e5iste un *!rtice
tal ue al sacarlo el grafo resultante sea disco ne5o.
-n t!rminos matemticos la propiedad de un grafo de ser &fuertemente)
cone5o permite establecer en base a !l una relacin de eui*alencia para
sus *!rtices, la cual lle*a a una particin de !stos en 7componentes
&fuertemente) cone5as7, es decir, porciones del grafo, ue son &fuertemente)
cone5as cuando se consideran como grafos aislados. -sta propiedad es
importante para muchas demostraciones en teora de grafos.
Grafos Completos.-
$n grafo simple es completo si e5isten aristas uniendo todos los pares
posibles de *!rtices. -s decir, todo par de *!rtices &a, b) debe tener una
arista e ue los une.
-l conjunto de los grafos completos es denominado usualmente , siendo el
grafo completo de n *!rtices, es decir, grafo completo de n *!rtices tiene
e5actamente aristas.
Pro.)3,3"
8os aristas de un grafo son llamadas adyacentes si tienen un *!rtice en
com4n.
8e forma similar, dos *!rtices son llamados adyacentes si una arista los une.
"e dice ue una arista es incidente a un *!rtice si !sta lo une a otro. "i un
grafo slo tiene un *!rtice y ninguna arista, se le conoce como tri*ial. "i un
grafo no tiene ni *!rtices ni aristas, se conoce como *aco nulo, aunue no
hay un consenso sobre si deba de seguir e5istiendo, ya ue no cumple con
muchas propiedades.
-n un grafo dgrafo ponderado, a cada arista se le asocia un *alor, como
costo, peso, longitud, etc. seg4n sea lo ue modele, en general se usan para
problemas de optimizacin como el problema del *endedor o el camino
ptimo.
9ormalmente los *!rtices y las aristas de un grafo, por su naturaleza como
elementos de un conjunto, son distinguibles. -ste tipo de grafos son
llamados etiuetados, tambi!n pueden slo etiuetarse los *!rtices o aristas.
C,m)+o" 4 C)r/5)#o"
Caminos
Camino Euleriano.- -s un camino ue contiene cada arista e5actamente
una sola *ez.
Camino Hamiltoneano.- -s un camino ue contiene cada arista
e5actamente una sola *ez.
#or ejemplo, un caballo puede recorrer todas las casillas de un tablero de
ajedrez sin pasar dos *eces por la misma.
Circuitos
$n circuito es un camino cerrado en el ue no se repiten aristas. -s una
trayectoria cerrada o sea el nodo inicial y el final de la trayectoria coinciden.
Ciclos Hamiltonianos.
Los circuitos de :amilton son llamados as en honor de "ir ;illiam <o=an
:amilton, uien patento un juego con la forma de un dodecaedro, a
mediados del siglo >?>.
Cada esuina del dodecaedro tena el nombre de una ciudad y el problema
era comenzar en cualuier ciudad, *iajar a lo largo de las lneas, *isitar cada
poblacin e5actamente una *ez y *ol*er al punto de partida.
8ado un grafo no dirigido G, un ciclo hamiltoniano es un ciclo simple ue
*isita todos los *!rtices.
$n ciclo hamiltoniano en un grafo es un camino ue contiene a todos los
*!rtices delgrafo e5actamente una *ez &sal*o *@%*n, si el camino es
cerrado).
$n circuito hamiltoniano, o de :amilton, en un grafo G es un camino ue
comienza y termina en un mismo *!rtice, pasando e5actamente una *ez por
cada *!rtice.
Cualuier ciclo hamiltoniano puede ser con*ertido en un camino
hamiltoniano eliminando cualuiera de sus *!rtices, pero un camino
hamiltoniano puede ser e5tendido en ciclo slo si los *!rtices de los
e5tremos son adyacentes.
( diferencia de la situacin relacionada con los circuitos de -uler, no hay
condiciones necesarias y suficientes para la e5istencia de los circuitos de
:amilton en un grafo ue se puedan *erificar con facilidad. (unue e5isten
algoritmos para encontrar circuitos de -uler, si es ue e5isten, en un grafo
de n lados en un tiempo A&n), todo algoritmo conocido para establecer
circuitos hamiltonianos reuiere, al menos, un tiempo e5ponencial o factorial
en el peor de los casos
Torm,
#ara un grafo con n *!rtices, sea BdC la distancia total de un circuito
hamiltoniano obtenido de acuerdo con el m!todo del *ecino ms cercano y
sea Bd@C la distancia total de un circuito hamiltoniano mnimo. -ntonces debe
de cumplir con
A.-)/,/)1+
$na aplicacin frecuente de la teora de grafos es la del m!todo de camino
hamiltoniano ptimo para decidir el camino a seguir por un cobrador, de tal
modo de economizar sus energas, las suelas de sus zapatos y su bolsillo.
-l objeti*o es hallar un camino ue pase por todas las casas una y solo una
*ez y ue nos d! el costo menor en distancia. 8icho de otro modo, se deben
buscar las permutaciones de las casas de forma tal ue la distancia recorrida
total sea mnima.
"e conoce la distancia entre cada par de casas, seg4n si las calles son
flechadas o no se orientarn o no las cone5iones entre pares de casas.
Abs!r*ese ue si se hicieran todas las permutaciones, suponiendo un caso
muy reducido de diez casas, se tendran ms de 0 millones de
permutaciones &.@D).
"i cada casa es representada por un *!rtice y cada camino entre par de
casas por una arista ponderada por la distancia mnima entre pares de
casas, tendremos un grafo completo y sim!trico &cuando no hay calles
flechadas).
-l problema se reduce entonces, a obtener un camino hamiltoniano ptimo.
Todo algoritmo conocido para encontrar ciclos hamiltonianos reuiere al
menos un tiempo e5ponencial de clculo, o factorial en el peor de los casos.
CONCLUCIONES
La Teora de Grafos es una de las ramas de la matemtica ue
ha crecido con ms *italidad en los 4ltimos tiempos, sobre todo
por su adecuacin a la modelacin y resolucin de problemas
de reas muy di*ersas, mayoritariamente unida al *ertiginoso
desarrollo de la informtica y las telecomunicaciones.
La teora de grafos es un instrumento utilizado en la aplicacin
de estos m!todos, permiti!ndonos e*aluar las relaciones entre
los puntos del espacio conectados por la red, buscando medir
su influencia sobre la conformacin del sistema territorial.
RECOMENDACIONES
<eferente a nuestra carrera se podra recomendar, tener en
cuenta el anlisis de grafos antes de realizar una cone5in de la
red.
BIBLIOGRAFIA
httpEFF===.dma.fi.upm.esFdocenciaFsegundocicloFteorgrafF
httpEFF===.fing.edu.uyFincoFgruposFbioinfFbioinfo.FteoricoFgrafos.pdf