Teora de Grafos juega un papel importante en la fundamentacin matemtica de
las Ciencias de la Computacin. Los grafos constituyen una herramienta bsica para modelar fenmenos discretos y son fundamentales para la comprensin de las estructuras de datos y el anlisis de algoritmos. En este curso se pretende completar, de un modo organiado, los conceptos y t!rminos sobre grafos "ue aparecen en distintas asignaturas del currculo. En todos los temas se incidir fundamentalmente en el tratamiento algortmico de los problemas planteados, como se obser#a en el programa detallado "ue se e$pone a continuacin. El nacimiento del concepto grafos se puede situar, por el a%o &'(), cuando Euler *+atemtico, se con#irti en el padre de la Teora de Grafos al modelar un famoso problema no resuelto, llamado el -.roblema de los puentes de /0nigsberg-. 1n ro con dos islas atra#iesa la ciudad. Las islas estn unidas, entre si y con las orillas, a tra#!s de siete puentes. El problema consista en establecer un recorrido "ue pasara una y solo una #e por cada uno de los siete puentes, partiendo de cual"uier punto y regresando al mismo lugar. .ara probar "ue no era posible, Euler sustituy cada ona de partida por un punto y cada puente por un arco, creando as un grafo, el primer grafo, dise%ado para resol#er un problema. TEORA DE GRAFOS La teora de grafos es un campo de estudio de las matemticas y las ciencias de la computacin, "ue estudia las propiedades de los grafos *tambi!n llamadas grficas, estructuras "ue constan de dos partes, el conjunto de #!rtices, nodos o puntos2 y el conjunto de aristas, lneas o lados "ue pueden ser orientados o no. La teora de grafos es una rama de la +atemtica discreta y de las aplicadas, y es un tratado "ue usa diferentes conceptos de di#ersas reas como 3nlisis combinatorio, 4lgebra abstracta, probabilidad, geometra de polgonos, aritm!tica y topologa. 3ctualmente ha tenido mayor preponderancia en el campo de la informtica, las ciencias de la computacin y las telecomunicaciones. GRAFO 1n grafo es un conjunto de objetos llamados #!rtices o nodos unidos por enlaces llamados aristas o arcos, "ue permiten representar relaciones binarias entre elementos de un conjunto. 5on objeto de estudio de la teora de grafos. Tpicamente, un grafo se representa grficamente como un conjunto de puntos *#!rtices o nodos, unidos por lneas *aristas,. 6esde un punto de #ista prctico, los grafos permiten estudiar las interrelaciones entre unidades "ue interact7an unas con otras. .or ejemplo, una red de computadoras puede representarse y estudiarse mediante un grafo, en el cual los #!rtices representan terminales y las aristas representan cone$iones *las cuales, a su #e, pueden ser cables o cone$iones inalmbricas,. .rcticamente cual"uier problema puede representarse mediante un grafo, y su estudio trasciende a las di#ersas reas de las ciencias e$actas y las ciencias sociales. 2 En teora de grafos, slo "ueda lo esencial del dibujo8 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 cual"uier red puede ser modelada con un grafo8 una red de carreteras "ue conecta ciudades, una red el!ctrica o un alcantarillado. Representacin de grafos E$isten diferentes formas de representar un grafo *simple,, adems de la geom!trica y muchos m!todos para almacenarlos en una computadora. La estructura de datos usada depende de las caractersticas del grafo y el algoritmo usado para manipularlo. Entre las estructuras ms sencillas y usadas se encuentran las listas y las matrices, aun"ue frecuentemente se usa una combinacin de ambas. Representacin Matricia Matriz de adyacencia Es una matri cuadrada en la cual los nodos del grafo se indican como renglones y como columnas. El orden de los nodos es el mismo "ue guardan los renglones y las columnas de la matri. 5e coloca & como elemento de la matri cuando e$iste una relacin entre uno y otro #!rtice, o bien un ) cuando no e$ista relacin alguna. Matriz de incidencia En esta matri se colocan los nodos del grafo como renglones y las aristas como columnas. En esta matri si es posible representar lados paralelos. 3l sumar los 3 elementos de cada una de los renglones se obtiene la #alencia de los nodos, al sumar las columnas es posible distinguir cuando se trata de un lao ya "ue su suma es &. Ca!ino Es una sucesin de lados "ue #an de un nodo x a un nodo w *dichos lados se pueden repetir,. Circ"ito o cico Es un camino del nodo w al nodo w, esto es, un camino "ue regresa al mismo nodo de donde sali. Conecti#idad Grado de cone$in interna de una red. 5e utilia a menudo el en el conte$to restringido de la 9teora de grafos:, para e$presar en "u! grado se conectan los nodos entre s. R"ta Cr$tica de Grafos El +!todo de la ruta crtica o del camino crtico tambi!n conocido por sus siglas en ingl!s C.+ *Critical .ath +ethod,, fue desarrollado en &;<' en los Estados 1nidos de 3m!rica, por un centro de in#estigacin de operaciones para las firmas 6upont y =emington =and, buscando el control y la optimiacin de los costos mediante la planeacin y programacin adecuadas de las acti#idades componentes del proyecto. En administracin, una ruta crtica es la secuencia de los elementos terminales de la red de proyecto con la mayor duracin entre ellos, determinando el 4 tiempo ms corto en el "ue es posible completar el proyecto. La duracin de la ruta crtica determina la duracin del proyecto entero. Cual"uier retraso en un elemento de la ruta crtica afecta a la fecha de t!rmino planeada del proyecto, y se dice "ue no hay holgura en la ruta crtica. 1n proyecto puede tener #arias rutas crticas paralelas. 1na ruta paralela adicional a tra#!s de la red con las duraciones totales menos cortas "ue la ruta crtica es llamada una sub>ruta crtica. ?riginalmente, el m!todo de la ruta crtica consider solamente dependencias entre los elementos terminales. 1n concepto relacionado es la cadena crtica, la cual agrega dependencias de recursos. Cada recurso depende del manejador en el momento donde la ruta crtica se presente. Iso!orfis!o @somorfo #iene de las palabras iso "ue significa igual y morph "ue significa forma. 5e define como a"uel principio "ue se aplica igualmente en diferentes ciencias sociales y naturales. La Teora General de 5istemas busca generaliaciones "ue refieran a la forma en "ue estn organiados los sistemas. El concepto matemtico de isomorfismo pretende captarla idea de tener la misma estructura. 5e afirma "ue sobre la base del desarrollo de modelos formales, con base matemtica, dos sistemas, dos realidades, se comportan soportados por el mismo 9modelo gen!rico:, es decir, mismas #ariables y relaciones. Es como sustituir las #ariables por las letras del lgebra, permaneciendo las ecuaciones sin #ariacin. Tipos de Grafos 5 Grafos simples: 1n grafo es simple si a lo ms e$iste una arista uniendo dos #!rtices cuales"uiera. Esto es e"ui#alente a decir "ue una arista cual"uiera es la 7nica "ue une dos #!rtices especficos. 1n grafo "ue no es simple se denomina multgrafo. Grafo completo: 1n grafo es completo si e$isten aristas uniendo todos los pares posibles de #!rtices. Es decir, todo par de #!rtices *a, b, debe tener una arista e "ue los une. El conjunto de los grafos completos es denominado usualmente K, siendo Kn el grafo completo de n #!rtices. 1n Kn, es decir, grafo completo de n #!rtices tiene e$actamente n(n-1)/2 aristas. La representacin grfica de los como los #!rtices de un polgono regular da cuenta de su peculiar estructura. Grafos Planos: 1n grafo G es planar si admite una representacin en el plano de tal forma "ue las aristas no se cortan, sal#o en sus e$tremos. 3 dicha representacin se le 6 denomina grafo plano. 5e dice "ue un grafo es plano si puede dibujarse en el plano de manera "ue ning7n par de sus aristas se corte. 3 ese dibujo se le llama representacin plana del grafo. Grafo Conexo: 1n grafo se dice "ue es cone$o si cada par de sus #!rtices estn conectados. Es decir, G es cone$o u, v: = [u, v]. En caso contrario, diremos "ue G es un grafo descone$o.
a.> Cone$o. b.> Cone$o. c.> Ao es cone$o. Grafos Ponderados: Llamamos grafos ponderados a los grafos en los "ue se asigna un n7mero a cada una de las aristas. Este n7mero representa un peso para el recorrido 7 a tra#!s de la arista. Este peso podr indicar, por ejemplo, la distancia, el costo monetario o el tiempo in#ertido, entre otros. 6efinimos la longitud de un camino en un grafo ponderado como la suma delos pesos de las aristas de ese camino. Grafo Eleriano: 6cese de los grafos no orientados formados por un ciclo euleriano2 es decir, a"uellos "ue pueden recorrerse completamente desde un #!rtice y regresar al punto de origen sin pasar dos #eces por la misma arista. El nombre de este tipo de grafos pro#iene del matemtico Leonard Euler "uien abord por primera #e el asunto de cmo deban caracteriarse los grafos para poder recorrerse de la manera deseada tras desestimar el problema de los puentes de /0nigsberg. El problema anlogo de recorrido pero "ue en lugar de limitar el doble paso por las aristas lo hace impidiendo "ue se transite dos #eces por los #!rtices ha dado lugar a la e$istencia de los grafos hamiltonianos. Casos particulares 1n grafo =!",#$ no dirigido y cone$o "ue tiene e$actamente B #!rtices de grado impar, entonces tiene un camino euleriano no cerrado. 8 1n grafo =!",#$ no dirigido y cone$o cuyos #!rtices tienen grado par, entonces tiene un ciclo euleriano. %eorema general 5ea un grafo =!",#$ no dirigido y cone$o, entonces las e$presiones siguientes e"ui#alen8 es grafo euleriano. Todos sus #!rtices tienen grado par no nulo. &ro'lema de los puentes de ()nigs'erg El problema de los puentes de /0nigsberg, tambi!n llamado ms especficamente problema de los siete puentes de /0nigsberg, es un c!lebre problema matemtico, resuelto por Leonhard Euler en &'(C y cuya resolucin dio origen a la teora de grafos. 5u nombre se debe a ()nigs'erg, el antiguo nombre "ue reciba la ciudad rusa de /aliningrado, "ue durante el siglo DE@@@ formaba parte de .rusia ?riental, como uno de losducados del =eino de .rusia. Esta ciudad es atra#esada por el ro .regolya, el cual se bifurca para rodear con sus braos a la isla /neiphof, di#idiendo el terreno en cuatro regiones distintas, las "ue entonces estaban unidas mediante siete puentes llamados &uente del herrero, &uente conector, &uente verde, &uente del mercado, &uente de madera, &uente alto y &uente de la miel. El problema fue formulado en el siglo DE@@@ y consista en encontrar un recorrido para cruar a pie toda la ciudad, pasando slo una #e por cada uno de los puentes, y regresando al mismo punto de inicio.
#nlisis * soluci+n del pro'lema 9 El problema, formulado originalmente de manera informal, consista en responder a la siguiente pregunta8 ,-ado el mapa de ()nigs'erg, con el r.o ®ol*a dividiendo el plano en cuatro regiones distintas, /ue estn unidas a trav0s de los siete puentes, 1es posi'le dar un paseo comen2ando desde cual/uiera de estas regiones, pasando por todos los puentes, recorriendo s+lo una ve2 cada uno, * regresando al mismo punto de partida34 La respuesta es negati#a, es decir, no e$iste una ruta con estas caractersticas. El problema puede resol#erse aplicando un m!todo de fuera bruta, lo "ue implica probar todos los posibles recorridos e$istentes. 5in embargo, Euler en &'(C en su publicacin 56olutio pro'lematis ad geometriam situs pertinentis7 demuestra una solucin generaliada del problema, "ue puede aplicarse a cual"uier territorio en "ue ciertos accesos est!n restringidos a ciertas cone$iones, tales como los puentes de /0nigsberg. .ara dicha demostracin, Euler recurre a una abstraccin del mapa, enfocndose e$clusi#amente en las regiones terrestres y las cone$iones entre ellas. Cada puente lo represent mediante una lnea "ue una a dos puntos, cada uno de los cuales representaba una regin diferente. 3s el problema se reduce a decidir si e$iste o no un camino "ue comience por uno de los puntos aules, transite por todas las lneas una 7nica #e, y regrese al mismo punto de partida. F F 10 -emostraci+n Euler determin, en el conte$to del problema, "ue los puntos intermedios de un recorrido posible necesariamente han de estar conectados a un n7mero par de lneas. En efecto, si llegamos a un punto desde alguna lnea, entonces el 7nico modo de salir de ese punto es por una lnea diferente. Esto significa "ue tanto el punto inicial como el final seran los 7nicos "ue podran estar conectados con un n7mero impar de lneas. 5in embargo, el re"uisito adicional del problema dice "ue el punto inicial debe ser igual al final, por lo "ue no podra e$istir ning7n punto conectado con un n7mero impar de lneas. En particular, como en este diagrama los cuatro puntos poseen un n7mero impar de lneas incidentes *tres de ellos inciden en tres lneas, y el restante incide en cinco,, entonces se concluye "ue es imposible definir un camino con las caractersticas buscadas. 8epercusiones Esta abstraccin del problema ideada por Euler dio pie a la primera nocin de grafo, "ue es un tipo de estructura de datos utiliada ampliamente en matemtica discreta y en ciencias de la computacin. 3 los puntos se les llama #!rtices y a las lneas aristas. 3l n7mero de aristas incidentes a un #!rtice se le llama el grado de dicho #!rtice. Especficamente, un diagrama como el de la abstraccin del mapa de /0nigsberg representa un multgrafo no dirigido sin bucles. En la teora de grafos, e$iste un concepto llamado ciclo euleriano, llamado as justamente en honor a Leonhard Euler, "ue representa cual"uier camino dentro de un grafo particular, capa de recorrer todas las aristas una 7nica #e, regresando finalmente al mismo #!rtice original. En coloracin de grafos, una subrea de la teora de grafos, la resolucin de este problema constituye adems el primer teorema de los grafos planares. 11 .or otra parte, la publicacin de Euler es la primera "ue hace alusin a una geometra en "ue slo interesan las propiedades estructurales de los objetos, y no sus medidas, como tradicionalmente se hace. El matemtico llama a esta nue#a manera de #er los objetos geom!tricos Ggeometriam situsH, t!rmino "ue hoy se traduce como topologa, rea actual de la matemtica cuyo origen directo puede situarse en la resolucin de este problema.
Grafos !amiltonianos: En &I<C, el matemtico Jillian Kamilton present al mundo un pule. El juego estaba basado en un dodecaedro regular cuyos B) #!rtices se marcaban cada uno con el nombre de una ciudad importante en a"uella !poca. El juego consista en salir de una determinada ciudad y encontrar una ruta "ue permitiera pasar por todas las dems ciudades una sola #e y regresar al punto de partida. El dodecaedro era tan incmodo de manipular "ue Kamilton desarroll una #ersin del juego, en la "ue lo reemplaaba por un grafo con B) #!rtices unidos mediante () aristas. El grafo resultante se conoce como grafo del dodecaedro. 6ado un determinado grafo, si e$iste alg7n camino en el mismo "ue #erifi"ue las condiciones anteriormente e$puestas se conoce como ciclo hamiltoniano. 3 los grafos "ue admitan recorrer todos sus #!rtices mediante un ciclo hamiltoniano, se les denomina grafos hamiltonianos. 3 pesar de la desesperada lucha de los matemticos, no e$iste hoy en da un teorema alguno "ue nos permita determinar si un grafo es hamiltoniano o no. El m!todo de ensayo y error es la 7nica forma posible de tratar de encontrar uno. 12 AR%O&ES En teora de grafos, un rbol es un grafo en el "ue cuales"uiera dos #!rtices estn conectados por e$actamente un camino. 1n bos"ue es una unin disjunta de rboles. 1n rbol a #eces recibe el nombre de rbol libre. 1n rbol es un grafo simple no dirigido G "ue satisface8 G es cone$o y no tiene ciclos . G no tiene ciclos y, si se a%ade alguna arista se forma un ciclo. G es cone$o y si se le "uita alguna arista deja de ser cone$o. G es cone$o y el grafo completo de ( #!rtices no es un menor de G. 6os #!rtices cuales"uiera de G estn conectados por un 7nico camino simple. Las condiciones anteriores son todas e"ui#alentes, es decir, si se cumple una las dems se cumplirn. 5i un rbol G tiene un n7mero finito de #!rtices, n, entonces tiene n L & aristas. 1n grafo unidireccional simple G es un bos"ue si no tiene ciclos simples. 13 1n rbol dirigido es un grafo dirigido "ue sera un rbol si no se consideraran las direcciones de las aristas. 3lgunos autores restringen la frase al caso en el "ue todas las aristas se dirigen a un #!rtice particular, o todas sus direcciones parten de un #!rtice particular. 1n rbol recibe el nombre de rbol con ra si un #!rtice ha sido designado ra. En este caso las aristas tienen una orientacin natural hacia o desde la ra. Los rboles con ra, a menudo con estructuras adicionales como orden de los #ecinos de cada #!rtice, son una estructura cla#e en informtica2 #!ase rbol *programacin,. 1n rbol eti"uetado es un rbol en el "ue cada #!rtice tiene una 7nica eti"ueta. Los #!rtices de un rbol eti"uetado de n #!rtices reciben normalmente las eti"uetas M&,B,..., nN. 1n rbol regular u homog!neo es un rbol en el "ue cada #!rtice tiene el mismo grado. Iso!orfis!o de Ar'oes 6os grficas *G& y GB, son isomorfas si y slo si e$isten una funcin, f, uno a uno y sobre el conjunto de #!rtices de G& al conjunto de #!rtices de GB "ue preser#a la relacin de adyacencia en los sentidos de los #!rtices #i y #j son adyacentes en G& si y slo si los #!rtices f *#i, y f *#j, son adyacentes en GB. 14 La funcin f del conjunto de #!rtices del rbol T& del ejemplo anterior al conjunto de #!rtices del rbol TB est definido por la relacin. O*a,P&2 f *b,P(2 f*c,PB2 f *d,PQ2 f *e,P< Apicaciones de Ar'oes =epresentacin de estructuras jerr"uicas. ?rganiaciones. 4rbol genealgico. 6irectorios. 3cceso rpido a datos ordenados en n7mero desconocido como #ectores ordenados respecto a #ectores normales. 5istemas de ficheros a#anados. Elementos de representacin en juegos. 5istemas de compresin A(&ICACIONES DE &A TEORA DE GRAFOS 6esde sus orgenes, la Teora de Grafos se utili para la resolucin de juegos matemticos, para el estudio de circuitos el!ctricos y en di#ersas aplicaciones en una multitud de campos tan diferentes como la economa, fsica terica, psicologa, fsica nuclear, lingRstica, sociologa, oologa, tecnologa, antropologa, "umica, biologa, 15 etc. En la actualidad, la teora de grafos sigue aplicndose dentro y fuera de las matemticas. La Teora de Grafos tiene un poderoso apoyo en los problemas de transporte. 6esde un punto de #ista elemental, para "ue sea posible el transporte o la comunicacin, son necesarios puntos concretos de emisin o recepcin y rutas de comunicacin. Estos dos elementos, puntos y rutas, se representan respecti#amente por #!rtices y lados. La figura as obtenida es una red de transporte. 3dems los lados pueden estar orientados seg7n si las rutas de desplaamiento necesitan definirse en un sentido obligatorio o puedan recorrerse en ambos sentidos. 3 menudo interesa fijar la atencin en los posibles trayectos posibles entre dos #!rtices distintos, de tal manera "ue se cumplan algunas condiciones 7tiles como, por ejemplo8 &, (asar por as aristas "na soa #e)* El siguiente problema responde a esta idea8 1n repartidor de propaganda tiene "ue desplaarse por una ona de ciudad depositando octa#illas en los buones. El plano de esta parte de ciudad es un grafo considerando los cruces como #!rtices y las calles como aristas. 3l repartidor le interesa un trayecto de forma "ue #uel#a al punto de salida despu!s de haber pasado por todas las calles una sola #e. .or tanto el problema se reduce a encontrar un camino euleriano cerrado en el grafo "ue consideramos. La forma de conseguirlo es aplicar el teorema de Euler al caso particular de cada plano de ciudad. 3s el problema tendr solucin cuando el grafo sea cone$o y todos los #!rtices tengan grado par. B, (asar por todos os #+rtices de grafo* El problema siguiente responde a este tipo8 1n camin repartidor de bebidas tiene "ue suministrar mercanca a un almac!n distribuidor situados en cada ciudad. 5u problema principal es encontrar el trayecto "ue una todas las ciudades pasando una sola #e por cada una de ellas. 3hora el objeti#o no es pasar por todas las carreteras, sino pasar una sola #e por los puntos de reparto de manera "ue al final se llegue el 16 punto de partida. Este problema consiste en saber si este grafo contiene un ciclo hamiltoniano. Cuando se presentan problemas en los "ue cada arista #iene caracteriada por su distancia o por su capacidad para trasladar objetos por ella, la ri"uea de situaciones se multiplica. Apicaciones de grafos , -r'oes Gracias a la teora de grafos se pueden resol#er di#ersos problemas como por ejemplo la sntesis de circuitos secuenciales, contadores o sistemas de apertura. 5e utilia para diferentes reas por ejemplo, 6ibujo computacional, en todas las reas de @ngeniera. Los grafos se utilian tambi!n para modelar trayectos como el de una lnea de autob7s a tra#!s de las calles de una ciudad, en el "ue podemos obtener caminos ptimos para el trayecto aplicando di#ersos algoritmos como puede ser el algoritmo de Oloyd. .ara la administracin de proyectos, utiliamos t!cnicas en las "ue se modelan los mismos utiliando grafos y optimiando los tiempos para concretar los mismos. La teora de grafos tambi!n ha ser#ido de inspiracin para las ciencias sociales, en especial para desarrollar un concepto no metafrico de red social "ue sustituye los nodos por los actores sociales y #erifica la posicin, centralidad e importancia de cada actor dentro de la red. Esta medida permite cuantificar y abstraer relaciones complejas, de manera "ue la estructura social puede representarse grficamente. .or ejemplo, una red social puede representar la estructura de poder dentro de una sociedad al identificar los #nculos *aristas,, su direccin e intensidad y da idea de la manera en "ue el poder se transmite y a "ui!nes. Los grafos son importantes en el estudio de la biologa y hbitat. El #!rtice representa un hbitat y las aristas representan los senderos de los animales o las migraciones. Con esta informacin, los cientficos pueden entender cmo esto puede cambiar o afectar a las especies en su hbitat. 17 .or ejemplo, supongamos "ue unas lneas a!reas realian #uelos entre las ciudades conectadas por lneas como se #e en la figura anterior *ms adelante se presentaran grafos con estructuras de datos,2 la estructura de datos "ue refleja esta relacin recibe el nombre de grafo. CONC&USIN La teora de grafos es un instrumento utiliado 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. El anlisis de grafos permite medir propiedades territoriales como la cone$in de la red, la conecti#idad e indicadores de homogeneidad e isotropa. Los indicadores ms utiliados son diferentes e$presiones de la accesibilidad. La eficacia de los grafos se basa en su gran podero de abstraccin y la muy clara representacin de cual"uier relacin *de orden, precedencia, etc., lo "ue facilita enormemente tanto la fase de modelado como de resolucin del problema. Gracias la Teora de Grafos se han desarrollado una gran #ariedad de algoritmos y m!todos de resolucin eficaces "ue nos permiten tomar una mejor decisin. 18 %I%&IOGRAFA Gumn. 3. %eor.a de rafos S.gina Teb en lneaU, 6isponible8 http:99www.slideshare.net9agu2man:;;:9teoria<de<grafos<introduccin Kernnde. Gregorio. %eor.a de rafos S.gina Teb en lneaU, 6isponible8 http:99www.dma.fi.upm.es9docencia9segundociclo9teorgraf9 5alas, Cristian. =r'oles * rafos S.gina Teb en lneaU, 6isponible8 http:99www.monografias.com9tra'a>os?@9ar'oles<*<grafos9ar'oles<*< grafos.shtml JiVipedia. rafos. S.gina Teb en lneaU, 6isponible8 http:99es.wiAipedia.org9wiAi9rafos JiVipedia. %eor.a de rafos. S.gina Teb en lneaU, 6isponible8 http:99es.wiAipedia.org9wiAi9%eorBCCB#-aDdeDgrafos 19