A LA TEOR UNA INTRODUCCION IA DE GRAFOS

Germ an Combariza
Profesor del Colegio Santa Mar a Bogot a-Colombia. Bogot a, Colombia

gcombar@yahoo.com.
Resumen Con Frecuencia encontramos art culos que hablan sobre los radicales cambios de la educaci on matem atica y c omo esta se sigue ense nando de la misma forma y con el mismo enfoque que hace m as de cien a nos. Lo que no se encuentra son propuestas nuevas ni textos que permitan otro enfoque de la materia. El siguiente art culo pretende mostrar una nueva propuesta para las aulas de clase. Usando un tema tan sencillo como es La Teor a de Grafos se quiere mostrar una opci on de trabajo para estudiantes de educaci on media que permita abrir camino a problemas muy complicados partiendo de enunciados sencillos cuya soluci on es m as cercana a un juego que a una demostraci on matem atica1.

1.

Algo de Historia.

Durante los u ltimos 200 a nos las matem aticas han sufrido bastantes cambios, pero el contenido que se sigue ense nando en las aulas de clase parece intacto. Los libros que sirven de gu a para las clases actuales est an hechos con un modelo de vida que caduc o hace ya bastante tiempo. Cuando comenzaron a aparecer los primeros libros de matem aticas estos estaban dirigidos a un p ublico con unas necesidades y un contexto muy distinto al
Algunos de los resultados requeridos en el art culo no se demostrar an en su totalidad, en la mayor a de los casos s olo dar a una idea de la demostraci on formal, la demostraci on completa se puede leer en la bibliograf a.
1

Memorias XIV Encuentro de Geometr a y II de Aritm etica

que tenemos en la actualidad. Cerca de 1800 las matem aticas eran una necesidad cotidiana de todo artesano, mercader, tendero y dem as, de aqu que los libros dedicaran gran parte de su contenido (sino todo) a ense nar propiedades de los n umeros enteros y sus operaciones m as b asicas, dejando a un lado la deducci on y creando una visi on err onea de las matem aticas que las acerc o m as a la numerolog a. Con la creaci on de una m aquina que puede hacer c alculos 1000.000 veces m as r apido que el cerebro humano como el computador, se abri o camino a nuevas tendencias de educaci on matem atica, permitiendo as explorar nuevas ideas para la ense nanza de esta. As , el problema de calcular se convirti o en programar, dejando un espacio para comenzar a ense nar conceptos m as abstractos como parte de las matem aticas que den una proyecci on sobre la educaci on de la misma. En el colegio Santa Maria hemos optado por ensen ar matem aticas con dos enfoques muy importantes. El primero; matem aticas aplicadas, que permiten que el alumno comprenda que los conceptos m as b asicos como los de pendiente de una recta e intersecciones de rectas pueden ser u tiles para calcular puntos de equilibrio entre las p erdidas y las ganancias de una empresa. El segundo enfoque que se pretende dar a las matem aticas es tratar que el alumno comprenda que estas son una ciencia racional. La l ogica humana permite llegar a conclusiones a trav es de la raz on, ya sea por comparaci on, inducci on o deducci on, se pretende que el alumno sea capaz de reconocer y deducir verdades partiendo de otras usando solamente su raz on. Se escogi o la teor a de grafos como tema principal porque permite que el alumno tenga un sentido geom etrico de los algoritmos que est a usando. Adem as el tema es tan extenso que permite ser tan riguroso o tan exible como el maestro desee.

566

 n a la Teor Una Introduccio a de Grafos

2.
2.1.

Introducci on a la Teor a de Grafos.

La teor a de grafos es una de las ramas m as importantes de las matem aticas modernas, comenz o en el siglo XVIII por una de las mentes m as grandes que ha existido. En 1736 el matem atico Suizo Leonhard Euler public o un art culo llamado Solutio problematis ad geometrian situs pertinentis, en espa nol La soluci on de un problema referente a la geometr a de posici on. En este art culo aparece la soluci on al famoso problema de los puentes de K onigsberg. K onigsberg era un puerto en la antigua Alemania, que actualmente pertenece a Rusia y se llama Kaliningrado, situado en la costa sur del mar B altico, cerca de la desembocadura del rio Pregel. El rio divid a la ciudad en cuatro a reas de tierra separadas, y hab a siete puentes que le permit an a los habitantes de K onigsberg cruzar el rio para poder trasladarse de una parte a otra de la ciudad como lo muestra la siguiente gura.

(2.1.1) Figura: 1 La pregunta que intrigaba a los habitantes de K onigsberg es la siguiente. Ser a posible caminar por toda la ciudad cruzando cada uno de los siete puentes exactamente una vez?. Cuando Euler se encontr o con el problema de los puentes de K onigsberg sus habitantes pensaban que no se pod a, pero hasta el momento no hab a ning un argumento que comprobara sus presentimientos. 567

Memorias XIV Encuentro de Geometr a y II de Aritm etica

La idea de Euler fue bastante sencilla pero genial para su epoca. Euler hizo un modelo matem atico del problema. Es decir, s olo tom o la informaci on relevante de este y se deshizo de hechos como la longitud de los puentes, o el a rea de cada regi on, y se concentr o en la relaci on entre las ciudades y los puentes, nombrando a cada ciudad como un punto y a cada puente simplemente como una l nea que une dos ciudades, de la siguiente manera.

(2.1.2) Figura: 2 Lo anterior es lo que vamos a conocer como grafo, ciertos puntos unidos con l neas. Vemos que en el caso de los puentes de K onigsberg el grafo despoja de toda informaci on superua al problema y convierte le pregunta de sus ciudadanos en la siguiente. Es posible trazar la gura (2.1.2) sin despegar el l apiz del papel y sin volver a trazar ninguna porci on de una l nea?. M as adelante mostraremos la respuesta que di o Euler a este problema y otros a un m as generales, pero antes se hace necesaria la introducci on de algunos conceptos b asicos.

2.2.

Deniciones B asicas.

Denici on 1. Un Grafo G=(V,A) es una colecci on de puntos llamados v ertices V, unidos por l neas llamadas aristas A. Cada arista une dos v ertices.

568

 n a la Teor Una Introduccio a de Grafos

Ejemplo 1. . B A C Figura: 3 En este caso el conjunto de v ertices est a formado por los puntos V = {A, B, C, D} y las aristas A = {{A, B }, {A, C }, {A, D}, {B, C }, {B, C }}. Las aristas no tienen que ser l neas rectas, pueden ser arcos, segmentos curvos, etc. El caso en que una arista conecta a un v ertice con el mismo tambi en est a permitido, y en este caso le llamamos lazo. Tambi en est a permitido el caso en que m as de una arista conecta los dos mismos v ertices. A estas aristas se le llaman aristas m ultiples. En el ejemplo anterior no hay lazos, pero s dos aristas m ultiples que unen los v ertices B y C . En algunos casos es u til que las aristas tengan alguna direcci on. En este caso por ejemplo la arista que une los puntos X y Y se puede notar por {X, Y } o solamente por (X, Y ). Por ejemplo D

Figura: 4 A estos grafos los llamaremos grafos dirigidos, pero est an por fuera del tema a tratar en este art culo. 569

Memorias XIV Encuentro de Geometr a y II de Aritm etica

2.3.

Isomorsmo

Esta secci on se puede trabajar de varias maneras: se pueden tomar solamente las deniciones formales como preliminares a las aplicaciones de la teor a de grafos de las siguientes secciones, o como segunda opci on, se podr a ver cada denici on como una necesidad o una respuesta a una pregunta que probablemente no sea tan atractiva como las preguntas de las secciones siguientes. Ahora trataremos algunos conceptos b asicos de la teor a de grafos. Comenzamos nuestra discusi on motivados por la siguiente pregunta: Cu ando dos grafos son equivalentes?, por ejemplo Son los dos grafos de la gura 2.3.1 equivalentes? a d e b c 2 1

4 5 3

Figura: 5

(2.3.1)

Qu e signica que dos grafos sean equivalentes?. El mismo grafo puede ser dibujado de maneras muy distintas, por tanto se hace necesaria una denici on formal, a saber. Denici on 2. Dos grafos son isomorfos si existe una correspondencia uno a uno entre los v ertices de estos y adem as esta correspondencia respeta las aristas. Esto es: llamemos G = (V, A) el primer grafo y H = (U, B ) el segundo. Un isomorsmo : G H es una funci on que cumple; v : V U es biyectiva y {a, b} A {v (a), v (b)} B para todo a, b en V . v se entiende como la restricci on del isomorsmo a los v ertices, por abuso de notaci on se usar a por v . Es claro que en la gura 2.3.1 existen v ertices especiales, en este caso lo v ertices e y 5 del primer y segundo grafo respectivamente. Lo que hace 570

 n a la Teor Una Introduccio a de Grafos

especiales a estos v ertices es el n umero de aristas que los conectan con los dem as v ertices, esto da lugar a lo siguiente: Denici on 3. El grado de un v ertice v es el n umero de aristas que lo contienen y este n umero se nota por deg (v ). Denici on 4. Dos v ertices u, v se dicen adyacentes o vecinos si existe una arista que los contiene, esto es si {u, v } A.

En el caso de la gura 2.3.1 se tiene que deg (e) = deg (5) = 1 mientras que el grado de cualquier otro v ertice excepto sus vecinos es 3. Esto induce c omo construir un isomorsmo de G en H , pues se debe tener entonces (e) = 5. Ahora, para que el isomorsmo respete aristas es necesario que los vecinos de e vallan a los vecinos de 5 por tanto (d) = 4, por la misma raz on se puede tomar (a) = 1, (c) = 4 y (b) = 3. Es f acil ver que la funci on resulta un isomorsmo de G en H . Otro concepto b asico es el de subgrafo. Denici on 5. Un subgrafo de un gafo es un subconjunto de v ertices del grafo original, y un conjunto de aristas entre estos.

En la gura 2.3.1 si se suprimen los v ertices e y 5 se tienen dos grafos de cuatro v ertices todos adyacentes, con esta idea se ve f acilmente que los dos grafos deben ser isomorfos. M as general, a un grafo de n v ertices todos unidos entre s se le llama grafo completo y se nota por Kn . Por ejemplo K1 es un ertices y una arista que los grafo con un s olo v ertice, K2 es un grafo con dos v une. Los grafos de la gura 2.3.1 suprimiendo los v ertices e y 5 son isomorfos a K4 . Un problema similar pero de complejidad menor gracias a las previas deniciones es el siguiente: Ejemplo 2. Son los grafos de la siguiente gura isomorfos?. 571

Memorias XIV Encuentro de Geometr a y II de Aritm etica

a e f

1 5 6

h d

8 c Figura: 6 4

Ambas gr acas tienen 8 v ertices y 10 aristas. Los v ertices a, e, g, c y 1, 5, 8, 4 tienen grado 3, mientras que los dem as grado 2, pero el v ertice 5 es vecino del v ertice 1 y el v ertice 8, ambos de grado tres condici on que no se cumple en el primer grafo. Por tanto los grafos no son isomorfos. M as a un, si se miran los subgrafos de cada grafo compuestos por lo v ertices de grado 2 se tiene que en el segundo subgrafo aparecen las aristas {6, 7}, {2, 3} mientras que en el primero no aparece ninguna arista, s olo los v ertices h, f, b, d. Este es otro argumento por el cual no pueden ser isomorfos. A un grafo con n v ertices pero ninguna arista se le llama grafo nulo y se nota por Nn , en el ejemplo anterior el primer subgrafo de los v ertices de grado dos es isomorfo a N4. Ejemplo 3. Son los siguiente grafos isomorfos? a g b c e d Figura: 7 572 6 5 4 (2.3.2) 7

1 2 3

 n a la Teor Una Introduccio a de Grafos

Los dos grafos tienen 7 v ertices y 14 aristas. Cada v ertice tiene grado 4. Ahora si se toman los subgrafos que forman los v ertices vecinos de 1 y a se obtienen las siguientes guras

b c

5 Figura: 8

Estos dos subgrafos claramente son isomorfos, as que este m etodo no nos mostr o ninguna diferencia entre los grafos. Resta comenzar a construir un isomorsmo para los grafos de la gura 2.3.2, lo cual podemos hacer usando los subgrafos, pues estos dan condiciones sobre el isomorsmo. Una mejor idea para mostrar que los grafos son equivalente es la siguiente. = (V, A ) con el Dado un grafo G = (V, A) su complemento es un grafo G mismo conjunto de v ertices pero ahora las aristas entre estos son precisamente las aristas que no aparecen en G. Por ejemplo el complemento del grafo completo Kn es precisamente el grafo nulo Nn . Dos grafos G1 , G2 son 2 los son. La siguiente gura 1, G isomorfos si y solo si sus complementos G muestra el complemento de los grafos que aparecen en la gura 2.3.2. a g b c e d Figura: 9 Es f acil mostrar que los grafos anteriores son isomorfos al siguiente grafo, 573 6 5 4 7 1 2 3

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Figura: 10 por tanto los grafos de la gura 2.3.2 tambi en deben serlo. Denici on 6. Una trayectoria es una sucesi on de v ertices con la propiedad de que cada v ertice es adyacente al siguiente y tal que en la correspondiente sucesi on de aristas todas las aristas son distintas. Es permitido que un v ertice aparezca en una trayectoria m as de una vez. Un circuito es una trayectoria que comienza y termina en el mismo v ertice. Los complementos de los grafos de la gura 2.3.2 son ambos isomorfos a un circuito de longitud 7 esto es un circuito con 7 v ertices. Denici on 7. Un grafo es conexo si cualesquiera dos de sus v ertices se pueden unir por un trayectoria. Un grafo que no es conexo se dice que es disconexo, este est a formado por varios pedazos, a los pedazos se les dice componentes conexas. El primer grafo de la siguiente gura es conexo, mientras que el segundo y el tercero no lo son. El segundo grafo tiene dos componentes conexas y el tercero tres componentes.

Figura: 11 574

 n a la Teor Una Introduccio a de Grafos

3.

Problemas y Aplicaciones de la Teor a de Grafos.

3.1.

Un juego infantil que para todos es muy conocido consiste en tratar de dibujar ciertas guras sin levantar el l apiz del papel y sin volver a trazar ninguna porci on de l nea. Por ejemplo: Es posible trazar las siguiente gr acas sin volver a trazar ninguna porci on y sin levantar el l apiz del papel, terminando en el punto de inicio?, terminando en un punto distinto al de inicio?.

Figura: 12

Figura: 13 575

Memorias XIV Encuentro de Geometr a y II de Aritm etica

El juego de la rma del diablo consiste en responder las preguntas planteadas, saber cuales de las siguientes gr acas se pueden trazar sin levantar el l apiz. En las primeras gr acas, es posible llegar a conclusiones por medio de ensayo y error, pero las u ltimas gr acas son mucho m as complicadas, para esto necesitamos utilizar algunos conceptos de la secci on anterior y estudiar la soluci on que di o Euler al problema de los puentes.

3.2.

Trayectorias y Circuitos Eulerianos.

Una Trayectoria de Euler es una trayectoria que recorre todas las aristas de un grafo conexo. An alogamente, un Circuito de Euler es un circuito que recorre todas las aristas de un grafo conexo. En las secciones anteriores se dejaron abiertas preguntas, como la de los puentes de K onigsberg y la rma del diablo, es claro que todas estas preguntas se resumen a encontrar un circuito de Euler en los grafos correspondientes, esto motiva a una pregunta un poco m as general. Para qu e grafos existe un circuito de Euler?. Para qu e grafos existe una trayectoria de Euler?. Los dos siguientes teoremas dan respuesta a esto. Teorema 1 (Existencia de trayectorias de Euler). . 1. Si un grafo tiene m as de dos v ertices de grado impar, entonces no puede tener una trayectoria de Euler. 2. Si un grafo conexo tiene exactamente dos v ertices de grado impar, entonces tiene por lo menos una trayectoria de Euler. Cualquier trayectoria de Euler debe iniciar en uno de los v ertices de grado impar y terminar en el otro. Una explicaci on sencilla del anterior teorema es la siguiente. Euler observ o que para encontrar una trayectoria en un grafo que cruce una sola vez cada arista es necesario que cada vez que la trayectoria tome una arista para llegar a un 576

 n a la Teor Una Introduccio a de Grafos

v ertice, debe haber otra arista distinta que permita abandonarlo para poder continuar con el recorrido. De esta manera si un v ertice tiene grado impar existe una arista m as que llega al v ertice que las que salen de el, o viceversa, esto convierte al v ertice en un punto nal o punto inicial. Por tanto para que exista una trayectoria de Euler es necesario que exista a los m as dos v ertices de grado impar. La existencia de la trayectoria cuando el grafo es conexo se ver a mas adelante con el algoritmo de Fleury. Ahora, sino se desea una trayectoria sino un circuito de Euler es necesario que el punto nal coincida con el punto inicial, por tanto el grafo no puede tener v ertices de grado impar como lo muestra el siguiente teorema. Teorema 2 (Existencia de circuitos de Euler). . 1. Si en un grafo alg un v ertice tiene grado impar, entonces no puede tener un circuito de Euler. 2. Si todos los v ertices de un grafo conexo tienen grado par, entonces hay por lo menos un circuito de Euler. Un caso que al parecer queda por fuera de nuestro an alisis preliminar es, Qu e pasa con el grafo si solo tiene un v ertice de grado impar?, pregunta que se responde con el siguiente lema y corolario. Lema 1. En cualquier grafo la suma de los grados de todos los v ertices es igual a dos veces el n umero de aristas. Demostraci on. Si se suman todas las aristas de un grafo cada una de estas contribuye en uno al grado de cada uno de los v ertices que la denen, por tanto al contar las aristas se est an contando dos veces los grados de cada v ertice, de tal manera al sumar las grados de los v ertices estos son el doble del n umero total de aristas. Corolario 1. Cualquier grafo tiene un n umero par de v ertices de grado impar. 577

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Demostraci on. Por el lema anterior se sabe que la suma de los grados de todos los v ertices de una grafo debe ser un n umero par, y una suma impar de n umeros impares es tambi en impar, de igual forma la suma par de n umeros pares es par, por lo que es imposible que un grafo tenga un n umero impar de v ertices con grado impar.

3.3.

Conclusiones.

Luego de entender la teor a presentada en las secciones anteriores es posible argumentar una respuesta al problema de los puentes de K onigsberg.

Figura: 14 El grafo asociado a este problema tiene en total cuatro v ertices, todos de grado impar, por tanto se puede concluir que no existe ni una trayectoria de Euler y mucho menos un circuito de Euler, por lo que es imposible entonces visitar las cuatro ciudades cruzando cada puente una sola vez. Es un buen momento para observar c omo un problema tan sencilloes capaz de motivar toda una teor a que permite resolverlo argumentando de la mejor manera su soluci on. Con estas herramientas es f acil entonces saber si el juego de la rma del diablo tiene o no soluci on, esto es:

578

Figura: 15

 n a la Teor Una Introduccio a de Grafos

Figura: 16

Los anteriores grafos tienen todos sus v ertices de grado par, por tanto tienen circuitos de Euler, mientras el Siguiente grafo tiene una trayectoria de Euler pero no un circuito, pues tiene dos v ertices de grado impar.

Figura: 17 El siguiente grafo no tiene ni circuitos de Euler ni trayectorias de Euler, pues tiene m as de dos v ertices de grado impar.

Figura: 18 579

Memorias XIV Encuentro de Geometr a y II de Aritm etica

3.4.

El Algoritmo de Fleury

Gracias a los teoremas de Euler es posible saber si un grafo dado tiene trayectorias o circuitos de Euler, lastimosamente estos teoremas no indican la manera ed encontrar dicho recorrido. En esta secci on se mostrar an una serie de instrucciones muy sencillas conocidas como El algoritmo de Fleury las cuales permitir an encontrar una trayectoria o circuito de Euler en caso de que este exista. Una denici on preliminar necesaria es la de puente. Un puente es una arista tal que al quitarla grafo se convierte en un grafo disconexo. Los pasos a seguir en El Algoritmo de Fleury para encontrar una trayectoria de Euler son los siguientes: 1. Vericar que el grafo cumpla con las hip otesis expuestas en el teoremas trayectorias de Euler. 2. Escoger un v ertice de grado impar. En caso de que no exista, se puede escoger cualquier v ertice. 3. En cada paso, recorre cualquier arista disponible, eligiendo un puente solo cuando no halla alternativa. Al recorrer la arista borrarla y continuar el proceso hasta que todos lo v ertices tengan grado cero. Esto se ve m as claro con el siguiente ejemplo. Ejemplo 4. Es posible dibujar el siguiente grafo sin levantar el l apiz del papel y sin repetir ning un trazo?. 3 2 1 4 5

Figura: 19 En otras palabras se desea encontrar una trayectoria de euler para el grafo. Aplicando el algoritmo de Fleury se tiene lo siguiente. 580

 n a la Teor Una Introduccio a de Grafos

Como v ertice de partida se pueden escoger el v ertice 1 o el v ertice 5. Sin p erdida de generalidad escogemos el v ertice 1. Ahora se puede escoger cualquier arista, tomando la arista {1, 5} se tiene 3 2 1 4 5

Figura: 20

Desde el v ertice 5 es posible llegar a los v ertices 2 y 4, como ninguna de las aristas que los unen son puentes podemos tomar cualquiera; sin perdida de generalidad tomamos la arista que nos deja en el v ertice 2. 3 2 1 4 5

Figura: 21

De igual forma, cualquier arista es v alida, as que tomamos la arista {2, 4} y obtenemos el siguiente grafo. 3 2 1 4 5

Figura: 22

En este grafo el v ertice 4 tiene tres v ertices vecinos, el v ertice 5, el v ertice 3 y el v ertice 1, pero la arista {4, 5} es un puente, de tal manera tomamos la 581

Memorias XIV Encuentro de Geometr a y II de Aritm etica

arista {4, 3} que no es un puente y obtenemos: 3 2 1 4 5

Figura: 23 Desde el v ertice 3 solo hay una posibilidad, el v ertice 2. 3 2 1 4 5

Figura: 24 De nuevo, desde el v ertice dos solo hay una posibilidad, el v ertice 1 y desde este solamente el v ertice 4 3 2 1 4 5 2 1 Figura: 25 3 4 5

Y por u ltimo desde el v ertice 4 hasta el v ertice 5, y tenemos nuestra trayectoria Euleriana que comenz o en el v ertice 1 y termin o en el v ertice 5 terminando con un grafo isomorfo al grafo nulo con 5 v ertices N5 . 3 2 1 4 5

Figura: 26 582

 n a la Teor Una Introduccio a de Grafos

3.5.

Circuitos Hamiltonianos

En las secciones anteriores la preocupaci on fue encontrar circuitos que recorrieran todas las aristas. Un problema cuyo enunciado es muy parecido pero su soluci on sustancialmente diferente es el de encontrar circuitos que recorran todos los v ertices. Denici on 8. Una Trayectoria (circuito) Hamiltoniana es una trayectoria (circuito) que recorre cada v ertice de un grafo exactamente una vez.

Estos circuitos reciben este nombre en honor a Willian Rowan Hamilton quien en 1857 puso sobre cada de un dodecaedro2 el nombre de alguna ciudad importante y se pregunt o si era posible visitar las veinte ciudades exactamente una vez, con la condici on que podia viajar de una ciudad a otra solo si estaban en caras consecutivas en el dodecaedro. Ejemplo 5. Los dos siguiente grafos tienen varios circuitos hamiltonianos que parten de los puntos A y 1 respectivamente.

B A

D C Figura: 27

2 1

4 3

Desafortunadamente nose conocen a un criterios para determinar si un grafo tiene o no un circuito de Hamilton, en contraste con la sencillez de los circuitos y trayectorias Eulerianas. Al respecto solo se pueden dar respuestas parciales sobre la existencia de dichos circuitos, por ejemplo si un grafo tiene muchasm as aristas que v ertices es probable que tenga un circuito hamiltoniano como en el siguiente ejemplo.
Un dodecaedro es uno de los cinco s olidos plat onicos que consta de 20 v ertices, 30 aristas y 12 pent agonos como caras.
2

583

Memorias XIV Encuentro de Geometr a y II de Aritm etica

Ejemplo 6. Considere el grafo completo con cinco v ertices K5 . C B A E (3.5.1) D

Figura: 28

Es claro que el grafo anterior tiene circuitos de Hamilton, por ejemplo el circuito {A, B, C, D, E }. Ahora imaginemos por un momento que los v ertices del grafo 3.5.1 son ciudades y sus aristas posibles caminos entre estas cada una con una valor distinto como lo muestra la siguiente tabla: Ciudades A B C D E A $0 $1850 $1190 $1520 $1330 B $1850 $0 $1210 $1500 $2000 C $1190 $1210 $0 $1740 $1200 D $1520 $1500 $1740 $0 $1990 E $1330 $2000 $1200 $1990 $0

(3.5.2)

Tabla: 1 As por ejemplo para viajar de la ciudad A a la ciudad B el valor es de $1850. Una pregunta interesante ser a la siguiente. Cu al de todos lo circuitos Hamiltonianos que comienzan en A tiene el menor costo?. Este tipo de problemas se conocen como El Problema del Agente Viajero y entre sus posibles soluciones encontramos las siguientes.

3.5.1.

Algoritmo de Fuerza Bruta.

Este algoritmo consiste en listar todos los posibles circuitos del grafo y mirar cu al de estos tiene el menor costo y ese circuito ser a la soluci on a nuestra 584

 n a la Teor Una Introduccio a de Grafos

pregunta. Este algoritmo funciona muy bien en este caso, pero m as adelante veremos las complicaciones que trae. Para la gura 3.5.1 necesitamos encontrar todos los posible circuitos que comienzan en A, lo cual es muy sencillo de la siguiente manera. La segunda ciudad posible para visitar puede ser cualquiera de las cuatro restantes, pues el grafo es completo, para la tercera ciudad se tienen tres posibilidades distintas a las dos ciudades ya visitadas, para la cuarta ciudad a visitar existen dos posibilidades, y para la u ltima ciudad a visitar antes de volver a A solo hay un posibilidad, de tal forma que hay 4 3 2 1 = 24 posibles circuitos hamiltonianos que comienzan a A. Si encontramos el costo de cada uno de ellos seg un la tabla 3.5.2, vamos a notar que el camino m as econ omico que sale de A y vuelve a A visitando todas las ciudades es el circuito {A, D, B, C, E, A} con un valor de $6760. Este proceso se puede llevar a cabo en unos quince o veinte minutos. A continuaci on se presentar a otro algoritmo no tan efectivo pero m as r apido.

3.5.2.

Algoritmo Ambicioso.

El algoritmo ambicioso consiste en tomar la ruta m as econ omica entre cada ciudad. Por ejemplo, seg un la tabla 3.5.2 partiendo de la ciudad A la ciudad mas econ omica es la ciudad C ($1190), desde la ciudad C la ciudad m as econ omica para ir distinta a A es la ciudad D ($1200), desde E, descartando las anteriores es D ($1990) y el luego volver de D a A (1990) para un total de $7730 usando el circuito {A, C, E, D, B }, costo que excede en $970 a la soluci on dada por el algoritmo de fuerza bruta, pero el tiempo que toma esta soluci on en general es signicativamente menor. En este caso la diferencia de tiempo no es muy notable , pues el grafo solo tiene cinco v ertices, pero en el caso de un grafo completo de diez v ertices la diferencia de tiempo es muy grande. En el algoritmo ambicioso solo se toma unos minutos encontrar una posible soluci on al problema del agente viajero, mientras que en el algoritmo de fuerza bruta se tienen que calcular el costo de 9 8 7 6 5 4 3 2 = 362880 posibles circuitos hamiltonianos. Si una persona es capaz de analizar dos circuitos por minuto le llevar a a cabo 3000 horas examinarlos todos, esto es cuatro meses enteros trabajando las 24 horas del d a. 585

Memorias XIV Encuentro de Geometr a y II de Aritm etica

3.6.

Grafos Planares

Denici on 9. Un grafo se dice planar si puede ser dibujado en un plano sin que ninguna de sus aristas se cruce.

Que un grafo pueda ser dibujado con sus aristas cruzadas no signica que el grafo no sea planar, por ejemplo los grafos de la gura 2.3.1 son isomorfos, sin embargo en uno de ellos las aristas se cruzan y en el otro no.

Ejemplo 7.

Gas

Agua

Electricidad

Figura: 29

(3.6.1)

El juego de los servicios p ublicos consiste en encontrar un grafo isomorfo al anterior en el que ning un par de aristas se crucen. El grafo anterior se conoce como K3,3. Ejemplo 8. El grafo completo de cinco v ertices K5 no es un grafo planar. Es claro que un subgrafo de un grafo planar debe ser planar, por tanto K4 es erdida de generalidad se un grafo planar pues es un subgrafo de K5 que sin p puede ver como el siguiente grafo. 586

 n a la Teor Una Introduccio a de Grafos

b d a Figura: 30 ertice d es necesario que Para que el quinto v ertice e de K5 sea vecino del v est e dentro de alguno de los tri angulos abd, adc o bdc. Pero si est a en alg un tri angulo es imposible que sea vecino del v ertice que no hace parte del tri angulo por ejemplo si el v ertice e est a dentro del tri angulo abd es imposible que la arista que une los v ertices e y c no crucen otra. Teorema 3. Si G es un grafo planar conexo, entonces cualquier representaci on gr aca del grafo donde no se crucen sus aristas cumple que el n umero de regiones delimitadas por G m as el n umero de v ertices de G menos el n umero de aristas de G es siempre igual a dos. V A + C = 2. Corolario 2. Si G es un grafo planar conexo con m as de una arista, entonces el n umero de aristas es menor o igual que tres veces el n umero de v ertices menos seis. A 3V 6 Ejemplo 9. El grafo completo con cinco v ertices K5 no es planar. Otra demostraci on m as sencilla. ertices V = 5 y diez asistas A = 10. Entonces El grafo K5 tiene cinco v 3V 6 = 9, lo que contradice el anterior corolario, por tanto no es planar. Teorema 4. Un grafo es planar si y solo si no contiene subgrafos isomorfos a K5 o K3,3 . c

4.

Teor a de juegos.

En este cap tulo mostraremos como se puede aplicar la teor a de grafos a un juego en particular. 587

Memorias XIV Encuentro de Geometr a y II de Aritm etica

El juego consiste en ordenar los siguiente cubos de colores en una pila de tal manera que en cada cara de la pila no se repita ning un color.

V R N R N Figura: 31 B B B

R B B N

N R N R B Figura: 32 V N V

V V B R

Cada letra representa un color en cada una de las caras de lo cubos: R=Rojo, N=Negro, B=Blanco, V=Verde. Cada uno de los cubos se puede rotar de 24 maneras distintas, por tanto para los 4 cubos se puede organizar la pila de 244 = 331776 maneras. Si una persona es capaz de revisar 4 de estas maneras por minuto le tomar a 82944 minutos revisar todos los posibles casos, esto es 1382 horas o 57 d as, casi dos meses trabajando todos los d as las 24 horas del d a, de tal manera que el problema por ensayo y error se puede tornar imposible, pero gracias a teor a de grafos no tomar a m as de 10 minutos dar una soluci on. Para comenzar se le va a asociar un multigrafo al problema de la siguiente manera. Cada v ertice representa uno de los cuatro colores, y las aristas unen los colores que est an en caras opuestas en algunos de los cubos. Los n umeros de las aristas pueden ser 1, 2, 3 o 4 seg un el cubo al que correspondan. 588

 n a la Teor Una Introduccio a de Grafos

3 1 R

4 1 3

2 2 B

2 1 3 Figura: 33

El siguiente paso a seguir es Partir este grafo en dos subgrafos de tal manera en cada uno aparezca cada v ertice una sola vez, por ejemplo

Figura: 34

589

Memorias XIV Encuentro de Geometr a y II de Aritm etica

1 R

Figura: 35

Ahora mostraremos como cada uno de estos subgrafos nos indica como organizar lo cubos. Usando el primer subgrafo escogemos un v ertice, V por ejemplo y ponemos el color Verde del primer cubo al frente, por tanto el color Negro queda atr as. Luego recorremos el grafo en el sentido de las agujas del reloj continuando con el mismo proceso, esto es: el tercer cubo queda con su lado Negro adelante y su lado Blanco atr as, el segundo cubo con su color Blanco adelante y el Rojo atr as, y por u ltimo el cuarto cubo con el color Rojo adelante y el Verde atr as. Por la manera en la que escogimos los subgrafos no vamos a tener colores repetidos en estas caras de la pila. Para las otras dos caras, hacemos el mismo proceso con el otro subgrafo escogido.

Bibliograf a
[1] Calvin Clawson, Misterios Matem aticos, Diana, 1999. [2] Chris Godsil, and Gordon Royle, Algebraic Graph Theory, Springer, 2001. [3] Jonathan Gross, and Thomas Tucker, Topological Graph Theory, Dover Publications, 1987. 590

 n a la Teor Una Introduccio a de Grafos

[4] Morris Kline, Matem aticas para estudiantes de Humanidades, Fondo de Cultura Econ omica, 1967. [5] Madsen, Id and Jrgen Tornehave, From Calculus to Cohomology, Cambridge University Press, 1997. [6] Willian Massey, Introducci on a la Topolog a Algebr aica Revert e, 1967. [7] Elias Micha, Matem aticas Discretas, Limusa, 1998. [8] Simon Singh, El Ultimo Teorema de Fermat, Norma, 1999. [9] Alan Tuker, Applied Combinatorics, Jhon Wiley & Sons, 1980.

591