Los grafos como modelos matemticos: ejemplos y a aplicaciones

(Guin de la leccin impartida en la Universidad Autnoma de Guerrero, Mxico) o o o e

Joan Gimbert Enero, 1999

1.
1.1.

Ejemplos histricos o
El problema de los puentes de Knigsberg o
Breve historia: En 1736, Leonhard Euler public un trabajo1 en el cual resolv el o a que ha venido a llamarse problema de los puentes de Knigsberg. La ciudad de o Knigsberg (llamada Kaliningrado, durante la poca sovitica) estaba dividida por o e e el r Pregel en cuatro zonas: las dos orillas (A y C), la isla llamada Kneiphof (B) y o la parte comprendida entre las dos bifurcaciones del r En aquel entonces hab o. an siete puentes comunicando las distintas zonas tal y como se observa en el croquis. Parece ser que uno de los pasatiempos de los ciudadanos de Knigsberg consist o a en buscar un recorrido que travesase cada puente exactamente una vez. Se pensaba que tal paseo no era posible habida cuenta de los mltiples intentos fallidos pero u nadie hab podido demostrar tal imposibilidad. Fue Euler quien demostr que la a o existencia de un tal recorrido requerir en general, que a lo sumo dos de las zonas a, estuvieran unidas con el resto mediante un nmero impar de puentes, cada una de u ellas. Para probarlo, Euler reemplaz, en primer lugar, el mapa de la ciudad por un o diagrama ms simple, donde se incluye la informaci relevante del problema, y, en a o segundo lugar, di un razonamiento que sobrepasa el diagrama particular. o Comentarios: Euler no lleg a dibujar el diagrama de puntos y l o neas que hoy conocemos como grafo (multigrafo) asociado al problema de los puentes de Knigsberg. o Euler enunci, pero no demostr, que la condicin necesaria dada por l tambin o o o e e era suciente. Su demostracin se debe a Hierholzer (1873), quien al parecer o desconoc el trabajo anterior de Euler. Hierholzer utiliza la expresin sistema a o de l neas entrelazadas para referirse a lo que hoy conocemos por grafo, es decir, a un conjunto de puntos (llamados nodos) y a un conjunto de l neas (llamadas aristas) que unen pares de dichos puntos.

Solutio problematis ad geometriam situs pertinentis (La solucin de un problema relativo a la geometr o a de la posicin. o

Aplicaciones: El problema del cartero chino. Formulacin del problema por Kwan Mei-Ko (1960). o Situaciones reales: ruta ptima para un camin de basuras (para un inspector o o de contadores de luz, etc.), trazado ptimo de un grafo mediante un plotter. o Existencia de algoritmos ecientes ( polinmicos) para su resolucin: algoritmo o o de Edmonds. En la base de dicho algoritmo se encuentra la observacin de o Goodman y Hedetniemi respecto a la equivalencia entre encontrar un recorrido de cartero de peso m nimo y la bsqueda de un conjunto de aristas de peso u total m nimo cuya duplicacin d lugar a un multigrafo euleriano2 . o e Referencias: transcripcin y comentario de los trabajos originales de Euler y Hierholo zer ([2]); para ampliar aspectos tericos ([3]); para consultar el algoritmo de Edmonds o relativo al problema del cartero chino ([9]).

1.2.

El juego del dodecaedro

Breve historia: Se dice que el matemtico irlands William Hamilton (18051865) en a e el ao 1857 invent un juego que consist en buscar un recorrido que diera la vuelta n o a al mundo, representado por un dodecaedro, visitando cada ciudad, correspondiente a un vrtice del dodecaedro, una sola vez. Solamente se pod desplazar de una ciudad e a a otra si los vrtices correspondientes del dodecaedro estaban unidos por una arista. e El problema de decisin consistente en determinar si un grafo es hamiltoniano (cono tiene un ciclo que pasa una sola vez por cada vrtice) es un problema de la clase e NP-completo. Explicar brevemente y de una manera informal la clasicacin de los o problemas de decisin en las clases P (problemas para los cuales se conoce un algoo ritmo de coste polinmico que los resuelve) y la clase NP (problemas para los cuales o la vericacin de la solucin, una vez dada, puede hacerse en tiempo polinmico o o o aunque la bsqueda de la misma pueda suponer un coste exponencial). Claramente u la clase P est contenida en la clase NP pero no se sabe si dicha inclusin es estricta a o aunque la creencia generalizada es que s Dentro de la clase NP existe una subcla. se de problemas especialmente intractables, desde el punto de vista computacional. Dicha clase se conoce con el nombre de problemas NP-completos y se caracteriza por el hecho que el hallazgo de un algoritmo polinmico para uno de dichos probleo mas supondr que todos los problemas de la clase NP pueden resolverse en tiempo a polinomico ya que cualquier problema de la clase NP puede reducirse (en tiempo polinomico) a uno de la clase NP-completo y todos los de esta clase son equivalentes por lo que se rere a su complejidad (vase [8]). e Aplicaciones: El problema del viajante. Formulacin y modelizacin mediante grafos (completos) de distancias. o o Algoritmos de fuerza bruta versus algoritmos aproximativos.

Un grafo euleriano es aquel que contiene un recorrido cerrado que atraviesa cada arista una sola vez (circuito euleriano). Los grafos eulerianos se caracterizan por ser conexos y tener todos los grados de sus vrtices pares. e

Referencias: problema del viajante ([9]).

1.3.

Redes elctricas (Kirchho, 1847) e

Breve historia: Kirchho estudi los grafos conexos de medida m o nima, es decir, sin ciclos (llamados rboles) con el objectivo de desarrollar un mtodo efectivo para el a e anlisis de redes elctricas entendido dicho anlisis como el clculo de la intensidad a e a a y la diferencia de potencial de cada elemento de la red (resistencia, bobina, condensador, fuente de tensin, etc). En realidad conocidas las caracter o sticas f sicas de un elemento (resistencia, inductancia o capacidad, segn corresponda) las dos variables u ik (t) y vk (t) estan relacionadas por una ley f sica (Ohm, etc). Adems, por el hea cho de estar interconnectados deben cumplir los postulados conocidos como leyes de Kirchho: La suma algebraica de las intensidades (corrientes) asociadas a los arcos incidentes a un vrtice dado ha de ser 0 (CP). (No se acumula intensidad en ningn e u nodo). La suma algebraica de los voltages asociados a los arcos de cualquier ciclo ha de ser 0 (VP). (La diferencia de potencial ha de ser 0). El trmino suma algebraica tiene el signicado siguiente: e (CP): se suma [resta] si corresponde a un arco adyacente desde [hacia] el vrtice e en cuestin; o (VP): se asigna una orientacin arbitraria al ciclo y, segn sta, se suma [resta] o u e un voltaje si la orientacin del arco asociado coincide [diere] con la del ciclo. o Modelizacin: Imponiendo dichos postulados a cada uno de los nodos y ciclos del o digrafo que modeliza la red elctrica se obtiene un sistema de ecuaciones lineales a e solucionar. El trabajo de Kirchho consisti en determinar un sistema equivalente o y reducido de dichas ecuaciones. Tal reduccin se obtiene considerando unicamente o las ecuaciones asociadas a un sistema fundamental de ciclos y cortes asociado a un a rbol generador del grafo subyacente que, en total, da lugar a un sistema de tantas ecuaciones lineales como elementos elctricos hay. Dado un rbol generador T de e a un grafo G de orden n, un ciclo fundamental asociado a T se obtiene aadiendo n a T una cuerda, es decir, una arista de G no perteneciente a T . De este modo pueden obtenerse m (n 1) ciclos distintos, donde m es la medida de G. Por otro lado, un corte fundamental est formado por el conjunto de arcos que unen pares a de vrtices situados en las dos componentes conexas que resultan de suprimir en e el rbol generador una de sus aristas. As en total, hay n 1 conjuntos de corte a , fundamentales. (Vase [6] y [7]). e

1.4.

Enumeracin de ismeros (Cayley, 1857) o o

Breve historia: Cayley estudi el problema de la enumeracin de los ismeros de o o o los hidrocarburos saturados Cn H2n+2 jado el nmero n de tomos de carbono. u a Es decir se trataba de determinar el nmero de compuestos qu u micos con idntica e

composicin (frmula) pero distinta estructura molecular (disposicin distinta de los o o o enlaces). Para ello represent cada hidrocarburo mediante un rbol donde los vrtices o a e representaban los tomos (de grado uno los de hidrgeno y cuatro los de carbono) a o y donde las aristas indicaban la existencia de enlaces qu micos. De este modo su problema equival a la enumeracin (excepto isomorsmos) de los rboles con grados a o a de sus vrtices igual a 1 o 4. Antes de resolver su problema, consigui hallar el nmero e o u de rboles con ra el nmero de rboles, el nmero de rboles con grado mximo a z, u a u a a 4 y nalmente cerr su problema inicial. (Vease [12]). o Comentarios. Segn se recoge en [7], el trmino grafo, como sistema de incidencia de u e un conjunto de puntos y l neas, proviene de la expresin graphic notation introducida o por primera vez en qu mica por E. Frankland y posteriormente adoptada por A. Crum Brown (1884). Dicha notacin hac referencia a la representacin, mediante o a o un grafo, de los enlaces entre los distintos tomos de una molcula. a e Aplicacin: el problema del conector m o nimo.

1.5.

El problema del mapa de cuatro colores

Breve historia: En 1852 Francis Guthrie escribi una carta a su hermano Frederick, disc o pulo de Augustus de Morgan, preguntndole si ser posible demostrar matemticaa a a mente que son sucientes cuatro tintas para colorear cualquier mapa de forma que pa con frontera comn tengan asignados colores distintos. Al hablar de ses u pa vecinos, Guthrie debi pensar en pa adyacentes a lo largo de una ses o ses l nea fronteriza comn ya que si se permitiesen fronteras reducidas a un punto, u como ocurre con los distintos trozos en los que se divide un pastel, ser necean sarios tantos colores como pa ses. Por otro lado, por pa debieron entender s una regin conexa ya que si no fuera as habr mapas pentacromticos. o a a Augustus de Morgan prob que no es posible que cinco pa o ses esten situados de modo que cada pa tenga frontera comn con cada uno de los otros cuatro. s u Ahora bien, en general, del hecho que en un determinado mapa se observe que no pueden haber k pa adyacentes dos a dos no puede deducirse que pueda ses pintarse con k colores. En 1878 Arthur Cayley, incapaz de probar o refutar la conjetura de los cuatro colores, present el problema a la London Mathematical Society. Antes de transo currir un ao, Alfred Kempe (abogado y miembro de la sociedad) public un n o art culo en el que armaba haber demostrado la conjetura de los cuatro colores. Aunque la demostracin de Kempe result ser incompleta sta conten la mao o e a yor parte de las ideas fundamentales que posteriormente ser utilizadas por an Appel y Haken. Nocin de mapa normal: es aquel donde ningn pa engloba otros pa y o u s ses donde, adems, nunca hay ms de tres pa que tengan un punto comn. a a ses u Kempe demostr que era suciente probar la conjetura de los cuatro colores o para los mapas normales ya que si hubiera un mapa que precisara de cinco colores, entonces tambin habr un mapa pentacromtico normal. Tambin e a a e 4

se percat que era suciente trabajar con mapas normales minimales, en el o sentido que contienen el m nimo nmero de pa u ses. As pues, el esquema de , la demostracin de Kempe consist en suponer la existencia de un mapa o a pentacromtico normal y minimal y concluir de ella una contradiccin. a o Kempe demostr primero que todo mapa normal debe tener un pa con o s cinco, o menor nmero, de pa u ses vecinos (en trminos de grafos, a cada e mapa normal se le puede asociar un grafo plano (grafo dual) cuyas caras sern tringulos y, como grafo plano, debe tener al menos un vrtice de a a e grado menor o igual que cinco). De aqu dedujo que el conjunto de con guraciones (un pa tiene dos vecinos, tres vecinos, cuatro vecinos o cinco s vecinos) es inevitable en cuanto todo mapa normal debe contener alguna de ellas. Entonces su objectivo era probar que cada una de estas conguraciones era tambin reducible en el sentido que si un mapa pentacromtico e a minimal conten una de ellas, entonces habr un mapa pentacromtico a a a con menor nmero de pa u ses, lo cual es absurdo. Su demostracin es ino completa ya que la prueba que presenta para el caso de la conguracin de o un pa con cinco vecinos es incorrecta. (De alguna manera puede decirse s que la demostracin de Appel y Hakel corrige esta deciencia analizando, o mediante un programa informtico, unas 1500 conguraciones). a En 1890, once aos despus de publicarse la demostracin de Kempe, John n e o Heawood seal que el razonamiento dado por Kempe para justicar la imposin o bilidad de mapas pentacromticos minimales en los cuales hubiese un pa con a s cinco vecinos era insuciente y, adems, su arreglo parec harto dif a a cil. Heawood se plante el problema de la coloracin de un mapa en otras supercies o o (adems del plano y la esfera) y obtuvo cotas superiores para el nmero m a u nimo de colores necesarios. Sin embargo sus razonamientos no pod aplicarse en el an caso del plano. Heinrich Heesch (1936) parece haber sido el primer matemtico que con postea rioridad a Kempe haya armado pblicamente que la conjetura de los cuatro u colores podr demostrarse encontrando un conjunto de conguraciones inevia tables y reducibles. Heesch utiliz un mtodo muy conveniente para la repreo e sentacin de conguraciones. Esta representacin se conoce hoy como el grafo o o dual del mapa original. Dicho grafo (plano) se obtiene considerando como vrtie ces las capitales de los distintos pa ses y como aristas las trazas que unen las capitales correspondientes a pa vecinos y que cortan la frontera comn. As ses u , asociado a un mapa normal tenemos un grafo plano cuyas caras son tringulos. a (Ver ejemplo). Por otro lado, con el objectivo de hallar conguraciones inevitables, Heesch introdujo un mtodo que puede asimilarse al desplazamiento de e cargas elctricas de una malla. e Kenneth Appel y Wolfgang Haken, de la universidad de Illinois, en enero de 1976 comenzaron la construccin de un conjunto inevitable de conguraciones o reducibles utilizando un nuevo proceso de descarga. En junio de 1976, despus e de 1200 horas de funcionamiento de tres ordenadores distintos, terminaron la construccin. Los revisores de su trabajo, presentado en el Illinois Journal of o Mathematics, comprobaron los cmputos de reductibilidad mediante un proo 5

grama independiente. Segn, Appel y Haken, su demostracin sugiere que existe u o un l mite par lo conseguible con mtodos puramente tericos, incluso en el came o po de las matemticas y pone de relieve que en el pasado se hab subestimado a a el uso de mtodos computacionales en las demostraciones matemticas. e a Aplicacin: problema de asignacin de frecuencias (grafo de incompatibilidades). o o Referencias: sobre la historia y demostracin del teorema de los cuatro colores ([1]); o sobre algoritmos de vrtice-coloracin ([11]). e o

Referencias
[1] K. Appel y W. Haken, La solucin del problema del mapa de cuatro colores, Investio gacin y Ciencia, diciembre 1977. o [2] N.L. Biggs, E.K. Lloyd and R.J. Wilson, Graph Theory 17361936 . Clarendon Press, Oxford, 1976. [3] L.W. Beineke and R.J. Wilson, Eds., Selected Topics in Graph Theory 2 . Academic Press, 1983. [4] G. Chartrand, Introductory Graph Theory. Dover, 1977. [5] G. Chartrand and L. Lesniak, Graphs & Digraphs. Wadsworth & Brooks, 1986. [6] F. Comellas, J. Fbrega, O.Serra y A. S`nchez, Matem`tica Discreta. Edicions UPC, a a a 1994. [7] L.R. Foulds, Graph Theory Applications. Springer-Verlag, 1992. [8] M.R. Garey and D.S. Johnson, Computers and Intractability. A Guide to the Theory of NP-Completeness. [9] A. Gibbons, Algorithmic Graph Theory. Cambridge University Press, 1985. [10] J. Gimbert, R. Moreno, J.M. Rib y M. Valls, Apropament a la teoria de grafs y als o seus algorismes. Edicions de la UdL, 1998. [11] R. Gould, Graph Theory, Benjaming/Cummings, 1988. [12] F. Harary, Graph Theory. Addison-Wesley, 1969.