UN" junio 1998, pp. 11-26 ARTICULOS Una breve introduccién a la teoria de grafos Amador Menéndez Velazquez E XISTE cierto tipo de problemas que ‘inicamente tienen En eute arfulo peesentamos una breve inttoducién o la Teoria do lee Grofor. La Teoria de oe Grafoe et un ‘femplo de una rome de la Ciencia que he surgi y ‘valucionade para it proporcionando solciones a problemas conertos, Lo Teoria de los Grofos se uilza euinriamente, ‘aunque quzés da una forma inconsciente, on le Guinea, la Fisica, la Electronica, lo Informatica... Par aro hemos creide conveniante prasentar fn un oreo de esta revisto los bates de dicha teria junto con algunas poribles ‘plicaciones adecundos pote abordar en el cula de ‘Secundario que ver con un determinado ntimero de puntos y ciertos twazos que los unen. La teoria de los grafos (Ore, 1995 y Biggs, 1974) es la rama de la Matemética Discreta GBujalance y otros, 1993) que se ocupa de tal tipo de problemas. La conectividad entre los elementos de un Conjunto es pues el objetivo fundamental de la teoria de los grafos, La teorla de Jos grafos es una de las areas de la ‘Matematica cuyo desarrollo ha estado siempre motivado por sus aplicaciones. Asi, el primer ariculo conocido sobre la misma fue escrito por Euler y publicado en 1736 para dar solucién al célebre problema de los puentes de Konigsberg. La situacién era Ia siguiente: Bs posible encontrar una futa en la cudad que recorra los siete puentes, cruzando cada uno de ellos una sola vez y regre- sando al punto de partida? Buler demostré que no era posible, Ast surgié el concepto de grafo euleriano que, informalmente hablando, es aquel grafo que puede ser dibujado sin levantar el Mipiz del papel, sin pasar dos veces por la misma linea y acabando en el punto de par- tide A partir de tal fecha muchos matemiticos importan- tes han realizado consibuciones, En los siglos XVII y XIX se puede citar a Euler, Vandermonde, Cauchy, Hamilton, Kempe, Tait, Heawood, Kirchoff y Petersen, centre otros. Durante este siglo, los estudios en este terre- no no han cesado y ou0 hito en Ia historia de la Teoria de los Grafos fue la aparicion en 1936 del primer texto sobre este tpico escrito por D, Kénig (1936). Desde sus origenes, la Teoria de los Grafos se utiiz6 para Ia resolu- cién de juegos matemiticos, para el estudio de circuitos, léctricos y en diversas aplicaciones en una multitud de campos tan diferentes como la economia (Avondo- Bodino, 1962), fisiea teérica (Haray, 1967 y Capra, 1979), psicologia (Cartwright y Haray, 1963), fisica nuclear(attuck, 1967), linguistica (Culik, 196, sociologi GFlament, 1963), zoologia (Lissowsky, 1971), tecnologi (orach y Hask6, 1972), antropologia (Hage y Haray 1983), computaci6n (Even, 1979), biologta (Roberts, 1989), Ingenieria (Johnson y Johnson, 1972), quimica (Balaban, 1976 y Thingjtic, 1977)... En la actualidad, la teoria de los grafos sigue aplicindose dentwo y fuera dle las matematicas ¥¥ continéa siendo una rama de investigacién muy activa as aplicaciones de la teoria de los grafos a la informatica (por ejemplo, para la representacion de datos o diseiio de redes) han despertado interés en aspectos conctetos de la teoria, como pueden ser la bisqueda de algoritmos ade ccuados para la exploraci6n de grafos. La teoria de los grafos estd estrechamente ligada a otros ‘campos de la matemética como la topologfa (en realidad la teorfa de los grafos es topologia monodimensional), la teorfa de grupos, la teoria de conjuntos y la combinatoria A continuacién expondremos los conceptos fundamenta les de la teoria y algunas aplicaciones de la misma. El estudiante de Ensehanza Secundaria pods darse cuenta de que el concepto de grafo ya lo ha utilizdo, quizis Inconscientemente, a lo largo de sus estudios. Asi, por cjemplo, las leyes de Kirchoff o las férmulas estructurales de Jos compuestos quimicos son una manifestaci6n ine quivoca de la teorfa de los grafos. El concepto de grafo los grafos pueden ser considerados formalmente como diagramas 0 dibujos (representacién diagramética), 0 bien algebraicamente como un par de conjuntos (representa ci6n algebraica), Definici6n geomérica Geométticamente, un grafo G es un conjunto de puntos cen el espacio, algunos de los cuales estén uniclos entre si ‘mediante lineas. En la figura 1 mostramos un ejemplo de rato, Figura 1, Representacién geométrica del grafo G | xe grafo pede representar una mult- tud de situaciones posibies de la vida real. Pod simbolizar por ejemplo, un mapa de carreteras, donde los puntos representarian pueblos o civdades y las lineas las carreteras que une Ins ciudae des entre si En este caso, el grifo nos informaria de ls posibles comunicacio- nes que existen entre las ciudades, Pero este mismo. grafo también podria esquematizr un circuito electico, una molécula quimiea (donde los puntos serfan los atomos y as Fines los enla- ces quimicos), ete. Debemos de adver ts, no obstante, que un grafo contiene tinicamenteinformacién topolégica, es deci, informacién sobre las conectivi- dades entre puntos, careciendo de in formacion geomética en el sentido eu- clideo (distancia, Angulos..). As, los dos dibujos mostrados en la figura 2 re- presentan en realidad el mismo grafo Figura 2. Dos representaciones geométricas diferentes de un mismo grafo Recordemos al estudiante que la teoria de los grafos es topologia monodimen- sional y la topologia se puede definir como la sgeometria de la distorsione (ver figura 3) fb Figura 3. Una deformacién econtinvas de un objeto conserva la forma ftopologia} del mismo.Definicion algebraica ‘Acabamos de ver que un grafo G es un ‘conjunto de puntos y de Tineas conec tando algunas parejas de puntos. Esta dfinicién nos proporciona una vision ‘muy intuitiva del concepto de grafo. Si quetemos formalizar el concepto de ‘grafo, debemos recurtit al dlgebra, hae endo previamente mencién explicita 1 dos conjuntos: el conjunto de los tices (vertex set), V , y el conjunto de los lados Gedge set), E, det grafo G. [Asi, algebraicamente, un grafo G se define como un par ordenado G~W, B= W@, EG) donde V es un conjunto no vacio de ‘puntos del espacio topologico, también conoeides como vértices 0 nodos, y E es un conjunto de pares no ordenados de elementos distintos de V, denomina- dos lado, lineas 0 aristas. Ea la mayo- ria de los casos de interés. prictico, ‘ambos conjuntos son finits. Si dos vér= tices #y J estén unidos por una misma arista, diremos que los vértices fy json advacentes, y representaremos Ia arista correspondiente por Gi, ) 0 G, D, ya que, segiin hemos advertido, se trata de tun par no ordenado. También podemos decir que los vertices iy json dos ver tees wecinos, que som los extremos de tun mismo lado, o que son incidentes al lado G, ). Por otra parte, diremos que dos lados son adyacentes si ticnen al menos un vértice en comin, Para poder sepresentar algebraicamente un rao es necesario que esté etiquetado, cs decis, que los vértices se distingan unos de otros mediante etiquetas, las cuales pueden ser ntimeros o letra. En la figura 4 mostramos como ejemplo un etiquetado posible del grafo G ante- riormente considerado. Figuea 4. Biquetede del grfo simple G Los grafos son usados con frecuencia | para representar redes de comunicacion 0 transporte. 1a representaci6n algebraica de este grafo viene dada por (notacién explicita) G-W, B=), EG) V=V@ =O Yy Vy VE EEG (5 VDs Was WDs Wn VD Wy YD! donde v, hace alusién al venice con Ja etiqueta £ Una representacién altesativa (notacin simpliicada es: G=W, B= WG), EG) V= VG) = (1, 2,3, 41 E= EG) = (0, D, 2,3), 2,4, GA! En este articulo usaremos la notacién explicita 0 la nota cién simplifcada, dependiendo de las necesidades parti- culares. EI ntimero de vértices del grafo G, IV(G)I, se denomina orden del grafo. B] niimero de lados del grafo G, 1E(G)| se conoce como famaito del grafo. Un grafo es finito si IVGG)I y 1EGG)I son finitos. En este articulo solo tratare- ‘mos con grafos finito. Caminos y distancias en un grafo Los grafos son usados con frecuencia para representar redes de comunicacién o wansporte, En un grafo que represente una de estas redes es importante conocer la cexistencia de caminos que secorran todas las aristas 0 todos los vértices y que en cierto modo sean los mis -eco- ‘nGmicos. En este articulo examinaremos este tipo de pro- blemas, Para ello comenzaremos dando una serie de defi- niciones bésicas, Un camino o ruta en un graforG es una secuencia (Finita) en la que aparecen alternadamente vertices y fados de G: Vy Way VDP, Fy VD AY Pons yas My) SY donde cada lado tiene por extremos los vértices inmedlia tamente precedente y siguiente en la secuencia. Por lo tanto, el camino también puede ser representado, sin pér- dida de informaci6n alguna, por la secuencia: En esta Gitima secuencia no aparecen explicitamente los lados, pero son evidentes por el contexto. A los vértices Vp ¥ Yyse les denomina extremos del camino (yy: vértice inicial clel camino, vy: vértice final del camino) y se dice aque el camino va de vy a Yy © que conecta vy ¥ Vy La Jongitud de un camino es el némero de aristas que con- tiene. Un camino tiene la propiedad de que dos lados consecutivos del mismo son o bien adyacentes o bien {dénticos (si retrocedemos en el camino).