Cap tulo 1 Grcas a

1.1. Conceptos Bsicos a

Una Grca G es un conjunto nito no vac V , junto con un conjunto a o de pares no ordenados de elementos distintos {u, v}. Por ejemplo una grca a G se puede denir como el conjunto: V = {v1 , v2 , v3 , v4 , v5 } junto con A = {{v1 , v2 }, {v1 , v3 }, {v2 , v3 } , {v3 , v4 }, {v4 , v5 }} En una grca G, nos referimos a V como el conjunto de los vrtices, y a cada a e elemento de V le llamamos vrtice (nodo, punto). El nmero de vrtices en G e u e es llamado el orden de G. Cada elemento de A es llamado arista (l nea, arco, rama) y A es llamado el conjunto de las aristas de G. El nmero de aristas de u G es llamado el tamao de G. As |V |=orden de G y |A|=tamao de G. El n , n conjunto de aristas de una grca induce una relacin simtrica e irreexiva a o e en el conjunto de los vrtices. Si una grca G es denida en trminos del e a e conjunto de vrtices V y la relacin de R en V , entonces (u, v) R implica e o que (v, u) R. Es decir {(u, v), (v, u)} es una arista de G. Es conveniente denotar dicha arista por uv (o su equivalente vu). El conjunto de aristas A determina completamente la relacin R, as es ms recomendable describir o , a una grca en trminos de su conjunto de vrtices y su conjunto de aristas. La a e e 9

grca descrita anteriormente puede ser denida en trminos de sus conjuntos a e V = {v1 , v2 , v3 , v4 , v5 } y A = {v1 v2 , v1 v3 , v1 v4 , v2 v3 , v4 v5 } donde el orden as como el tamao de G es cinco. Es deseable denotar al n conjunto de vrtices y al conjunto de aristas de una grca G como V (G) e a y A(G) respectivamente. Esto es particularmente util cuando estamos con siderando dos o ms grcas. Como el subconjunto vac es una relacin a a o o simtrica en V , se sigue que el conjunto de aristas puede ser vac es decir e o, la grca puede no tener aristas, aunque por denicin todas las grcas a o a tienen vrtices. Tambin es conveniente representar a las grcas por medio e e a de diagramas. En tal representacin , dibujamos los vrtices con puntos o o e pequeos c n rculos y a las aristas con segmentos de l nea o curvas que unen dos puntos apropiados. Diagramas de la grca G con a V = {v1 , v2 , v3 , v4 , v5 } y A = {v1 v2 , v1 v3 , v1 v4 , v2 v3 , v2 v4 , v3 v4 , v4 v5 } se muestran en la siguiente gura (Figura 1-1).

10

Figura 1-1 El primer diagrama utiliza solo segmentos de l nea recta, mientras que el siguiente diagrama utiliza curvas. Aunque los dos diagramas parecen diferentes, contienen exactamente los mismos vrtices y las mismas aristas, as que e describen a la misma grca. Notese que en el segundo diagrama, los sega mentos que representan a las aristas v1 v4 , v2 v3 , y v3 v4 se intersectan. Esto se permite (De hecho en algunos casos es inevitable) pero no se debe confundir este punto de interseccin con un vrtice. o e Si e = uv A(G) (es decir, si uv es una arista de la grca G) entonces decimos que e une a a los vrtices u y v . Dos vrtices u y v son adyacentes en una grca G si e e a uvinA(G) . Si uv A(G) , entonces u y v son vrtices no adyacentes. Si / e e = uv A(G) entonces u y v son cada uno incidentes con e. Si uv y uw son aristas distintas de una grca G (es decir v = w) entonces uv y uw son aristas adyacentes. a As en la grca G previamente descrita v1 y v3 son adyacentes pero v1 y v4 a no son adyacentes.

1.2.

El Grado de un Vrtice e

Denicin 1. 1 El nmero de aristas que inciden en un vrtice v de una o u e grca G se le llama el grado v en G. El grado de v se denota por gradG v o a simplemente grad v. Denicin 1. 2 Denotaremos por (G) al grado mximo entre todos los o a vrtices de la grca G, as tambin denotaremos por (G) al grado m e a e nimo de entre todos los vrtices de la grca G. e a Para la grca de la siguiente gura (Figura 1-2) gradv1 = 0 gradv2 = 2 a gradv3 = 1 gradv4 = 2 gradv5 = 3 gradv6 = 2.

11

Figura 1-2 Por una (p, q)- grca entendemos que es una grca de orden p y tamao a a n q. La grca de la Figura 1-2 es una (6,5) grca, ademas observamos que la a a suma de los grados es 10 que en este caso es 2q. Teorema 1. 1 Para toda grca G, la suma de los grados de los vrtices es a e igual a dos veces el nmero de las aristas. As , si G es una (p, q)-grca con u a p vrtices v1 , v2 , ..., vp entonces i=1 gradvi = 2q e dem. Al sumar los grados de los vrtices de una grca G, contamos cada e a arista dos veces, una por cada uno de los vrtices en que incide la arista. e Denicin 1. 3 Un vrtice es llamado par o impar de acuerdo a si su grado o e es par o impar. La grca de la siguiente gura (Figura 1-3) tiene tres vrtices de grado par a e y cuatro vrtices de grado impar. e

12

Figura 1-3 Teorema 1. 2 Toda grca contiene un nmero par de vrtices de grado a u e impar. dem. Sea G una grca. Si G no contiene vrtices impares, entonces se cumple a e el resultado. Suponga que G contiene k vrtices impares, denotados por e v1 , v2 , ..., vk . Si G contiene vrtices pares los denotamos por u1 , u2 , ..., un ene tonces por el Teorema 1.1 (grad v1 + grad v2 + ... + grad vk ) + (grad u1 + grad u2 + ... + grad un ) = 2q donde q es el nmero de aristas de G . Como u cada uno de los nmeros grad u1 , grad u2 , ..., grad un es par entonces (grad u u1 + grad u2 + ... + grad un ) tambin es par, as tenemos que (grad v1 + e grad v2 + ... + grad vk ) =2q - (grad u1 + grad u2 + ... + grad un ) es par. Pero, cada uno de los nmeros grad v1 , grad v2 , grad vk es impar. Por lo u tanto, k debe ser par, asi G tiene un nmero par de vrtices de grado impar. u e Si G no tiene vrtices pares, entonces (grad v1 + grad v2 + ... + grad vk ) e = 2q de donde concluimos tambin que k es par. e Denicin 1. 4 Si todos los vrtices de una grca G tienen el mismo grado o e a r, entonces decimos que G es regular de grado r o r-regular. 13

Denicin 1. 5 Una grca es completa si todos sus vrtices son adyao a e centes. Se denota por Kp Observacin: Una grca completa de orden p es o a (p-1)-regular. A continuacin se muestran cinco grcas completas. (Figura 1-4). o a

Figura 1-4 Denicin 1. 6 Sea G una grca de orden p. (p 2). Supongamos que G o a tiene al menos un vrtice de grado cero. Dicho vrtice es llamado un vrtice e e e aislado. Denicin 1. 7 Sea G una grca. Los vrtices de grado uno son llamados o a e vrtices terminales. e Denicin 1. 8 Sea G una grca de orden 1 y tamao 0. Dicha grca es o a n a llamada una grca trivial y la denotaremos por K1 . a

1.3.

Grcas Isomorfas a

Podemos considerar que dos grcas G1 y G2 que son la misma si es a posible redibujar alguna de ellas, digamos G2 de tal manera que sea idntica e 14

a G1 . Llamaremos a este tipo de grcas iguales Grcas Isomorfas. Por a a ejemplo las grcas en la siguiente gura (Figura 1-9) tienen esa propiedad. a

Figura 1-8

Denicin 1. 9 Se dice que dos grcas G1 y G2 son isomorfas, si existe o a una funcin biyectiva de V (G1 ) en V (G2 ) que preserva adyacencias, es o decir, si existe una funcin : V (G1 ) V (G2 ) biyectiva y tal que u1 ady v1 o en G1 (u1 ) ady (v1 ) en G2 . Ms adelante veremos que si es un isomorsmo de G1 a G2 , entonces a la funcin inversa 1 de V (G2 ) a V (G1 ) tambin satisface la denicin de o e o isomorsmo. Esto implica que V (G1 ) y V (G2 ) tienen el mismo nmero de elementos; u esto es G1 y G2 tienen el mismo orden. Sean u1 y v1 dos vrtices de G1 , y e suponga que (u1 ) = u2 y (v1 ) = v2 . Entonces u1 y v1 son adyacentes en G1 si y solo si u2 y v2 son adyacentes en G2 , o visto de otra manera, u1 v1 es una arista de G1 , si y solo si u2 v2 es una arista de G2 . Esto implica que G1 y G2 tienen el mismo tamao. n Sin embargo, si dos grcas tienen el mismo orden y el mismo tamao, a n esto no necesariamente implica que las grcas sean isomorfas. Por ejemplo, a 15

las dos grcas de la siguiente gura (Figura 1-10) tienen orden seis y tamao a n nueve, pero no son isomorfas.

Figura 1-9 Debemos vericar que todos las funciones uno a uno de V (G1 ) en V (G2 ) [o de V (G2 ) en V (G1 )] no son isomorsmos, pero se puede simplicar el problema haciendo algunas observaciones. En el caso de las grcas G1 y G2 a consideremos cualquier funcin uno a uno de V (G1 )enV (G2 ). Los vrtices o e v1 , v2 y v5 son adyacentes por parejas y, debe enviar tres vrtices de G1 en e v1 , v2 y v5 . Si es un isomorsmo, entonces dos vrtices de G1 son adyacentes e si y solo si los dos vrtices de la imagen de G2 bajo son adyacentes. Esto e implica que los tres vrtices de G1 cuyas imgenes son v1 , v2 y v5 tambin e a e deben ser adyacentes por parejas, pero, G1 no contiene tres vrtices que sean e todos adyacentes por parejas. Asi, no hay un isomorsmo de V (G1 ) en V (G2 ) y por lo tanto la grca G1 no es isomorfa a la grca G2 . a a Teorema 1. 3 La relacin es isomorfa a es una relacin de equivalencia o o en un conjunto de grcas. a dem.

16

(i)Reexiva El hecho de que la relacin es isomorfa a es reexiva, se sigue de inmedio ato. Solo necesitamos observar que si G es una grca y la funcin : V (G) a o V (G) se dene por (v) = v para toda v V (G), entonces es un isomorsmo de G en G. (ii)Simtrica e Supongamos que G1 es isomorfa a G2 , esto es supongamos que es un isomorsmo de G1 a G2 . Denimos la funcin inversa 1 : V (G2 ) V (G1 ) o 1 por (v2 ) = v1 si (v1 ) = v2 . Entonces 1 es una funcin uno a uno o de V (G2 ) en V (G1 ). Supongamos que u2 , v2 V (G2 ), y 1 (u2 ) = u1 y 1 (v2 ) = v1 . Entonces (u1 ) = u2 y (v1 ) = v2 . De estas dos ultimas igualdades tenemos que u2 y v2 son adyacentes si y slo si (u1 ) y (v1 ) o son adyacentes y como G1 es isomorfa a G2 , entonces (u1 ) y (v1 ) son adyacentes si y slo si u1 = 1 (u2 ) y v1 = 1 (v2 ) son adyacentes. As u2 o y v2 son adyacentes si y solo si 1 (u2 ) y 1 (v2 ) son adyacentes. Esto muestra que G2 es isomorfa a G1 es una relacin simtrica. o e (iii)Transitiva Supongamos que G1 es isomorfa a G2 y que G2 es isomorfa a G3 , entonces existen los isomorsmos : V (G1 ) V (G2 ) y : V (G2 ) V (G3 ). Considere el mapeo compuesto . es un mapeo uno a uno de V (G1 ) en V (G3 ).Sean u1 , v1 V (G1 ). Supongamos que (u1 ) = u2 y (v1 ) = v2 y ademas (u2 ) = u3 y (v2 ) = v3 . Como y son isomorsmos u1 y v1 son adyacentes si y solo si (u1 ) = u2 y y (v1 ) = v2 son adyacentes; y u2 y v2 son adyacentes si y solo si (u2 ) = u3 y (v2 ) = v3 son adyacentes. Asi u1 y v1 son adyacentes. asi u1 y v1 son adyacentes si y solo siu3 = ((u1 )) y v3 = ((v1 ) son adyacentes. Esto completa la prueba de que es un isomorsmo. Asi, G1 es isomorfa a G3 . Una condicin necesaria para que una grca sea isomorfa a otra se preo a senta a continuacin. o Teorema 1. 4 Si G1 y G2 son grcas isomorfas, entonces los grados de los a vrtices de G1 y G2 se conservan bajo el isomorsmo, es decir si : V (G1 ) e V (G2 ), entonces grad (v1 ) = grad ((v1 )). dem. Como G1 y G2 son isomorfas, existe un isomorsmo : V (G1 ) V (G2 ). Sea u un vrtice arbitrario de G1 , y supongamos que grad u = n. Suponge amos adems que la imagen de u en G es v, es decir (u) = v. Probaremos a 17

que grad v = n. Como el grado de u es n (grad u = n), la grca G1 contiene n vrtices a e (u1 , u2 , ...un ) adyacentes a u, mientras que cualquier otro vrtice de G1 no es e adyacente a u. Sea (ui ) = vi para i = 1, 2, ..., n. Entonces v es adyacente a cada uno de los vrtices v1 , v2 , ...vn dado que es un isomorsmo. Adems e a estos son los unicos vrtices adyacentes a v, ya que u es adyacente a x en G1 e si y slo si v es adyacente a (x) en G2 . Asi grad v = n. Como un vrtice de o e G1 y su correspondiente imagen en G2 tienen el mismo grado, esto establece el teorema. Debemos enfatizar el hecho de que el teorema anterior da una condicin o necesaria para que dos grcas sean isomorfas, pero no es una condicin a o suciente. Esto es, los vrtices de dos grcas pueden tener exactamente la e a misma sucesin de grados, pero pueden no ser isomorfas. Por otro lado, si la o sucesin de los grados de los vrtices de una grca G1 y la sucesin de los o e a o grados de los vrtices de una grca G2 no son iguales, entonces G1 y G2 no e a son isomorfas. Denicin 1. 10 El Complemento de una grca simple G es una grca o a a o Gc con V (G) = V (G) tal que a A(G) a A(G) es decir simple G / deben tener el mismo orden y en la cual existe una arista entre dos vrtices e si y solo si no existe arista entre v y w en la grca v y w en la grca G a a G. Obviamente el complemento de G es G. Denicin 1. 11 Una grca simple que es isomorfa a su complemento es o a llamada una grca autocomplementaria. a Teorema 1. 5 Si G es una grca simple y de orden 6 entonces hay un a (La demostracin se deja al lector). tringulo en G o en G. a o

1.4.

Subgrcas a

Denicin 1. 12 Sea G una grca. Una grca H es una subgrca de G o a a a si V (H) V (G) y A(H) A(G) Denicin 1. 13 Cualquier grca G para la cual una grca G es una o a a subgrca es llamada una supergrca de G. a a 18

Si una grca F es isomorfa a una subgrca H de G, entonces F tambin a a e es llamada subgrca de G. La siguiente gura (Figura 1-5) muestra una a grca G y su subgrca H. a a

Figura 1-5 Denicin 1. 14 Una subgrca generadora H de G es cualquier subgrca o a a que tenga el mismo nmero de vrtices. u e Denicin 1. 15 Una subgrca inducida H de G es aquella que cumple o a que V (H) V (G) y A(H) es el conjunto de todas las aristas de G entre vrtices de H. e En la siguiente gura se muestra una grca G junto con su subgrca a a inducida H y una subgrca no inducida F . a 19

1.5.

Clases de Grcas a

Denicin 1. 16 En una grca, si dos o ms aristas unen al mismo par o a a de vrtices, se les llaman aristas multiples. e Denicin 1. 17 Una arista que une a un vrtice con si mismo se le llama o e lazo. En la siguiente gura (Figura 1-7) la grca G tiene aristas multiples y a la grca H tiene un lazo. a

Figura 1-6 Denicin 1. 18 Un lazo contribuye solo en 1 al grado del vrtice que lo o e contenga. Denicin 1. 19 A una grca con aristas multiples pero sin lazos se llama o a Multigrca. a Denicin 1. 20 A una grca con al menos un lazo se llama Pseudogrca o a a Denicin 1. 21 Una grca dirigida o digrca consiste de un conjunto o a a nito no vacio de vrtices V y un conjunto de pares ordenados de vrtices e e llamados arcos. Si la pareja ordenada {u, v} ( o tambien (u,v) o [u,v]) es un arco a , decimos que a esta dirigida de u a v. 20

Un ejemplo de una digrca se muestra en la siguiente gura.(Figura 1-8). a

Figura 1-7

1.6.

Matrices

Una grca esta completamente determinada por su conjunto de vrtices a e y por el conocimiento de los pares de vrtices que son adyacentes. Esta misma e informacin puede ser dada en una matriz. De hecho, gran parte de la teor o a de grcas podr ser estudiada a travs de las matrices. Existen ciertas a a e ventajas en esta forma de estudio, ya que las matrices pueden servir para trabajar en una computadora y hacer una gran variedad de clculos. Por otro a lado, existen varias desventajas al representar las grcas como matrices, ya a que esto destruye el aspecto visual de las grcas, y el reconocimiento de a ciertas propiedades grcas en matrices no es necesariamente ms simple a a que en el diagrama de la grca. a

1.6.1.

Matriz de Adyacencia

Denicin 1. 22 Sea G una grca simple de orden p con vrtices denoo a e tados por v1 , v2 , ..., vp . La Matriz de AdyacenciaA = A(G) = [aij ] es la 21

matriz de p p en la cual aij = 1 si vi y vj son adyacentes y aij = 0 en caso contrario. As la matriz A es una matriz (0, 1) (es decir toda entrada de A es 0 o 1); la diagonal principal de A consiste solo de 0 (es decir aii = 0 para i = 1, 2, ..., p) ; y A es simtrica (es decir aij = aji para 1 i p y e 1 j p), adems la suma de cada rengln es igual al grado del vrtice. a o e En el caso de una multigrca se agrega 1 por cada arista entre un par de a vrtices. En el caso de una pseudogrca se agrega 1 en la diagonal por cada e a lazo. Una grca G y su matriz de adyacencia estan dadas en la siguiente a gura. (Figura 1-11).

Figura 1-10

Tabla 1 22

Ntese que la matriz de adyacencia de una grca G depende de cmo o a o marquemos los vrtices. Por ejemplo, la grca G de la gura anterior (Figura e a 1-11) se muestra de nuevo en la siguiente gura (Figura 1-12) con un marcado diferente de los vrtices. e

Figura 1-11

Tabla 2 An cuando las matrices de las guras anteriores son diferentes (como u matrices), representan grcas isomorfas. a

1.6.2.

Matriz de Incidencia

Denicin 1. 23 Sea G una grca de orden p y tamao q tal que V (G) = o a n {v1 , v2 , ..., vp } y A(G) = {e1 , e2 , ...eq }. La Matriz de Incidencia de B = 23

B(G) = [bij ] es la matriz de tamao p q en la cual bij = 1 si ej incide n en bi , y bij = 0 en otro caso. Como en la matriz de adyacencia, la matriz de incidencia es una matriz (0, 1). En general la matriz de incidencia no es simtrica, de hecho en general, no es una matriz cuadrada. e Cada matriz de incidencia obtenida depende de cmo marquemos los vrtices o e y las aristas. La siguiente gura muestra un ejemplo.

Figura 1-12

Tabla 3 A continuacin veremos ejemplos de matrices cuando se trata de una o multigrca, una pseudogrca o una digrca. a a a Multigrca a

24

Figura 1-13a Matriz de Adyacencia

Tabla 4 Matriz de Incidencia

Tabla 5 25

Pseudogrca a

Figura 1-13b Matriz de Adyacencia

Tabla 6 Matriz de Incidencia

26

Tabla 7

1.7.

Caminos, Paseos, Trayectorias y Ciclos

Denicin 1. 24 Sean u y v dos vrtices de una grca G. Un uv camino o e a en G es una sucesin alternada de vrtices y aristas de G, empezando con u o e y terminando con v, tal que toda arista une al vrtice que la precede con el e siguiente. Por ejemplo v2 , v2 v3 , v3 , v3 v4 , v4 , v4 v2 , v2 , v2 v1 , v1 , v1 v5 , v5 , v5 v4 , v4 , v4 v2 , v2 , v2 v3 , v3 es un v2 v3 camino en la grca G de la gura siguiente. (Figura a 1-15).

Figura 1-14 Ntese que las aristas v2 v3 y v3 v4 aparecen dos veces en el camino. o Se pueden enlistar slo los vrtices del camino, es decir el camino anterio e ormente descrito puede ser expresado como v2 , v3 , v4 , v2 , v1 , v5 , v4 , v2 , v3 . Denicin 1. 25 Un uv paseo en una grca es un uv camino que o a no repite aristas. El camino descrito anteriormente no es un paseo, pero el camino v1 , v2 , v3 , v4 , v2 , v5 es un v1 v5 paseo de la grca de la gura anterior. a 27

Denicin 1. 26 Una uv trayectoria es un uv camino (ouv paseo) o tal que no repite vrtices. e As en la gura anterior el camino v1 , v5 , v4 , v3 es una v1 v3 trayectoria. Denicin 1. 27 Un uv paseo en el cual u = v, y que contiene al menos o tres aristas es llamado Circuito. Un circuito debe terminar en el mismo vrtice en que se empez. e o Teorema 1. 6 Todo uv paseo contiene una uv trayectoria Denicin 1. 28 Un circuito que no repite vrtices (excepto el primero y el o e ultimo) es llamado ciclo. Por ejemplo en la grca de la gura anterior v1 , v2 , v3 , v4 , v2 , v5 , v1 es un a circuito pero no un ciclo, mientras que v2 , v3 , v4 , v5 , v2 es un ciclo (adems de a un circuito). Denicin 1. 29 El nmero de aristas en una trayectoria con la menor o u cantidad de aristas posible entre dos vrtices v y w de una grca conexa G e a se llama la distancia entre v y w y se denota por d(v, w). Denicin 1. 30 La excentricidad e(v) de un vrtice v es el mximo valor o e a de d(v, w), donde w es cualquier vrtice de la grca. e a Denicin 1. 31 El radio r(G) de G es la excentricidad del vrtice de menor o e excentricidad. Denicin 1. 32 Un vrtice es llamado vrtice central si su excentricidad o e e es igual al radio de la grca. a Denicin 1. 33 El centro C(G) de una grca es el conjunto de sus vrtices o a e centrales.

28

1.8.

Grcas Conexas a

Denicin 1. 34 Dos vrtices u y v en una grca G estn conectados si o e a a u = v o si u = v y existe una uv trayectoria en G. Denicin 1. 35 Una grca G es conexa si todo par de vrtices de G estn o a e a conectados. En otro caso se dice que G es disconexa. Denicin 1. 36 Una subgrca conexa H de una grca G es una compoo a a nente conexa (o simplemente una componente) de G si H = H siempre que H sea una subgrca conexa (de G) que contenga a H. En otras palabras una a componente de una grca es una subgrca conexa mxima. Una grca es a a a a conexa si y solo si el nmero de componentes es uno. En la siguiente grca u a (Figura 1-16) G tiene tres componentes.

Figura 1-15 Denicin 1. 37 Sea G una grca, se dice que v es un vrtice de corte de o a e la grca G si C(G v) > C(G). a Denicin 1. 38 Sea G una grca, se dice que a es una arista de corte (o o a puente) de la grca G si C(G a) > C(G). a 29

Teorema 1. 7 Sea G una grca conexa. Un vrtice es de corte si y solo si a e existe una particin de V (G v), U y W de V (G), tal que v est contenido o a en toda trayectoria en G que una a un vrtice de U con uno de W . e dem. Sea G una grca conexa y sea v un vrtice de corte. G v no es a e conexa y tiene al menos dos componentes conexas. Sean G1 , G2 , ..., Gj las componentes de G v y U = V (G1 ) y W = V (G2 ) ... V (Gj ). Tomemos u U y w W . Estos vrtices estn en componentes conexas distintas de e a G v, lo cual indica que en G v no hay una uw trayectoria. Esto implica que toda uw trayectoria en G, contiene a v necesariamente. Sea G una grca conexa y sean U y W subconjuntos de V (G) como a en la hiptesis. G v no puede ser conexa puesto que toda uw trayectoria o (u U y w W ) contiene a v, lo que indica que v es vrtice de corte. e Teorema 1. 8 Una arista a de una grca conexa G es un puente de G si a y solo si a no pertenece a ningn ciclo de G. u dem Sea a un puente de G. Como C(G a) > C(G) existen vrtices u y v e en V (G) que estn conectados en G pero no en G a. Entonces existe una a uv trayectoria en G, a la que llamaremos T , que contiene a a. Supongamos que a = xy y que x precede a y en T . En G a u est conectado a x por una a parte de T y y est conectado a v por otra parte de la misma trayectoria. Si a a estuviera en algn ciclo C de G, x y y estar conectados en G a por u an la trayectoria C a. La unin de la parte de T que une a x y a u con la o trayectoria y C a con la parte de T que conecta a y con v, conecta a u y a v en G a lo cual es una contradiccin. o Supongamos ahora que a = xy es una arista de G que no est en algn a u ciclo de G y que a no es puente. Esto quiere decir que G a es conexa y que por lo tanto existe una xy-trayectoria en G a a la que llamaremos T . Se puede observar que la unin de a y T da un ciclo en G que contiene a a, lo o cual es una contradiccin. o Deniremos ahora conceptos anlogos que involucren eliminacin de vrtices. a o e Si W es un conjunto de vrtices en G = (V, A) la grca obtenida de G al e a eliminar los vrtices que pertenecen a W , as como las aristas que inciden en e los vrtices de W se denota por G W . e Si W consiste de un solo vrtice w, la grca G W se denota por G w. e a Un conjunto W de vrtices en G es llamado un conjunto separador (tambin e e 30

conocido como conjunto de corte) en G si G W tiene ms componentes que a G. Si el conjunto separador consiste de un solo vrtice w , w se conoce como e vrtice de corte. El nmero (G) de una grca G es el tamao m e u a n nimo de un conjunto separador y se le llama la conexidad puntual. Ya que una grca a completa no tiene conjunto separador, adoptamos la convencin de que (G) o de una grca completa de orden n es n 1 para toda n. Una grca G se a a dice que es k conexa si (G) k. As Kn es (n 1) conexa para toda n. Y una grca que no es completa es k conexa si y solo si un conjunto a separador tiene al menos k vrtices. La conexidad puntual de una grca G e a es cero si y solo si es trivial o es una grca disconexa. Una grca c a a clica es 2 conexa puntualmente. En la gura anterior v6 es un vrtice de corte e y la subgrca G1 es 1 conexa puntualmente mientras que G2 y G3 son a 2 conexas puntualmente. En el siguiente cap tulo veremos que los resultados anteriores tienen varias condiciones equivalentes con el concepto de bloque. Teorema 1. 9 Toda grca con |V (G)| > 1 tiene al menos dos vrtices que a e no son de corte. dem. Podemos suponer que G es conexa ya que si G es disconexa el resultado aplica para cada una de sus componentes conexas. Sea G una grca conexa y u, v V (G) tales que su distancia sea mxia a ma. Supongamos que G u es disconexa. Entonces existen dos subconjuntos de V (G) que llamaremos U y W , tales que u est contenido en toda trayeca toria que una a un vrtice de U con uno de W . Para el vrtice v hay dos e e posibilidades: v U o v W . Si v U , consideremos w W . Como u est contenido en toda wv trayectoria, entonces d(w, v) d(u, v) + 1, lo a que contradice la eleccin de los vrtices u y v. Lo mismo pasa si v W . o e Analogamente se demuestra que v no es de corte. Teorema 1. 10 Si una grca conexa G con |V (G)| 3 tiene un puente, a entonces G tiene tambin un vrtice de corte. e e dem. Sea G una grca conexa con |V (G)| 3 y a A(G) un puente con a extremos u y v. G a no es conexa y tiene dos componentes conexas H1 y H2 tales que u V (H1 ) y v V (H2 ). Como G es conexa con al menos tres 31

vrtices, entonces existe w V (G a), tal que w = u, w = v. Si w V (H1 ), e entonces en Gu no existen wv trayectorias. Anlogamente si w V (H2 ). a Con lo cual conclu mos que G u o G v es disconexa, es decir u o v son vrtices de corte. e Teorema 1. 11 Si G es una grca disconexa entonces Gc es una grca a a conexa. dem. Sean u y v dos vrtices de Gc (y desde luego tambin de G). Si u y v e e pertenecen a distintas componentes conexas de G, entonces uv A(Gc ). Si u y v pertenecen a la misma componente conexa G1 en G, entonces sea w un vrtice en alguna otra componente conexa G2 de G. Entonces uw y vw e A(Gc ). As en cualquier caso existe una uv trayectoria en Gc , y por lo c tanto G es conexa.

1.9.

Grcas Bipartitas a

Denicin 1. 39 Una grca G es llamada bipartita si es posible separar o a al conjunto V de vrtices de G en dos subconjuntos no vac digamos V1 y e os, V2 , tal que toda arista de G une a un vrtice de V1 con un vrtice de V2 . e e En la siguiente gura (Figura 1-17) se dibuja de manera diferente la misma grca para mostrar que es bipartita. a

32

Figura 1-16 As para esta grca podemos hacer V1 = {v1 , v4 , v5 , v8 , v9 } y V2 = , a {v2 , v3 , v6 , v7 } para ver que efectivamente se trata de una grca bipartita. a Teorema 1. 12 Una grca no trivial es bipartita si y slo si no contiene a o ciclos de longitud impar. dem. Sea G una grca bipartita con particin de los vrtices V1 y V2 . a o e Sea C : v1 , v2 , ..., vk , v1 un ciclo de G. Sin prdida de generalidad, podemos e asumir que v1 V1 . de esta manera v2 V2 , v3 V1 , v4 V2 , y as podemos continuar. Esto implica que k = 2s para algn entero positivo s; as C tiene u longitud par. Para el inverso es suciente probar que toda grca conexa no trivial a G sin ciclos impares es bipartita, ya que toda grca no trivial es bipartita si a y slo si cada una de sus componentes conexas no triviales es bipartita. Sea o v V (G) y denotemos por V1 el subconjunto de V (G) que consiste de v y de todos los vrtices u de G con la propiedad de que cualquier uv trayectoria e m nima de G tiene longitud par. Sea V2 = V (G) V1 . Ahora probaremos que la particin de V1 V2 de V (G) tiene las propiedades adecuadas para mostrar o que G es bipartita. Sean u y w elementos de V1 , y supongamos que uw A(G). Entonces ni u ni w son el vrtice v. Sean v = u1 , u2 , ..., u2n+1 = u, con n 1, y e v = w1 , w2 , ..., w2m+1 = w, con m 1, una uv trayectoria m nima y una vw trayectoria m nima de G respectivamente, y supongamos que w es un vrtice que tienen en comn ambas trayectorias tal que la wue u subtrayectoria y la ww-subtrayectoria solo tienen a w en comn. (Ntese u o que w pudiera ser v). las dos ww subtrayectorias as determinadas son en tonces vw-trayectorias m nimas. As existe i tal que w=ui = wi . Pero por otro lado ui , ui+1 , ..., u2n+1 , w2m+1 , w2 m, ..., wi = ui es un ciclo impar de G, lo 33

que es una contradiccin a la hiptesis. Anlogamente no existen dos vrtices o o a e de V2 que sean adyacentes. Denicin 1. 40 La grca bipartita completa Km,n es una grca con m o a a vrtices en V1 y n vrtices en V2 en la cual existe una arista entre cada vrtice e e e de V1 y de V2 . Denicin 1. 41 Una grca G es llamada n-partita si es posible separar o a al conjunto V de vrtices de G en n subconjuntos no vac e os, digamos V1 , V2 ,..., Vn tal que toda arista de G une un vrtice de Vi (1 i n), con un e vrtice de Vj (1 j n), i = j. e Denicin 1. 42 Una grca G es llamada n-partita completa si cada vrtice o a e del conjunto Vi es adyacente con cada uno de los vrtices del conjunto Vj , e para toda (i = j), (1 i, j n).

1.10.

Vectores de los grados de los vrtices e

Denicin 1. 43 La sucesin de grados de los vrtices de una grca en o o e a orden no creciente se llama un vector grco. a Teorema 1. 13 Sea v=[d1 d2 d3 ... dk ] un vector no creciente con k (donde k es al menos 2) enteros no negativos donde ninguna componente di excede k 1. Sea v el vector obtenido de v al eliminar d1 y al restar 1 de las siguientes d1 componentes de v. Sea v1 el vector no creciente obtenido de v al reacomodar sus componentes si es necesario. Entonces v es un vector grco (es decir es un vector que corresponde a una grca) si y solo si v1 a a es un vector grco. a dem. (i) Supongamos que v=[d1 d2 d3 ... dk ] es un vector grco. Es posible a que exista ms de una grca con el conjunto de vrtices (ordenado) V = a a e x1 , x2 , ..., xk tal que el grado xi = di . Escogemos una grca G con vector a de grados v tal que la suma de los grados de aquellos vrtices adyacentes e al primer vrtice x1 sea lo ms grande posible. Entonces probaremos que x1 e a es adyacente a los siguientes d1 vrtices, empezando por x2 en el conjunto e ordenado V . Supongamos que no es el caso. As existen vrtices xj y xk tal e que (1) xj no es adyacente a x1 , (2) xk es adyacente a x1 y dj > dk . Sea 34

la suma de los grados de todos los vrtices adyacentes a x1 en la grca G e a igual a dk + t, donde t1. Como dj > dk , debe existir un vrtice xi que sea e adyacente a xj , pero que no sea adyacente a xk . Eliminamos la arista que une a x1 con xk y la arista que une xi con xj . Ahora construimos una arista que una a los vrtices no adyacentes xi y xj . El vector de los grados de los e vrtices que acabamos de construir (y que llamaremos G ) tiene el mismo e vector v. En G la suma de los grados de los vrtices adyacentes a x1 en G e es mximo. As x1 es adyacente a los d1 vrtices siguientes en el conjunto a e ordenado V que empieza en x2 . Entonces el vector v1 constru del vector do v como en la hiptesis del teorema es el vector de los grados de los vrtices o e de la grca G x1 . As v1 es un vector grco. a a (ii)Supongamos que v1 es un vector grco. Por lo tanto existe una gra a ca G1 de orden k 1 para la cual su vector es v1 . Ahora reetiquetaremos los vrtices de G1 como x2 , x3 , ..., xk tal que el grado de xi es la i-sima compoe e nente de v . Construimos un nuevo vrtice x1 y unimos x1 con cada uno de e los primeros d1 vrtices en el conjunto ordenado [x2 , x3 , ..., xk ]. La primera e componente del vector de grados de la nueva grca G as constru es d1 , y a da las siguientes d1 componentes son dj . As las primeras d1 +1 componentes del vector de grados de G son las mismas que las primeras d1 + 1 componentes de v. Las componentes restantes del vector de grados son las mismas que las ultimas k (d1 + 1) componentes de v. As el vector de grados de G es v, y es un vector grco. a Algoritmo para determinar si es que un vector es grco. a El vector v es un vector no creciente con entradas enteras. Paso 0. (Inicio). El vector en cuestin es v. o Paso 1. Si el vector con k componentes tiene una componente que exceda k-1, ir al paso 5. En otro caso ir al paso 2. Paso 2. Si el vector tiene alguna componente negativa, ir al paso 5. De otra manera ir al paso 3. Paso 3. Si el vector es el vector cero, ir al paso 6. En otro caso ir al paso 4. Paso 4. (Iteracin). Reacomodar las componentes del vector en cuestin de o o tal manera que se vuelva un vector no creciente con d1 como su primera componente. eliminamos d1 del vector reacomodado, y restamos 1 a las siguientes d1 componentes del vector. El vector as constru es el nuevo vector do en cuestin. Ir al paso 1. o Paso 5. El vector no corresponde a una grca. Ir al paso 7. a 35

Paso 6. El vector corresponde a una grca. Ir al paso 7. a Paso 7. Detenerse. Nota: El vector cero del paso 3 con k componentes corresponde a una grca ya que es el vector de grados de una grca simple con k vrtices sin a a e aristas. Usaremos este algoritmo para determinar que el vector v=[5 4 4 3 3 3 2] es grco. a Iteracin 1. o v=[5 4 4 3 3 3 2] y v1 =[3 3 2 2 2 2] Iteracin 2. o v=[3 3 2 2 2 2] y v1 =[2 2 2 1 1] Iteracin 3. o v=[2 2 2 1 1] y v1 =[1 1 1 1] Iteracin 4. o v=[1 1 1 1] y v1 =[1 1 0] Iteracin 5. o v=[1 1 0] y v1 =[0 0] Al nal de la quinta iteracin obtenemos el vector cero. As el vector v original o corresponde a una grca. a

1.11.

Ejercicios

1. Dibuje el diagrama de las siguientes grcas: a a) V = {v1 , v2 , v3 , v4 , v5 } A = {v1 v2 , v1 v4 , v1 v5 , v2 v3 , v3 v4 , v4 v5 } b) V = {v1 , v2 , v3 , v4 , v5 , v6 } A = {v1 v2 , v1 v4 , v2 v3 , v2 v5 , v3 v5 } c) V = {v1 , v2 , v3 , v4 , v5 , v6 } A = {v1 v2 , v1 v3 , v1 v4 , v2 v5 , v2 v6 , v3 v5 , v 3 v 6 , v 4 v 5 , v4 v 6 } 2. Dibuje el diagrama de los complementos de las grcas del ejercicio 1. a 3. Muestre que en una grca simple, hay al menos dos vrtices del mismo a e grado. 4. Muestre que el complemento de una grca bipartita no necesariamente a es una grca bipartita. a 36

5. Muestre que toda grca simple de orden n es isomorfa a una subgrca a a de la grca completa con n vrtices. a e 6. Muestre que si dos grcas G y G son isomorfas, el orden de G es igual a al orden de G y el tamao de G es igual al tamao de G . n n 7. Muestre que si dos grcas G y G son isomorfas, el grado de cada a vrtice se preserva bajo el isomorsmo. e 8. Muestre que dos grcas G y G con el mismo conjunto de vrtices a e V = {v1 , v2 , ..., vn } y tal que el grado de cada vrtice vi es el mismo e para ambas grcas, no necesariamente son isomorfas. a 9. D un ejemplo de dos grcas no isomorfas pero con el mismo orden y e a tamao. n 10. Muestre que dos grcas simples son isomorfas si y slo si sus complea o mentos son isomorfos. 11. Determine si las siguientes grcas (Figura 1-18) son o no isomorfas. a

37

Figura 1-17 12. Encuentre todas las grcas no isomorfas con 4 vrtices y 3 aristas. a e 13. Encuentre todas las grcas no isomorfas de orden 4. a 38

14. Encuentre una grca autocomplementaria de orden 4. a 15. Encuentre dos grcas autocomplementarias de orden 5. a 16. Encuentre el nmero de aristas de una grca completa con n vrtices. u a e 17. Muestre que el nmero de vrtices de una grca autocomplementaria u e a es 4k o 4k + 1 , donde k es un entero positivo. 18. Encuentre el nmero de aristas de la grca completa bipartita Km,n . u a 19. Muestre que no existe una grca simple con 12 vrtices y 28 aristas a e en la cual todos los vrtices son de grado 3 o 4. e 20. Muestre que en cualquier grupo de 6 personas, hay tres personas que se conocen entre si (es decir cada una de ellas conoce a las otras dos), o tres personas que no se conocen (ninguna de ellas se conoce). 21. Pruebe que en la Matriz de Adyacencia de una grca, la suma de a las entradas en un rengln (o una columna) corresponde al grado del o vrtice, y que la suma de todas las entradas es dos veces el nmero de e u aristas. 22. Determine si el vector [5 4 3 3 3 3 3 2] es grco. a 23. Determine si el vector [6 6 5 4 3 3 1] es grco. a 24. Determine si el vector [5 5 3 2 1] es grco. a 25. Sea v=[d1 d2 ...dn ] y w=[wn wn1 ...w2 w1 ], donde wi = n 1 di . Muestre que v es un vector grco si y solo si w es un vector grco. a a 26. Determine x si [8 x 7 6 6 5 4 3 3 1 1 1] es un vector grco. a

39

Cap tulo 2 Bloques y Conexidad

2.1. Bloques

A menudo encontraremos grcas que no tienen vrtices de corte. Es este a e tipo de grcas las que discutiremos a continuacin a o Denicin 2. 1 Un bloque es una grca conexa no trivial sin vrtices de o a e corte. Las grcas conexas no triviales que no son bloques contienen subgrcas a a especiales en las cuales tambin estamos interesados. e Denicin 2. 2 Los bloques de una grca G son las subgrcas mximas o a a a de G por contencin con la propiedad de ser bloques, un bloque es neceo sariamente una subgrca inducida, y ms an los bloques de una grca a a u a particionan su conjunto de aristas. La siguiente gura muestra una grca y sus bloques a

40

Figura 2-1 Denicin 2. 3 Los bloques de una grca que contienen exactamente un o a vrtice de corte de dicha grca se llaman bloques terminales. e a Teorema 2. 1 Sea G una grca conexa con al menos tres vrtices. Las a e siguientes armaciones son equivalentes. 1. G es un bloque. 2. Cada par de vrtices de G est en un ciclo comn. e a u 3. Dados un vrtice y una arista de G existe un ciclo que contiene a ambos. e 4. Cada par de aristas de G est en un ciclo comn. a u

41

5. Dados dos vrtices y una arista de G, existe una trayectoria que une a e los vrtices que contiene a la arista. e 6. Para cada tres vrtices de G, existe una trayectoria que une a cuae lesquiera dos vrtices que contiene al tercero. e 7. Para cada tres vrtices de G, existe una trayectoria que une a cuae lesquiera dos vrtices que no contiene al tercero. e dem 12 Sean u y v dos vrtices distintos de G, y sea U el conjunto de todos los e vrtices diferentes de u que estn en un ciclo que contiene a u. Dado que e a G tiene al menos tres vrtices sin vrtices de corte, por lo tanto no tiene e e puentes, as todo vrtice adyacente a u est en U , por lo tanto U no es vac e a o.

Figura 2-2. Supongamos que v no est en U . Sea w un vrtice en U para el cual la a e distancia entre w y v sea m nima. Sea T la wv trayectoria ms corta, y sean a T0 y T1 las dos uw trayectorias de un ciclo que contenga a u y a w. Como w no es un vrtice de corte, existe una uv trayectoria que llamaremos T2 e que no contiene a w. Sea w el vrtice ms cercano a u en T2 y que adems e a a

42

est en T , y sea u el ultimo vrtice de la uw subtrayectoria de T2 ya sea en a e T0 o T1 . Sin prdida de generalidad, supondremos que u est en T0 . e a

Figura 2-3.

Figura 2-4. 43

Sea Q1 la uw trayecoria que consiste de la uu subtrayectoria de T0 y de la u w subtrayectoria de T2 . Sea Q2 la uw trayectoria que consiste de T1 junto con la ww subtrayectoria de T . As Q1 y Q2 son dos uw trayectorias ajenas. Juntas forman un ciclo, as w est en U . Como w est en la wv trayectoria a a ms corta, entonces d(w , v) < d(w, v). Esto contradice nuestra eleccin de a o w, probando as que u y v estn en un ciclo. a 23 Sea u V (G) y a A(G), a = wv. Por hiptesis existe un ciclo C que o contiene a u y a w. En cuanto a v hay dos posibilidades: que sea parte de los vrtices del ciclo o que no sea parte del ciclo. e Si v V (C) obtenemos un ciclo C0 que contiene a u y a la arista a de la siguiente manera: C = u, u1 , ..., un1 , un , w, w1 , ...wm1 , wm , v, v1 , ...vk1 , vk , u C0 = u, u1 , ..., un1 , un , w, v, v1 , ..., vk1 , vk , u Es decir, sustitu mos la parte de C entre w y v por la arista a, como se muestra en la siguiente gura. (Figura 2-4).

Figura 2-5.

44

Si V V (C), entonces la prueba es igual a la demostracin anterior y / o podemos encontrar dos trayeectorias de u a v, una de las cuales contiene a la arista a. 34 Sean a y b dos aristas de G y sean w y v los extremos de b. Por hiptesis o existe un ciclo C1 que contiene a la arista a y al vrtice w. Al igual que e la demostracin anterior, tenemos dos casos, ya sea que v est o no est en o e e V (C1 ). Las demostraciones son anlogas a las anteriores. a 45 Cualesquiera dos vrtices de G inciden en una arista cada uno, dichas e aristas estan en un ciclo por hiptesis. As cualesquiera dos vrtices de G o e estn en un ciclo y adems tenemos las hiptesis de 2 y de 3. Sean u y v dos a a o vrtices distintos y x una arista de G. Por la hiptesis de 3, existen el ciclo e o C1 que contiene a u y a x y C2 que contiene a v y a x. Si v est en C1 o u a est en C2 , existe una uv trayectoria que contiene a x. As solo debemos a considerar el caso en el que v no est en C1 y u no est en C2 . Empezaremos a a con u e iremos a lo largo de C1 hasta alcanzar el primer vrtice w de C2 , e despus tomamos la wv trayectoria en C2 que contiene a x. Este camino e constituye una uv trayectoria que contiene a x. 56 Sean u, v y w vrtices distintos de G, y sea x una arista que incide en e w. Por 5, existe una uv trayectoria que contiene a x, y por lo tanto debe contener a w. 67 Sean u, v y w vrtices distintos de G. Por 6, existe una uw trayectoria e T que contiene a v. Entonces la uv subtrayectoria de T no contiene a w. 71 Sabemos que para cualesquiera dos vrtices u y v, no exste algn punto e u que est en toda uv trayectoria. Por lo tanto G debe ser un bloque. e Teorema 2. 2 Dos bloques tienen a lo ms un vrtice en comn. a e u dem. Asumiremos que la grca G es conexa. Si un vrtice que pertence a un a e bloque de G es eliminado, la grca no se vuelve disconexa. Si dos bloques a B1 y B2 tienen dos vrtices x y y en comn, sea H = G x. En la grca B1 , e u a existe una trayectoria entre cada vrtice en B1 y cada vrtice en (B1 B2 )x. e e Similarmente en la grca B2 , existe una trayectoria entre cada vrtice en B2 a e 45

y cada vrtice en (B1 B2 ) x. Por lo tanto la unin de estos dos bloques es e o un bloque violando la maximalidad de dichos bloques. Si dos bloques tienen un vrtice en comn, dicho vrtice es necesariamente un vrtice de corte. e u e e Qu distingue a un vrtice que tienen en comn dos bloques?. e e u Denicin 2. 4 Grca de bloques. La grca de bloques de una grca G, o a a a (que denotaremos como B(G) ) es la grca cuyos vrtices son los bloques a e de la grca G y dos de estos vrtices son adyacentes siempre que los correa e spondientes bloques tengan a un vrtice de corte en comn. e u Denicin 2. 5 Grca de vrtices de corte. La grca de vrtices de corte o a e a e de una grca G, (que denotaremos como C(G) ) es la grca cuyos vrtices a a e son los vrtices de corte de la grca G, y dichos vrtices son adyacentes si e a e los correspondientes vrtices de corte estn en un mismo bloque de la grca e a a G. Notese que C(G) est denida para grcas que tienen al menos un vrtice a a e de corte. A continuacin se presenta una grca (Figura 2-6) con su grca de o a a bloques y de vrtices de corte. e

46

Figura 2-6 Denicin 2. 6 Grca de bloques-vrtices de corte. Sea G una grca conexa o a e a con bloques {Bi } y vrtices de corte {cj }, la grca de bloques-vrtices de e a e corte de G, denotado por bc(G), es denida como la grca con conjunto de a vrtices {Bi } {cj }, de tal manera que dos vrtices son adyacentes si uno e e corresponde a un bloque Bi , otro corresponde a un vrtice de corte cj y cj e est en Bi . As, bc(G) es una bigrca. a a A continuacin se presenta una grca (Figura 2-7) con su grca de o a a bloques-vrtices de corte. e

47

Figura 2-7

2.2.

Conexidad Lineal y Conexidad Puntual

La conexidad de las grcas es un rea particularmente intuitiva de la a a teor de grcas y abarca los conceptos de vrtice de corte, puente y bloque. a a e Si F es un conjunto de aristas de la grca G = (V, A), la grca obtenida a a de G al eliminar las aristas que pertenecen a F se denota por G F . Si F consiste de una sola arista f , G F se denota por G f . Un conjunto F de aristas en G es llamado un corte lineal de G si G F es disconexa, es decir c(G F ) > c(G). Si un conjunto F que desconecta consiste de una arista, dicha arista es llamada un puente (o arista de corte) como ya se hab visto. a 48

Denicin 2. 7 La conexidad puntual (o slo conexidad) (G) de una gro o a ca G es el mnimo nmero de vrtices cuya eliminacin da como resultado u e o una grca disconexa o la grca trivial. a a As por ejemplo la conexidad de una grca disconexa es 0, mientras , a que la conexidad de una grca conexa con un vrtice de corte es 1. La a e grca completa Kp no puede aumentar el nmero de componentes conexas a u al remover cualquier cantidad de vrtices, pero la grca trivial resulta al e a remover p 1 vrtices, por lo tanto (Kp ) = p 1. e Denicin 2. 8 Se dice que una grca G es n conexa, con n 1 si o a (G) n. Ntese entonces que si una grca no trivial es conexa entonces se dice o a que es 1 conexa. Denicin 2. 9 La conexidad lineal (G) de una grca G es el m o a nimo nmero de aristas cuya eliminacin da como resultado una grca disconexa u o a o la grca trivial. a As por ejemplo la conexidad lineal de una grca disconexa es 0 al igual , a que para K1 , mientras que la conexidad de una grca conexa con un puente a es 1. Denicin 2. 10 Se dice que una grca G es n conexa linealmente , o a con n 1 si (G) n. Denicin 2. 11 Un conjunto V de vrtices que aumenta el nmero de o e u componentes de una grca, se dice que es un conjunto de corte o simplea mente un corte si no existe un subconjunto propio de V que la desconecte. Denicin 2. 12 Un conjunto A de aristas que aumenta el nmero de como u ponentes de una grca, se dice que es un conjunto lineal de corte o simplea mente un corte lineal si no existe un subconjunto propio de A que la desconecte. La grca con 13 vrtices de la siguiente gura (Figura 2-8) es disconexa, a e ya que hay varias parejas de vrtices que no estn conectados. Por ejemplo el e a vrtice v2 y v5 no est conectados. Las componentes de G son G1 , G2 y G3 . El e a 49

conjunto {v1 v6 , v2 v6 } es un conjunto que aumenta el nmero de componentes u pero no es un conjunto de corte. El conjunto {v10 v12 , v10 v13 } es un conjunto de corte. La arista v2 v6 es un puente. Como G es disconexa, su conexidad lineal es cero. La conexidad lineal de G2 es 2.

Figura 2-8 Teorema 2. 3 Para toda grca G, K(G) (G) (G) a dem. El conjunto de aristas que inciden en un vrtice de grado m e nimo es un conjunto que separa al vrtice de grado m e nimo de los vrtices a los cuales era e adyacente, as (G) (G). Si (G) es cero, la grca es trivial o disconexa, a lo cual implica que K(G) es tambin cero. Si G es conexa y tiene un puente x, e entonces (G) = 1 la grca G tiene un puente, lo que implica que K(G) = 1 a ya que G es K2 o tiene un vrtice de corte en el cual incide x . Supongamos e que (G) > 1. Si eliminamos (G) 1 aristas de la grca, obtenemos una a subgrca conexa con un puente que une dos vrtices v y w. Por cada arista a e eliminada, podemos escoger un vrtice en el cual incide la arista, distinto de e v y w. Sea W el conjunto de todos los vrtices as escogidos. Supongamos e que la eliminacin de todos los vrtices en W nos da la grca G . Si G no es o e a conexa, se sigue que K(G) < (G). Si G es conexa, tiene un vrtice u cuya e 50

eliminacin resulta en una grca trivial o disconexa ya que en un incide una o a arista que es un puente. As el conjunto de vrtices que consiste de u y de e los vrtices escogidos (a lo ms (G) 1) constituye un conjunto separador e a en G, lo que implica que K(G) (G). Teorema 2. 4 Una grca G con p 3 es 2-conexa si y solo si todos los a vrtices de G estan conectados por al menos dos trayectorias internamente e ajenas. dem. Si cualesquiera dos vrtices de G estn conectados por al menos dos e a trayectorias internamente ajenas, entonces, claramente G es conexa y no tiene vrtices de corte. Entonces G es 2-conexa. e Sea G una grca 2-conexa. La demostracin ser por induccin sobre la a o a o distancia d (u, v) entre u y v, y demostraremos que para cualesquiera dos vrtices u y v estn conectados por al menos dos trayectorias internamente e a ajenas. Supongamos que d (u, v) = 1. Entonces, dado que G es 2-conexa, la arista uv no es de corte y por lo tanto est contenida en un ciclo. Se sigue entonces a que u y v estn conectados por dos trayectorias internamente ajenas en G. a Ahora supongamos que el teorema se cumple para cualesquiera dos vrtices e a distancia menor que k, y sea d (u, v) = k 2. Consideremos una (u, v)trayectoria de longitud k, y sea w el vrtice que precede a v en esta trayectoe ria. Ya que d (u, w) = k 1, entonces por la hiptesis de induccin sabemos o o que hay dos trayectorias internamente ajenas entre u y w a las que llamaremos P y Q. Adems, ya que G es 2-conexa, G w es conexa y contiene una a (u, v)-trayectoria a la que llamaremos P . Sea x el ultimo vrtice de P que e est tambin en P Q. (Vease la gura bond 45). Dado que u est en P Q, a e a existe dicha x, no excluimos la posibilidad de que x = v. Asumimos sin prdida de generalidad, que x est en P . Entonces G tiene e a dos (u, v)-trayectorias internamente ajenas, una compuesta por la seccin o de P que va de u a x junto con la seccin de P que va de x a v, y la otra o compuesta de Q junto con la trayectoria que va de w a v. Por lo tanto existen al menos dos (u, v)-trayectorias. Corolario 1 Si G es 2-conexa, entonces cualesquiera dos vrtices estn en e a un ciclo comn. u 51

dem. Esto se sigue inmediatamente del teorema anterior ya que dos vrtices e estn en un ciclo en comn si y solo si estn conectados por dos trayectorias a u a internamente ajenas. Teorema 2. 5 Muestre que si una grca simple de orden n y tamao m a n 1 tiene k componentes, entonces m 2 (n k)(n k + 1). dem. El resultado se cumple an si asumimos que cada componente es comu pleta. Supongamos que Hi y Hj son dos componentes completas con ni y nj vrtices, donde ni nj 1. Si reemplazamos estas dos componentes por dos e grcas completas de orden ni + 1 y nj 1, respectivamente, el nmero total a u de vrtices permanece invariante pero el nmero de aristas se incrementa en e u ni nj + 1. as el nmero de aristas de una grca simple de orden n con k u a componentes ser mximo si hay k 1 vrtices aislados y una componente a a e 1 completa con n k + 1 vrtices y 2 (n k)(n k + 1) aristas. e Corolario 2 Muestre que el m nimo nmero de aristas necesario para aseu 1 gurar que una grca simple sea conexa es m > 2 (n 1)(n 2). a dem. La grca que consiste de dos componentes Kn1 y K1 es una grca a a 1 n disconexa de orden n y tamao 2 (n1)(n2). Si m es el tamao de cualquier n 1 u grca simple de orden n y si m > 2 (n k)(n k + 1), el nmero de sus a 1 componentes es k 1 o menor. En particular, si m > 2 (n 2)(n 2 + 1) la grca es conexa. As una grca de orden n y tamao m es conexa si a a n 1 m > 2 (n 1)(n 2). Teorema 2. 6 Una grca no trivial G es n-conexa linealmente si y solo si a no existe un subconjunto propio W de V (G) tal que el nmero de aristas que u unen a W con V (G) W es menor que n. dem. Supongamos que no existe un subconjunto propio no vac W de V (G) o para el cual el nmero de aristas que unen a W con V (G) W es menor u que n pero que G no es n-conexa. Como G es no trivial, esto implica que existen k aristas 0 k < n, tal que su eliminacin de G resulta en una o 52

grca disconexa H. Sea H1 una componente de H. Ya que el nmero de a u aristas que unen V (H1 ) y V (G) V (H1 ) es a lo ms k, donde k < n, esto es a una contradiccin. o Supongamos que G es una grca n-conexa linealmente. Si existiera a un subconjunto W de V (G) tal que las j aristas, j < n, que unen a W con V (G) W , entonces la eliminacin de estas j aristas produce una grca o a disconexa, lo cual genera una contradiccin. o Teorema 2. 7 Si G es una grca n-conexa y v, v1 , v2 , ..., vn son n + 1 a vrtices distintos de G, entonces para i = 1, 2, ..., n existen vvi trayectorias e internamente ajenas. dem. Construimos una nueva grca H de G al aadir un nuevo vrtice u a G a n e junto con las aristas uvi , i = 1, 2, ..., n. Como G es n-conexa, existen n uvtrayectorias internamente ajenas en H. La restriccin de estas trayectorias o de G se debe a las deseadas vvi trayectorias internamente ajenas.

2.3.

Teorema de Menger

Teorema 2. 8 El mnimo nmero de vrtices que separan a dos vrtices no u e e adyacentes s y t es el mximo nmero de st trayectorias ajenas. a u dem. Es claro que si k vrtices separan a s y a t, no puede haber ms de k e a st trayectorias ajenas. Ahora debemos demostrar que si se necesitan k vrtices para separar a s de e t en G, entonces existen k st trayectorias ajenas en G. Esto es claramente cierto si k = 1. Supongamos que no es cierto para k > 1. Sea h la ms a pequea k, y sea F la grca con el m n a nimo nmero de vrtices en el cual u e el teorema falla para h. Removemos aristas de F hasta que obtengamos a la grca G tal que se requieran h puntos para separar a s de t en G, pero que a para toda arista x en G, solo se necesiten h 1 vrtices para separar a s de e t en G x. Primero obtendremos las propiedades de esta grca, y despus a e completaremos la demostracin del teorema. o Por denicin de G, para cada arista x de G existe un conjunto S(x) con o h 1 vrtices tales que separan a s de t en G x. Ahora G S(x) contiene e 53

al menos una st trayectoria, ya que se necesitan h puntos para separar a s de t en G. Cada una de esas st trayectorias debe contener a la arista x = uv ya que no es una trayectoria en G x. As u, v S(x) y si u = s, t / entonces S(x) {u} separa a s de t en G. Si existe un vrtice w adyacente a s y a t en G, entonces G w ree quiere h 1 vrtices para separar a s de t y por lo tanto tiene h 1 e st trayectorias ajenas. Reemplazando a w, tenemos h st trayectorias ajenas en G. As hemos probado que: (I) No existen vrtices adyacentes a ambos vrtices s y t en G. e e Sea w cualquier coleccin de h vrtices que separan a s de t en G. Una o e sW trayectoria es una trayectoria que une a s con algn wi W y que u no contiene algn otro punto de W . Llamemos a las colecciones de todas las u sW trayectorias y W t trayectorias Ps y Pt respectivamente. Entonces cada st trayectoria empieza con un elemento de Ps y termina con un elemento de Pt , porque cada una de las dichas trayectorias contiene a algn u vrtice de W . Ms an, las trayectorias en Ps y Pt tienen solo a los vrtices e a u e de W en comn, dado que es claro que cada wi est en al menos una trayecu a toria de cada una de las colecciones y, si algn otro vrtice est en una sW u e a y en una W t trayectoria, entonces debe existir una st trayectoria que no contenga vrtices de W . Finalmente, o Ps W = {s} o Pt W = {t}, ya e que si no, Ps ms las aristas {w1 t, w2 t, ...} y Pt ms las aristas {sw1 , sw2 , ...} a a son grcas con menos vrtices que G en las cuales s y t son no adyacentes a e y se requieren h vrtices para separarlos y por lo tanto en cada una hay h e sttrayectorias ajenas. Combinando las porciones de sW y de W t de dichas trayectorias, podemos construir h st trayectorias en G, y as tenemos una contradiccin. Por lo tanto hemos probado que: o (II) Cualquier coleccin W de h vrtices que separan a s de t es adyao e cente ya sea a s o a t. Ahora podemos completar la prueba del teorema. Sea P = {s, u1 , u2 , ..., t} una st trayectoria ms corta en G y sea u1 u2 = x. Notese que por (I), a u2 = t. Formamos S(x) = {v1 , v2 , ..., vk1 } como anteriormente lo hicimos, separando a s y t en G x. Por (I) u1 t G, as por (II), con W = / , S(x) {u1 }, svi G, para toda i. As tambin por (I) vi t G, para toda , e / 54

i. Si por el contrario escogemos W = S(X) {u2 }, tenemos por (II) que su2 G, contradiciendo el hecho de que P es una st trayectoria ms corta, a y completando la prueba del teorema.

2.4.

Ejercicios

1. Dar una demostracin por reduccin al absurdo del siguiente corolario: o o Toda grca con al menos dos vrtices tiene al menos dos vrtices que a e e no son de corte. 2. Determina el nmero mximo de vrtices de corte que pueden estar en u a e un bloque B de una grca conexa con p vrtices, p 3. a e 3. Sea G un bloque con p vrtices, p 3, y sean u y v dos vrtices e e distintos de G. Dada una uv trayectoria P en G. Existe siempre una uv trayectoria Q tal que P y Q sean ajenas? 4. Sea G una grca con cuatro bloques tal que V (G) = v1 , v2 , ..., v8 . a Supongamos que todo vi , i i 6 est en un bloque exactamente y a que v7 y v8 pertenecen exactamente a dos bloques. Prueba que G es disconexa. 5. Sea G una grca conexa con uno o ms vrtices de corte. Demostrar a a e que G contiene por lo menos dos bloques terminales. 6. Sea G una grca conexa con al menos un vrtice de corte. Demostrar a e que G contiene un vrtice de corte con la propiedad de que, con a lo e ms una excepcin, todos los bloques que contienen a v son bloques a o terminales. 7. Demostrar que si G no tiene ciclos pares, entonces todo bloque de G es K2 o un ciclo impar. 8. En los siguientes ejercicios de un ejemplo de una grca G que satisfaga a las condiciones dadas. a) K(G) = (G) = (G) b) K(G) = (G) < (G) c) K(G) < (G) = (G) 55

d ) K(G) < (G) < (G) 9. En los siguientes ejercicios dibuje una grca con las siguientes caraca ter sticas que se dan o explique porque no existe dicha grca. a a) Una grca con seis vrtices tal que K(G) = (G) = 2 a e b) Una grca conexa con 11 vrtices, 10 aristas y sin vrtices de a e e corte. c) Una grca 3-conexa con exactamente un puente. a d ) Una grca 2-conexa con 8 vrtices y exactamente dos puentes. a e 10. En los siguientes ejercicios determine la conexidad puntual y lineal de las grcas dadas. a a) La grca bipartita completa K4,7 . a b) La grca cbica Q4 . a u c) La grca completa Km,n . a d ) La grca de Petersen. a 11. Pruebe que no existe una grca simple 3 conexa con exactamente 7 a aristas.

56

Cap tulo 3 Grcas Eulerianas y a Hamiltonianas

3.1. El problema de los puentes de Knigso berg

En el pueblo de Knigsberg (ahora conocido como Kaliningrado) exist o an en el siglo XVIII siete puentes que atravesaban el r Pregel (llamado Preo golya en estos d as). Los puentes conectaban dos islas en el r entre s y con o las orillas opuestas. Los habitantes del pueblo se divert con este problema: Es posible an atravesar los siete puentes en una caminata continua sin pasar dos veces por alguno de ellos?. La siguiente gura (Figura 3-1) muestra un diagrama de Knigsberg, con o las areas de tierra (islas y orillas) denotadas por A, B, C y D.

Figura 3-1 57

La situacin en Knigsberg puede ser representada por una multigrca o o a como se muestra en la siguiente gura.

Figura 3-2 El conjunto de los vrtices corresponde a las reas de tierra y dos vrtices e a e estan unidos por un nmero de aristas igual al nmero de puentes que unen u u las correspondientes reas. a El problema de los puentes de Knigsberg es esencialmente un probleo ma de determinar si la multigrca M de la gura anterior tiene un paseo a (posiblemente un circuito) que contenga a todas las aristas. Se puede usar el metodo de ensayo y error, y probablemente se llegar a a la conclusin de que no existe dicho paseo. Pero, Cmo probamos que no o o existe dicho paseo?.

3.1.1.

Solucin al problema de los Puentes de Knigso o berg

Es decir, probaremos que la multigrca M de la gura anterior no tiene a un paseo que contenga a todas las aristas de M. La demostracin ser por contradiccin. Suponga que la multigrca M o a o a de la gura anterior tiene un paseo, digamos P , tal que contiene a todas las aristas de M . Entonces P comienza en alguno de los cuatro vrtices A, e 58

B, C o D, y termina tambin en uno de los cuatro vrtices A, B, C o D e e (el mismo vrtice donde empez P si P es un circuito). Al menos hay dos e o vrtices entre A, B, C y D tal que P ni empieza ni termina en uno de estos e dos vrtices. As existe al menos un vrtice entre B, C y D tal que P ni e , e empieza ni termina en uno de ellos. Denotemos a dicho vrtice por v. e Notese que cada uno de los vrtices B, C y D son de grado 3. As despus e , e de que alguna arista de P entra al vrtice v por vez primera y alguna arista e de P sale del vrtice v, hay exactamente una arista incidente en v que no e pertenece an a P . Se debe entrar a v a travs de P por la arista incidente en u e v que no hab sido usada. De cualquier manera al llegar a v por segunda vez, a no tenemos aristas restantes para salir, as P debe terminar en v (esto para B, C y D ya que se supon que al menos uno de ellos no era vrtice inicial a e o nal), es decir no existe el paseo P , obteniendo la contradiccin deseada. o El problema de los puentes de Knigsberg fue inicialmente resuelto por el o famoso matemtico Suizo Leonhard Euler (1707-1783). El tipo de paseo visto a en el problema de los puentes de Knigsberg ha dado lugar, de una manera o muy natural, a una clase de grcas (de hecho multigrcas) que llevan el a a nombre de Euler.

3.2.

Grcas Eulerianas a

Denicin 3. 1 Un circuito que contiene a todos los vrtices y a todas las o e aristas de una multigrca M es llamado un Circuito Euleriano en M . Una a grca que contiene un circuito euleriano es llamada una Grca Euleriana, a a mientras que una multigrca que contiene un circuito euleriano es llamada a Multigrca Euleriana. a Teorema 3. 1 Una multigrca G es euleriana si y slo si G es conexa y a o todo vrtice de G es de grado par. e dem. Supongamos que G es una multigrca euleriana. Entonces G contiene a un circuito euleriano C, que empieza y termina, digamos en un vrtice v. e Como C contiene a todos los vrtices de G, existe un paseo entre cualesquiera e dos vrtices (y por lo tanto una trayectoria), de tal manera, G es conexa. e Ahora mostraremos que todo vrtice de G es par. Primero consideraremos un e vrtice u diferente de v. Como u no es el primer ni el ultimo vrtice de C, cada e e vez que nos encontramos con u entramos por una arista y salimos por una 59

arista distinta; as cada vez que nos encontramos con u en C incrementamos el grado de u en dos. As u tiene grado par. En el caso del vrtice v, cada vez e que nos encontramos con v excepto la primera y la ultima contribuyen en dos al grado, mientras que la ocurrencia inicial y nal de v en C contribuye cada una en uno al grado de v. Por lo tanto, todo vrtice de G es de grado e par. Supongamos que G es una multigrca conexa y todo vrtice de G es a e de grado par. Mostraremos ahora que G es euleriana. Escojamos un vrtice e v de G, y empecemos un paseo P en v. Continuamos con este paseo tanto como sea posible hasta que lleguemos a un vrtice w de tal manera que las e unicas aristas que incidan en w pertenezcan a P ; por lo tanto P no puede continuar, y debemos detenernos. Supondremos entonces que w = v. Para justicar esto, supongamos que w = v. En cada ocasin que nos encontramos o con w previo a la ultima vez, usamos una arista para entrar a w y otra para salir. Cuando nos encontramos con w por ultima vez en P , solo se usa una arista para entrar. As un nmero impar de aristas incidentes en w aparecen u en P . Como w tiene grado par, debe haber alguna arista que incida en w que no pertenezca a P . Esto implica que P puede ser continuada y por lo tanto no termina en w (si w = v). Concluimos entonces que w = v, y P es un circuito. Si el circuito P contiene a todas las aristas de G, entonces P es un circuito euleriano de G y G es una multigrca euleriana. a Supongamos que el circuito P no contiene a todas las aristas de G. Como G es conexa, debe haber al menos un vrtice u en P en el cual inciden e aristas que no estn en P . Quitamos de G las aristas que pertenecen a P a y consideremos la multigrca resultante H. Como P no contiene a todas a las aristas de G, la multigrca H tiene aristas. Adems, en cada vrtice a a e que pertenece a P inciden un nmero par de aristas de P , as todo vrtice u e de H es de grado par. Sea H1 la componente de H que contiene al vrtice e u. Si comenzamos un paseo P1 de H1 en u y continuamos este paseo hasta donde sea posible, entonces, como anteriormente vimos, P1 debe terminar en u (esto es, P1 debe ser un circuito). Es posible formar un circuito C1 de G, que comience y termine en v, que tenga ms aristas que P . Hacemos esto al a tomar el circuito P e insertarle el circuito P1 en donde concurren en u. Si C1 contiene a todas las aristas de G, entonces C1 es un circuito euleriano y G es una multigrca euleriana. Si C1 no contiene a todas las aristas a de G, entonces podemos continuar el procedimiento hasta que nalmente encontremos un circuito euleriano de G.

60

Teorema 3. 2 Una multigrca G es euleriana si y solo si G es conexa y a el conjunto de aristas de G puede ser partido en ciclos. dem. Sea G una grca euleriana, y como vimos anteriormente todos sus a vrtices son de grado par y de grado al menos 2, de tal manera que G contiene e un ciclo C. Al remover las aristas de C resulta una subgrca G1 donde todos a los vrtices son de grado par. Si G1 no tiene aristas, entonces el resultado se e cumple, de otra manera la repeticin de este mismo argumento aplicado a G1 o dar como resultado la grca G2 , en donde de nuevo todos los vrtices son a a e de grado par. Cuando se obtiene una grca Gn completamente disconexa, a tenemos una particin de las aristas de G en n ciclos. o Sea C1 uno de los ciclos de la particin. Si G consiste solo de este ciclo, o entonces claramente G es euleriana. De otra manera, existe otro ciclo C2 con un vrtice v en comn con C1 . El camino que comienza en v y que consiste e u en los ciclos C1 y C2 y en sucesin es un paseo cerrado que contiene a las o aristas de los dos ciclos. Al continuar con este proceso , podemos construir un paseo cerrado que contiene a todas las aristas de G, por lo tanto G es euleriana. Corolario 3 Sea G una grca conexa con exactamente 2n vrtices de grado a e impar, n 1. Entonces el conjunto de aristas puede ser partido en n paseos abiertos. dem. Sean v1 y w1 dos vrtices de grado impar en G. Agregamos una arista a1 e que una a v1 con w1 , para formar la grca G1 . Entonces en G1 se forma un a ciclo que incluye a los vrtices v1 y w1 , ya que estos ahora son de grado par, e pero eso quiere decir que tenemos un paseo abierto en G, que empieza en v1 y termina en w1 . Al eliminar este paseo abierto de la grca G nos queda a una nueva grca H1 con exactamente 2n 2 vrtices de grado impar. Al a e repetir este procedimiento n veces (ya que originalmente tenemos 2n vrtices e de grado impar) encontraremos los n paseos abiertos. Corolario 4 Sea G una grca conexa con exactamente 2 vrtices de grado a e impar. Entonces G contiene un paseo abierto que contiene a todos los vrtices e y aristas de G (que empieza en uno de los vrtices de grado impar y termina e en el otro). 61

dem. Sean v y w los vrtices de grado impar. Unimos v y w con una arista a, e entonces nos queda una nueva grca que llamaremos F con todos sus vrtices a e de grado par. Por lo tanto existe un paseo euleriano en F , y al eliminar de nuevo la arista a nos queda un paseo abierto que contiene a todos los vrtices e y aristas de G.

3.3.

El problema del Agente Viajero

Suponga que el territorio de un vendedor incluye varias ciudades con carreteras entre algunas de estas ciudades. Su trabajo requiere que l viaje e a cada ciudad personalmente. Es posible para l planear un viaje en el e que regrese a la ciudad de la que parti y visite cada una de las ciudades o exactamente una vez?. Podemos representar este sistema de transporte con una grca G cuyos a vrtices correspondan a las ciudades, y que dos ciudades esten unidas por e un arista si y slo si existe una carretera entre dichas ciudades y no pase a o travs de alguna otra ciudad. La solucin del problema depende de si G tiene e o un ciclo que contenga a todos los vrtices de G. (En este caso solo debemos e encontrar un ciclo que contenga a todos los vrtices y no que contenga a e todos los vrtices y aristas como es en el caso de las grcas eulerianas). De e a este problema surge un concepto importante.

3.4.

Grcas Hamiltonianas a

Llamamos a una grca G hamiltoniana si existe un ciclo en G que cona tenga a todos los vrtices de G. Un ciclo que contiene a todos los vrtices e e de G es llamado un ciclo hamiltoniano. As una grca hamiltoniana es una a grca que contiene un ciclo hamiltoniano. a La grca G1 de la siguiente gura es hamiltoniana, mientras que G2 a no es hamiltoniana. La grca G1 es hamiltoniana porque contiene un ciclo a hamiltoniano; por ejemplo u1 , u2 , u5 , u4 , u3 , u1 es un ciclo hamiltoniano. Para poder demostrar que G2 no es hamiltoniana, daremos una demostracin por o contradiccin. Supongamos entonces que G2 es hamiltoniana. Por lo tanto o G2 contiene un ciclo hamiltoniano C. C debe contener a todos los vrtices e de G2 , as C contiene a v2 , v3 y v4 . Cada uno de estos vrtices es de grado 2, e

62

as C debe contener a las dos aristas incidentes en estos tres vrtices. Esto e signica que C debe contener a las aristas v1 v2 , v1 v3 y v1 v4 . De cualquier manera todo ciclo debe contener slo dos aristas incidentes en cada uno de o los vrtices del ciclo. Por lo tanto G2 no puede contener un ciclo hamiltoniano, e lo que contradice el hecho de que G2 es hamiltoniana.

Figura 3-3 Debe ser claro que la solucin al problema del agente viajero depende de o si la grca asociada es hamiltoniana. Desafortunadamente, no se ha podido a encontrar un mtodo para demostrar qu grcas son hamiltonianas. Cada e e a grca debe ser considerada individualmente. De cualquier manera, se han a podido establecer algunas condiciones para determinar que algunas grcas a son necesariamente hamiltonianas. A continuacin se presenta uno de esos o resultados. Teorema 3. 3 Si G es una grca de orden p (p 3) tal que grad v a para cada vrtice v de G, entonces G es hamiltoniana. e
p 2

dem. Si G tiene orden p = 3 y grad v 3 para todo vrtice v de G, entonces e 2 grad v = 2 y G = K3 . Por lo tanto el resultado es verdadero si p = 3. Ahora supondremos que p 4. De todas las trayectorias en G, sea T aquella trayectoria con la mayor cantidad de vrtices. Supongamos que T : u1 , u2 , ..., uk es e esta trayectoria.

63

Figura 3-4 Como ninguna trayectoria en G tiene ms vrtices que T , todo vrtice a e e adyacente a u1 debe pertenecer a T , adems todo vrtice adyacente a uk debe a e pertenecer a T . Como u1 es adyacente a al menos p , todos en T , se sigue que 2 e T debe tener al menos 1 + p vrtices. 2 Ahora, debe haber algn vrtice ui en T , donde 2 i k, tal que u1 u e es adyacente a ui y uk es adyacente a ui1 . Si no fuera este el caso, entonces para cada vrtice ui adyacente a u1 , el vrtice ui1 no ser adyacente a uk . e e a e Pero como hay al menos p vrtices ui adyacentes a u1 , debe haber al menos 2 p ui1 vrtices no adyacentes a uk . Por lo tanto, grad uk (p 1) p < p , e 2 2 2 lo cual no es posible ya que grad uk p . As existe un vrtice ui en T tal e 2 que u1 ui y uk ui1 son ambas aristas de G. De esto se sigue que hay un ciclo C : u1 , ui , ui+1 , ..., uk , ui1 , ui2 , ..., u1 que contiene a todos los vrtices de T . e

64

Figura 3-5 Si todos los vrtices de G pertenecen a C, entonces G es un ciclo hamile toniano y G es una grca hamiltoniana. Supongamos que existe un vrtice a e w de G que no pertenece a C. Como C contiene al menos 1 + p vrtices, e 2 e a menos que los p vrtices de G que no estn en C. Como el grad w p , el 2 2 vrtice w debe ser adyacente a algn vrtice uj de C. Sin embargo, la arista e u e wuj y el ciclo C produce una trayectoria que tiene un vrtice ms que T , e a lo cual no puede ocurrir ya que T tiene la mayor cantidad de vrtices. Ese ta contradiccin implica que C contiene a todos los vrtices de G, as G es o e hamiltoniana. e Mientras que la condicin de que grad v p para todo vrtice v de una o 2 grca G es suciente para que sea hamiltoniana, ciertamente no es necesaria. a Por ejemplo, G puede ser un simple ciclo, en cuyo caso todo vrtice es de e grado dos, pero G es hamiltoniana. Ahora mencionaremos de donde obtienen las grcas hamiltonianas su a nombre. Se dice que el famoso matemtico irlands Sir William Rowan Hamila e ton (1805-1865) invent un juego que involucraba un dodecaedro regular. o Hamilton etiquet a cada uno de los vrtices con nombres de ciudades conoo e cidas. El objetivo era que el jugador viajara alrededor del mundo al encontrar una ruta redonda que incluya a cada una de las ciudades exactamente una vez, con la restriccin de que es posible viajar de una ciudad a otra si existe o 65

una arista entre los correspondientes vrtices. e Teorema 3. 4 Una grca simple con n vrtices (n 2) es Hamiltoniana si a e la suma de los grados de cualquier par de vrtices no adyacentes es al menos e n. dem. Supongamos que una grca G con n vrtices y que satisface la desiguala e dad no es Hamiltoniana. As podemos decir que es una subgrca de la , a grca completa Kn con menos aristas. Aadimos aristas recursivamente a a n la grca uniendo vrtices no adyacentes hasta que obtengamos una gra e a ca H tal que la adicin de una arista ms entre dos vrtices no adyacentes o a e en H produzca una grca Hamiltoniana con n vrtices. Sean x y y dos a e vrtices no adyacentes en H. Tampoco son adyacentes en G. Como la suma e de los grados de los vrtices x y y es al menos n en G, esta suma es tame bin al menos n en H. Si unimos los vrtices no adyacentes x y y, la grca e e a resultante es Hamiltoniana. As en la grca H existe una trayectoria Hamil, a toniana entre los vrtices x y y. Si denotamos a x como v1 y a y como vn , e entonces la trayectoria Hamiltoniana puede ser escrita de la siguiente manera: v1 , v2 , ..., vi1 , vi , vi+1 , ..., vn1 , vn . Supongamos que el grado de v1 en H es r. Si existe una arista entre v1 y vi en esta grca, la existencia de una a arista entre vi1 y vn implicar que H es Hamiltoniana. As siempre que v1 a , y vi sean adyacentes en H, los vrtices vi1 y vn no lo son. Esto es cierto para e i = 2, 3, ..., (n 1). Por lo tanto el grado de vn no puede exceder (n 1) r ya que el grado de v1 es r. Esto implica que la suma de los grados de dos vrtices no adyacentes (en G) es menos de n, lo que contradice la hiptesis. e o De tal manera que cualquier grca conexa que satisfaga la condicin es a o Hamiltoniana. Teorema 3. 5 Sea G una grca simple y sean u y v vrtices no adyacentes a e en G tales que grad(u) + grad(v) p. Entonces G es Hamiltoniana si y solo si G + uv es Hamiltoniana. dem. . Si G es hamiltoniana entonces claramente G + uv tambin lo es. e . Supongamos que G + uv es hamiltoniana y que G no lo es. Entonces grad(u) + grad(v) < p, lo que contradice la hiptesis. o

66

Denicin 3. 2 La cerradura de G es la grca que se obtiene a partir de o a G uniendo sucesivamente parejas de vrtices no adyacentes cuya suma de e grados sea al menos el orden de la grca, hasta agotar este tipo de parejas. a Denotaremos a la cerradura de G por C(G). Teorema 3. 6 La cerradura de G est bien denida. a dem. Sean G1 y G2 dos grcas obtenidas a partir de G (de orden p), uniendo a recursivamente parejas de vrtices no adyacentes cuya suma de grados sea al e menos p, hasta que ya no pueda continuarse con el procedimiento. Denotaremos a1 , a2 , ..., am y por b1 , b2 , ..., bn a las aristas aadidas secuencialmente a G n para obtener G1 y G2 respectivamente. Ahora demostraremos que cada ai es una arista de G2 y que cada bj es una arista de G1 . Supongamos que esto no es posible, es decir sea ak+1 = uv la primer arista de la secuencia a1 , a2 , ..., am que no es arista de G2 . Sea H = G + {a1 , a2 , ..., ak }. Por denicin de G1 o sabemos que gradH (u) + gradH (v) p, dada la eleccin de ak+1 , H es una o subgrca de G2 y por lo tanto gradG2 (u) + gradG2 (v) p. Como u y v no a son adyacentes en G2 , lo anterior es una contradiccin. Entonces toda ai es o una arista de G2 y analogamente toda bj es una arista de G1 . Esto indica que G1 = G2 y por lo tanto C(G) est bien denida. a Teorema 3. 7 Una grca simple es Hamiltoniana si y solo si su cerradura a es Hamiltoniana. dem. Si G es hamiltoniana entonces claramente su cerradura tambien lo es. Aplicando el teorema 3 cada vez que se aada una arista a G para la n formacin de su cerradura podemos determinar que si la cerradura de G es o hamiltoniana entonces G es hamiltoniana.

3.5.

Ejercicios
a) euleriana. 67

1. D un ejemplo de una grca de orden 10 que sea: e a

b) recorrible. c) ni euleriana ni recorrible. 2. Sean G1 y G2 dos grcas eulerianas sin vrtices en comn. Sea v1 un a e u vrtice de G1 y sea v2 un vrtice de G2 . Sea G una nueva grca que e e a consiste de G1 y G2 junto con la arista v1 v2 . Qu se puede decir acerca e de G? 3. a) Muestre que si M es una multigrca recorrible, entonces una a multigrca euleriana puede ser constru de M al aadir una a da n sola arista. b) El resultado de a) ser verdadero si se cambia la palabra multia grca por grca? a a c) El resultado de a) ser verdadero si se cambia la palabra aadir a n por quitar? 4. Qu propiedad especial tiene una multigrca conexa con exactamente e a cuatro vrtices de grado impar? e 5. Determine si las siguientes grcas son o no eulerianas o recorribles. a

68

Figura 3-6 6. Determine cuales de las siguientes grcas (Figura 3-7) son hamiltonia anas.

69

Figura 3-7 7. D un ejemplo de una grca de orden 10 que sea hamiltoniana. e a 8. D un ejemplo de una grca de orden 10 que no sea hamiltoniana. e a 9. Muestre que la grca de la siguiente gura (Figura 3-8) no es hamila toniana.

70

Figura 3-8 10. Muestre que la grca de un cubo geomtrico es hamiltoniana. a e 11. Muestre que la grca de un icosaedro es hamiltoniana. a 12. Muestre que el teorema demostrado anteriormente no es verdadero si reemplazamos el nmero p por p1 . u 2 2 13. Sea G una grca. Una trayectoria T en G es llamada una trayectoria a hamiltoniana si contiene a todos los vrtices de G. Sea G una grca de e a p1 e orden p (p 2 tal que grad v 2 para todo vrtice v de G. Pruebe que G tiene una trayectoria hamiltoniana. 14. Verdadero o falso? Toda grca euleriana es hamiltoniana. a 15. Verdadero o falso? Toda grca hamiltoniana es euleriana. a 16. Supongamos que un grupo de estudiantes asisten a una esta. Represente esta situacin por una grca G, donde los vrtices de G correo a e sponden a los estudiantes en la esta y dos vrtices de G son adyacentes e si y solo si los correspondientes hombre y mujer han tenido alguna cita.

71

Si G es hamiltoniana, pruebe que el nmero de hombres en la esta es u igual al nmero de mujeres. u 17. Determine si la siguiente grca (Figura 3-9) es hamiltoniana. a

Figura 3-9 18. Demostrar que las grcas cbicas son hamiltonianas. a u

72

Cap tulo 4 Arboles

4.1. El problema de las V Ferroviarias as

Suponga que tenemos un conjunto de n ciudades, y deseamos construir un sistema de v de tren que conecte dichas ciudades. Podemos suponer que as conocemos el costo de construir dichas v entre cualesquiera dos ciudades. as Debido a la situacin econmica actual, debemos construir dicho sistema al o o menor costo posible (sin importar los inconvenientes que pudieran tener los pasajeros). La pregunta es: Cmo se debe construir dicho sistema? o El sistema de v ferroviarias deseado puede ser representado por una as grca G cuyos vrtices correspondan a las ciudades en cuestin y en la cual a e o dos vrtices son adyacentes si existe una v entre dos ciudades correspone a dientes y ponemos una arista. Por supuesto, es necesario que G sea conexa, pero tambin es necesario que G no contenga ciclos, ya que si existe un ciclo e en G podemos quitar una v entre dos ciudades, (esta v debe corresponder a a al ciclo) y an as estas dos ciudades estar conectadas, lo cual implica que u an el sistema de v original no es el ms barato. As G debe ser conexa pero as a , no debe contener ciclos. Antes de resolver el problema de las v ferroviarias, debemos estudiar as ms a fondo el tipo de grcas que acabamos de encontrar. a a

4.2.

Arboles

Denicin 4. 1 Sea G una grca, se dice que G es un rbol si G es una o a a grca conexa y no tiene ciclos. a 73

Como ya lo hemos notado toda arista de un rbol es un puente. a Denicin 4. 2 Sea G una grca, se dice que G es un bosque si G es una o a grca que no contiene ciclos. (Puede ser conexa o disconexa). a As cada componente de un bosque es un rbol. La palabra rbol es usada , a a porque al dibujar las grcas algunas de ellas parecen rboles. a a

Figura 4-1 Teorema 4. 1 Las siguientes proposiciones son equivalentes en una grca a G con n vrtices. e 1. G es un rbol. a 2. Existe una unica trayectoria entre cualquier par de vrtices en G. e 3. G es conexa y toda arista de G es un puente. 4. G es conexa y tiene (n 1) aristas. 5. G es acclica y tiene (n 1) aristas. 6. G es acclica y siempre que dos vrtices arbitrarios no adyacentes en G e son unidos por una arista la grca resultante G tiene un unico ciclo. a 74

7. G es conexa y siempre que dos vrtices arbitrarios no adyacentes en G e son unidos por una arista la grca resultante G tiene un unico ciclo. a dem. 12 Supongamos que la grca G es un rbol. Sean v y w cualesquiera dos a a vrtices en G. Como G es conexa, existe una trayectoria T entre v y w. Si Q e es otra trayectoria entre estos dos vrtices, sea e = {vi , vi+1 } la primer arista e de T que no est en Q al ir de v a w sobre T . Sean W y W el conjunto a de vrtices intermedios entre vi y w en T y Q respectivamente. Si W y W e no tienen vrtices en comn, entonces tenemos un ciclo en una grca que e u a es ac clica por hiptesis. Si la interseccin de W y W es no vac sea u el o o a, primer vrtice en comn al ir de vi a w ya sea por T o por Q. En este caso e u tambin tenemos un ciclo en la grca. As existe una unica trayectoria entre e a , cualquier par de vrtices en el rbol. Inversamente, sea G una grca en la e a a cual exista una unica trayectoria entre cualquier par de vrtices. Entonces G e es conexa. Supongamos que G no es un rbol. Entonces existe un ciclo C en a G. Obviamente, existen dos trayectorias entre cualquier par de vrtices en e C, lo que contradice la hiptesis. o 13 Si G es un rbol, entonces es conexa por denicin. Sabemos que existe a o una unica trayectoria entre cualquier par de vrtices. En particular la arista e e que une a los vrtices v y w es la trayectoria T : v, e, w. Si se elimina e, e entonces no existe trayectoria entre v y w. As toda arista de un rbol es un , a puente. Para probar el inverso, supongamos que la grca conexa en la que todas a las aristas son puentes no es un rbol. Sea G la subgrca de G obtenida al a a eliminar a alguna arista e = {v, w} que pertenece a algn ciclo C en G. Esta u grca G no es conexa ya que todas las aristas de G son puentes. Sean p y q a dos vrtices cualesquiera. Como G es conexa existe una trayectoria T entre e p y q en G. Si e no es un arista de esta trayectoria T , T es una trayectoria en G entre p y q. Supongamos que e es una arista en T . Sea T1 la subtrayectoria de T entre p y v, y sea T2 la subtrayectoria de T entre w y q. Ms an, sea T a u la unica trayectoria entre v y w en el ciclo que no contiene a e. Supongamos que Q es la unin de estas tres trayectorias. Entonces Q es una trayectoria o en G entre p y q. De tal manera existe una trayectoria entre cualquier par de vrtices en G . Pero G es una grca disconexa, lo cual es una contradiccin. e a o 14 75

Supongamos que G es un rbol con n vrtices. Sabemos que es una grca a e a conexa. Probaremos que tiene (n 1) aristas por induccin sobre n. Si n = 1, o es claramente verdadero. Supongamos que es verdadero para n = 1, 2, ..., (n 1). Como cada arista es un puente, la subgrca G obtenida de G al eliminar a una arista nos dar dos componentes que llamaremos G1 y G2 con n1 y n2 a vrtices respectivamente, donde n1 + n2 = n. Por la hiptesis de induccin, e o o el nmero de aristas en ambas componentes es (n1 1) + (n2 1) = (n 2). u As el nmero de aristas de G es (n 2) + 1 = (n 1) , u Supongamos que una grca conexa G con n vrtices y (n 1) aristas no a e es un rbol. Entonces tiene una arista e que no es un puente. Si se elimina e, la a subgrca resultante es todav una grca conexa con n vrtices y (n 2) a a a e aristas. Continuamos este proceso de localizar aristas que no son puentes y eliminarlas hasta que tengamos una subgrca conexa con n vrtices y a e (n k) aristas (k > 1) en donde toda arista sea un puente. Pero G es un a rbol, as que debe de tener (n 1) aristas. As n 1 = n k, donde k > 1. Lo cual es una contradiccin. o 15 Si G es un rbol con n vrtices, es ac a e clica por denicin y tiene (n 1) o aristas. Por otro lado, consideremos una grca ac a clica G con n vrtices y (n 1) e aristas. Supongamos que G no es conexa. Llamemos a las componentes de G como Gi (i = 1, 2, ..., k), tal que Gi tiene ni vrtices, donde n1 +n2 +...+nk = e n. Notese que toda componente Gi es un rbol con ni 1 aristas. As el a , nmero total de aristas de G es n k con k > 1. Esta contradiccin establece u o que G es conexa. Por lo tanto G es un rbol. a 16 Si G es un rbol, es conexa y ac a clica. Sean u y v dos vrtices no adyacentes e en G. Existe una unica trayectoria entre u y v. Si unimos u y v con una arista, esta arista junto con la trayectoria T crean un unico ciclo en la nueva grca a G. Por otro lado, supongamos que G es una grca ac a clica en la cual u y v son cualesquiera dos vrtices no adyacentes tales que la unin de dichos e o vrtices por una arista crea un unico ciclo en G . Esto implica que existe una e trayectoria en G entre u y v. As G es conexa y por lo tanto es un rbol. , a 17 Si G es un rbol, es conexa y ac a clica. Si dos vrtices no adyacentes son e unidos por una arista, la unica trayectoria T en G entre estos dos vrtices e ms la arista forman un unico ciclo. a 76

Por otro lado, supongamos que G es conexa. No puede haber un ciclo en G ya que la grca G obtenida de unir dos vrtices no adyacentes tiene un a e ciclo unico. As G es un rbol. a Teorema 4. 2 Todo rbol tiene al menos dos vrtices terminales. a e dem. Supongamos que los grados de los n vrtices del rbol son di con i = e a 1, 2, ..., n. Sabemos que d1 + d2 + ... + dn = 2n 2, que es el doble del nmero u de aristas. Supongamos que hay r vrtices de grado 1. Entonces hay n r e vrtices de grado mayor o igual que 2. Por lo tanto 2n2 = di 2(nr)+r. e Resolviendo r 2

4.2.1.

Centros y centroides

La excentricidad e(v) de un vrtice v de una grca conexa G es la e a mxima distancia entre vrtices u y v para u en G. El radio r(G) es la a e excentricidad m nima. Ntese que la mxima excentricidad es el dimetro. o a a Un vrtice v es un vrtice central si e(v) = r(G), y el centro de G es el e e conjunto de todos los vrtices centrales. e En la siguiente gura, se muestra la excentricidad de cada uno de los vrtices. Este rbol tiene diametro 7, radio 4, y el centro consiste de los e a vrtices u y v, cada uno de ellos con excentricidad m e nima 4.

77

Figura 4-2 El hecho de que u y v sean adyacentes ilustra el siguiente resultado. Teorema 4. 3 Todo rbol tiene un centro que consiste de un vrtice o de a e dos vrtices adyacentes. e dem. El resultado es obvio para los rboles con uno o dos vrtices. Mostraremos a e que cualquier otro rbol T tiene los mismos vrtices centrales que T obtenido a e al remover todos los vrtices terminales de T . Claramente la mxima de e a las distancias de un vrtice dado u de T a cualquier otro vrtice v de T e e ocurrir solo cuando v es un vrtice terminal. a e As la excentricidad de cada vrtice en T ser exactamente uno menos , e a que la excentricidad para los mismos vrtices en T . As los vrtices en T e , e que tienen excentricidad m nima en T son los mismos vrtices que tienen e excentricidad m nima en T , esto es, T y T tienen el mismo centro. Si el proceso de remover los vrtices se repite, obtenemos sucesivamente rboles que e a tienen el mismo centro que T . Como T es nito, eventualmente obtenemos un rbol que es K1 o K2 . En cualquier caso todos los puntos de este ultimo a a rbol constituyen el centro de T el cual consiste de un solo vrtice o de dos e vrtices adyacentes. e 78

Una rama de un vrtice u de un rbol T es un subrbol mximo que e a a a contiene a u como vrtice terminal. El nmero de ramas de u es igual a e u su grado. El peso en un vrtice u de T es el mximo nmero de aristas en e a u cualquier rama de u. El peso de todos los vrtices no terminales se muestran e en la siguiente gura.

Figura 4-3 Un vrtice v es llamado un vrtice centroide de un rbol T si v tiene peso e e a m nimo, y el centroide de T consiste de dichos puntos.

4.3.

Arboles Generadores

Regresando al problema de las v ferroviarias, supongamos que tenemos as una red ferroviaria G que conecta a ciertas ciudades . Podemos construir un a rbol T , tal que T sea una subgrca de G y T contenga a todos los vrtices a e de G. Dicho rbol es llamado un rbol generadorde G. a a Teorema 4. 4 Toda grca conexa contiene un rbol generador. a a dem. Procederemos por induccin sobre el nmero de ciclos de G. Sea G una o u grca conexa sin ciclos, entonces G misma es un rbol generador. Sea G a a 79

una grca conexa con un unico ciclo al que llamaremos . Sea a A(G). a G a es ac clica y conexa. Adems, V (G a) = V (G) y A(G a) = A(G), a de donde conclu mos que G a es un rbol generador de G. a Supongamos que toda grca conexa con menos de n ciclos tiene un rbol a a generador. (Hiptesis de induccin). o o Sea G una grca con n ciclos a los que llamaremos 1 , 2 , ..., n . Sea a a i (i = 1, 2, ..., n), G a tiene menos de n ciclos y por lo tanto tiene un a rbol generador T con V (T ) = V (Ga) = V (G) y A(T ) A(Ga) A(G). Esto signica que T tambin es un rbol generador de G. e a Si H es una subgrca de una grca G, el peso de H es igual a la suma a a de los pesos de todas las aristas de H, y esto se denota por w(H). Se dice que un rbol generador T es un rbol generador de peso m a a nimo en G (o rbol a de peso m nimo) si w(T ) w(T ) para cualquier rbol generador T en G. a A continuacin discutiremos dos algoritmos. o

4.3.1.

Algoritmo de Kruskal

. Supongamos que G es una grca conexa con peso en las aristas (es decir a un valor numrico). Sea T una grca que consta unicamente de los vrtices e a e de la grca G. a 1. Se acomodan las aristas de la grca en orden no decreciente respecto a a sus pesos para formar una lista L. 2. Seleccionamos la primer arista de la lista L, y la agregamos a la grca a T para formar T1 . 3. Seleccionamos a la segunda arista de la lista L, y la agregamos a T1 para formar T2 . 4. Seleccionamos a la siguiente arista en L no examinada y si no forma ciclo en Ti1 la inclu mos para formar Ti . Si forma ciclo, pasamos a la siguiente arista de la lista. 5. Nos detenemos cuando lleguemos a Tn1 . Es decir cuando tengamos n 1 aristas. Ejemplo. 80

Obtenga un rbol de peso m a nimo de la siguiente grca G. a

Figura 4-4 En este caso la lista L es: 1. AE 2 2. AB 3 3. AC 3 4. CE 4 5. CD 4 6. DE 4 7. AD 5 8. BC 5 9. BD 5 10. BE 5

81

Sea la grca T unicamente los 5 vrtices A, B, C, D, E sin aristas. a e Sea la grca T1 la grca T ms la arista AE. a a a Sea la grca T2 la grca T1 ms la arista AB. a a a Sea la grca T3 la grca T2 ms la arista AC (ya que AC no forma ciclo a a a con las aristas aadidas anteriormente). n Sea la grca T4 la grca T3 ms la arista CD (ntese que aunque la a a a o arista CE est antes en la lista no se aade ya que formar un ciclo con las a n a aristas AE y AC). T4 es una grca con 5 vrtices y 4 aristas, por lo tanto podemos asegurar a e que T4 es un rbol de peso m a nimo de la grca G. a

4.3.2.

Algoritmo de Prim

. Supongamos que G es una grca conexa con peso en las aristas. a 1. Escogemos y dibujamos cualquier vrtice arbitrario. e 2. Encontramos la arista de peso m nimo que une a algn vrtice dibujado u e con un vrtice no dibujado an. Dibuje dicha arista y el correspondiente e u nuevo vrtice. e Se repite el paso 2 hasta que todos los vrtices de G estn conectados, e e entonces nos detenemos. Obtenga un rbol de peso m a nimo de la siguiente grca G. a

82

Figura 4-5 Seleccionamos y dibujamos el vrtice A. e La arista de peso m nimo que incide en A es la arista AE. Dibujamos el vrtice E y la arista AE. e La arista de peso m nimo que incide en A o en E (que son los vrtices ya e dibujados) es AC (o AE). Dibujamos el vrtice C y la arista AC. e La arista de peso m nimo que incide en A, C o E es AE, sin embargo esta arista no se incluye ya que formar un ciclo. Por lo tanto la siguiente a arista que se inclu ser la arista BC (junto con el vrtice B). ria a e La siguiente arista que se incluir ser la arista DE, ya que es la arista a a de peso m nimo que incide en alguno de los vrtices ya dibujados y que no e forma un ciclo con las aristas ya dibujadas. Esta grca tiene 5 vrtices y 4 a e aristas, con todos los vrtices conectados. De esta manera podemos asegurar e que esta grca es un rbol de peso m a a nimo. Debe ser claro en este punto que encontrar una solucin al problema de o las v ferroviarias es equivalente a encontrar, dada una grca conexa G as a un rbol generador T cuyo valor (la suma de los valores de sus aristas) sea a m nimo. Es decir, un rbol de peso m a nimo.

83

4.4.

Ejercicios
a) dos?. b) tres?. c) cuatro?. d ) cinco?. e) seis?.

1. Cuntos diferentes rboles (no isomorfos) hay de orden: a a

2. Determine cuantos rboles generadores no isomorfos hay en la siguiente a grca. a

Figura 4-6 3. Es posible que un rbol sea una grca regular? Explique a a 4. Si una grca G de orden p tiene tamao q = p 1, entonces G es un a n a rbol?. 5. Sea G un bosque de orden p y tamao q con k componentes. Obtenga n una expresin para q en trminos de p y k. o e 84

6. Pruebe que si G es una grca conexa de orden p y tamao q, entonces a n q p1 7. Si G es una grca conexa de orden p y tamao q, tal que q = p 1. a n Pruebe que G es un rbol. a 8. Sea G una grca de orden p y tamao q, tal que q p 3. Muestre a n que G tiene al menos un ciclo. 9. Si G es una grca conexa de orden p y tamao q, tal que q = p 1. a n Pruebe que si G es un bosque, entonces G es un rbol. a 10. Determine un rbol generador de peso m a nimo de las siguientes grcas. a

Figura 4-7 11. Muestre que una grca G es un rbol si es ac a a clica y siempre que cualesquiera dos vrtices no adyacentes de G son unidos por una arista, e la grca resultante G tiene exactamente un ciclo. a 12. Muestre que una grca G es un rbol si es conexa y siempre que a a cualesquiera dos vrtices no adyacentes de G son unidos por una arista, e la grca resultante G tiene exactamente un ciclo. a 85

13. Una grca es conexa si y slo si contiene un rbol generador. a o a 14. Muestre que si una grca es disconexa, entonces su grca complea a mentaria es conexa. 15. Muestre que todo rbol de orden dos o mayor tiene al menos dos vrtices a e terminales. 16. El centro de un rbol es un solo vrtice, o un conjunto de vrtices a e e adyacentes. 17. Una trayectoria P entre dos distintos vrtices en una grca conexa e a G es una trayectoria diametral si no existe alguna otra trayectoria en G cuya longitud sea mayor que la longitud de P . Muestre que toda trayectoria diametral en un rbol pasa a travs de sus vrtices centrales. a e e Muestre tambin que el centro de un rbol puede ser localizado una e a vez que se ha encontrado la trayectoria diametral, es decir el centro del a rbol coincide con el centro de la trayectoria diametral P . 18. Un rbol con exactamente un vrtice v de grado 2 en el cual el grado a e de todo vrtice no terminal (distinto de v) es 3, es llamado un rbol e a binario, y la ra de un rbol binario es el unico vrtice de grado 2. z a e Muestre que el nmero de vrtices de un rbol binario es impar. u e a 19. Muestre que el nmero de vrtices terminales en un rbol binario (con u e a n vrtices) es (n + 1)/2. e

86

Cap tulo 5 Apareamientos

5.1. El problema del baile

Una vez ms estamos planeando una esta. Esta vez debe ser un xito. Ina e cluso una banda ha sido contratada y habr baile. Durante cada nmero mua u sical, queremos que la mayor cantidad de parejas posible baile. Por supuesto si queremos que todos los invitados bailen al mismo tiempo, debemos invitar al mismo nmero de hombres que de mujeres, sin embargo esto puede u no ser posible, ni deseable. Supongamos que hay al menos el mismo nmero u de hombres que de mujeres en una esta. Entonces deseamos que todas las mujeres bailen con una pareja durante cada seleccin musical. Esto puede o no ser fcil de lograr, ya que puede pasar que cada mujer solo quiera bailar a con ciertos hombres y viceversa. Por ejemplo, un hombre puede desear bailar con su esposa, pero esta idea quiz sea repugnante para ella. As que nuesa tra meta es no slo lograr que la mayor cantidad de parejas baile, sino que o ademas dichas parejas sean compatibles. Supongamos que tenemos un grupo de hombres y de mujeres en una esta, con al menos el mismo nmero de hombres que de mujeres. Bajo u qu condiciones es posible que todas las mujeres bailen con el mismo nmero e u de hombres de tal manera que cada pareja sea compatible? Sea G una grca cuyos vrtices representan a las personas en la esta, y a e tales que dos vrtices son adyacentes si y slo si la correspondiente pareja de e o baile es compatible. Es posible que todas las mujeres bailen al mismo tiempo si y slo si G contiene una subgrca 1 regular F tal que el nmero de o a u aristas de F sea igual al nmero de mujeres. u

87

5.2.

Apareamientos

En la siguiente gura tenemos una grca bipartita con conjunto de a vrtices V1 = {v1 , v3 , v5 , v7 } y V2 = {v2 , v4 , v6 , v8 , v9 }. Sea U1 un subcone junto de V1 . Decimos que U1 es apareado con un subconjunto U2 de V2 si G contiene una subgrca 1regular F cuyo conjunto de vrtices es U1 U2 . Si a e U1 es apareado con U2 entonces debemos tener que |U1 | = |U2 |. La subgra ca F es llamada un apareamiento, ya que empareja un conjunto de vrtices e llamado U1 , con otro conjunto de vrtices llamado U2 . e

Figura 5-1 Ilustraremos este concepto con la grca bipartita G de la siguiente gura. a Aqu tenemos que V1 = {v1 , v2 , v3 , v4 }, V2 = {w1 , w2 , w3 , w4 , w5 } y U1 = {v1 , v3 , v4 }. Si hacemos U2 = {w1 , w2 , w5 }, entonces vemos que G contiene una subgrca F 1regular con conjunto de vrtices U1 U2 . De tal manera, a e U1 es apareado con U2 . Ntese que V1 tambien puede ser apareado con un o subconjunto de V2 .

88

Figura 5-2 De nuevo, supongamos que G es una grca bipartita con su conjunto a de vrtices partido en V1 y V2 . Si W1 V1 , entonces denotamos por W1 a e aquellos vrtices de V2 que son adyacentes a al menos un vrtice de W1 . La e e def iciencia de W1 en G, def (W1 ) est denida por: a def (W1 ) = |W1 | |W1 |. El conjunto U1 V1 se dice que es no def iciente en G si ningn subconu junto (no vac de U1 tiene def iciencia positiva. Ntese que la deciencia o) o positiva para un subconjunto W1 de U1 signica que hay ms vrtices en W1 a e que vrtices adyacentes a elementos de W1 ; as no es posible aparear a W1 e con un subconjunto de V2 . Cada subconjunto de V1 en la grca G de la gura anterior tiene def iciencia a negativa o cero, esto es, ningn subconjunto de V1 tiene deciencia positiva. u Por lo tanto, al decir que V1 es no def iciente es equivalente a decir que V1 puede ser apareado con un subconjunto de V2 . Volviendo al problema del baile, podemos ver ahora que esta situacin o puede ser representada por una grca bipartita G. Si denotamos al conjunto a V1 con los vrtices que corresponden a las mujeres, y con V2 los vrtices que e e corresponden a los hombres, entonces nos preguntamos bajo que condiciones V1 puede ser apareado con un subconjunto de V2 . Ahora daremos dichas condiciones. 89

Teorema 5. 1 Sea G una grca bipartita cuyo conjunto de vrtices est para e a tido en los conjuntos V1 y V2 tal que toda arista de G une a un vrtice de V1 e con un vrtice de V2 . Entonces V1 puede ser apareado con un subconjunto de e V2 si y slo si V1 es no def iciente o Horacio ha invitado a algunos amigos a tomar un trago, a los cuales llamaremos Antonio, Bartolo, Carlos, Diego, Eduardo y Fernando. Horacio ha preparado algunos tragos previos a su llegada, pero slo un trago de o cada t po. Los tragos son daiquiri (d), ginebra (g), martini (m), suntory (s), tequila (t), whiskey (w) y bacardi (b). Horacio le pregunta a sus amigos cuales de estos tragos preeren y sus respuestas son: Antonio (g,s); Bartolo (g,t,w); Carlos (s,t,w); Diego (d,g,m,s); Eduardo (g,s,t,w); Fernando (g,s,t). Es posible que todos los amigos de Horacio tengan algn trago que les u guste?. La solucin la daremos al nal del cap o tulo. Denicin 5. 1 Sea M un apareamiento en G. Si u, v A(G) y uv M , o diremos que u y v estn apareados. Adems, si u V (G) y u incide en alguna a a arista de M , diremos que u est M saturado. En otro caso diremos que u a no est M saturado a Una pregunta natural es si un apareamiento de cardinalidad mxima satua ra a todos los vrtices de su grca. La siguiente gura (Figura 5-3) nos da e a la respuesta.

90

Figura 5-3 El apareamiento que se muestra no es unico, pero no es posible encontrar uno de cardinalidad mayor, por lo que siempre quedan vrtices sin saturar. e La siguiente gura (Figura 5-4) muestra un apareamiento que satura a todos los vrtices de la grca. e a

Figura 5-4 Denicin 5. 2 Un apareamiento M en G es perfecto si cada vrtice de G o e est M saturado. a Las unicas grcas que no pueden tener algn apareamiento son aquellas a u que no tienen aristas, ya que una sola arista genera un apareamiento. Sin embargo, no siempre es posible encontrar un apareamiento perfecto. Si M es un apareamiento y |M | = k, M satura exactamente a 2k vrtices, por lo e que si G es una grca y |V (G)| = 2m + 1 para alguna m, G no contiene a apareamientos perfectos. Claramente no basta con que la grca tenga un a nmero par de vrtices para que tenga un apareamiento perfecto, ya que por u e ejemplo puede haber vrtices aislados como en la siguiente gura (Figura e 5-5).

91

Figura 5-5 Tampoco basta con que sea conexa como lo demuestra la siguiente gura (Figura 5-6).

Figura 5-6 92

Notamos entonces que no todo apareamiento de cardinalidad mxima es a perfecto, pero si que todo apareamiento perfecto es de cardinalidad mxima, a ya que no existen ms vrtices por saturar. a e Denicin 5. 3 Sea G una grca y M un apareamiento en G. Una trayeco a toria M alternada es una trayectoria en G cuyas aristas estn alternadaa mente en M y en M c . M c denota al complemento de M . Un apareamiento tiene esencialmente cuatro formas de aparecer en una trayectoria M alternada. (Dependiendo de si la trayectoria es de longitud par o impar hay dos formas distintas para cada una).

Figura 5-7 La trayectoria de longitud impar que no incluye a los vrtices de los e extremos es la unica que permite aumentar la cardinalidad del apareamiento. Denicin 5. 4 Una trayectoria M aumentante es una trayectoria M o alternada que empieza y termina en vrtices que no estn M saturados. e a Notemos que en una trayectoria M aumentante se tiene un nmero par u de vrtices (2s) y un nmero impar de aristas (2s 1), de las cuales s 1 e u estn en M y s no estn en M . a a 93

Denicin 5. 5 Sean M y M dos apareamientos. M M = (M M ) o (M M ) es la diferencia simtrica de M y M . e Teorema 5. 2 Un apareamiento M en G es de cardinalidad mxima si y a slo si G no contiene alguna trayectoria M aumentante. o dem. Sea M un apareamiento en G y supongamos que G contiene una trayectoria M aumentante T = v0 , v1 , ..., v2m+1 . Denamos M A(G) como: M = {M \ {(v1 v2 ), ..., (v2m1 v2m )} {(v0 v1 ), (v2 v3 ), ..., (v2m , v2m+1 )}}. Por construccin M es un apareamiento. Adems, |M | = |M | + 1, y por lo o a tanto M no tiene cardinalidad mxima. a Sea M un apareamiento de cardinalidad mxima en G. Entonces a |M | > |M |. Sea H = M M . Si v V (H), gr(v) 2, pues a lo ms a es incidente conn una arista de M y una de M . Esto quiere decir que toda componente de H es un ciclo o una trayectoria. En cualquier caso, sus aristas se muestran de manera alternada una en M y la siguiente en M . Como |M | > |M |, H contiene ms aristas de M que de M , por a lo cual, alguna componente de H que sea una trayectoria, debe empezar y terminar con aristas de M . Si el origen y el n de esta trayectoria estn a M saturados en H, como efectivamente ocurre, entonces, estos vrtices e no estn M saturados en G y dicha trayectoria es M aumentante en G. a Teorema 5. 3 Si G es una grca bipartita k regular con k > 0, entonces a G tiene un apareamiento perfecto. dem. Sea G una grca bipartita k regular con biparticin (X, Y ). Coa o mo G es k regular, k|X| = A(G) = k|Y | y como k > 0 tenemos que |X| = |Y |. Consideremos ahora S, un subconjunto de X y denotemos por A1 y A2 los conjuntos de aristas incidentes con S y con el conjunto de todos los vrtices adyacentes a S respectivamente. (A este ultimo conjunto e lo llamaremos NG (S). Por denicin de NG (S), A1 A2 y por lo tanto. o k|NG (S)| = |A2 | |A1 | = k|S|. De esto se desprende que |NG (S)| |S| y por el primer teorema visto en este cap tulo, G tiene un apareamiento que satura a todo vrtice de X. Como X = Y y todas las aristas de G tienen un e extremo en X y otro en Y , conclu mos que M es perfecto. Volviendo al problema de Horacio y sus amigos. 94

La situacin puede ser representada por la grca de la siguiente gura, o a donde los vrtices marcados con letras minsculas son los vrtices correspone u e dientes a las bebidas V1 = {d, g, m, s, t, w, b}, as como los vrtices marcados e con maysculas corresponden a la primera letra de los nombres de los amiu gos de Horacio V2 = {A, B, C, D, E, F }. El problema consiste en aparear el conjunto V2 con un subconjunto del conjunto V1 . Esto es posible si y solo si V2 es no deciente.

Figura 5-8 Sea U2 = {A, B, C, E, F }. Entonces U2 = {g, s, t, w} y |U2 | |U2 | = 5 4 = 1. As U2 tiene deciencia positiva. Por lo tanto V2 es no deciente, lo que implica que no todos los amigo de Horacio tendrn la bebida que quieren. a

5.3.

Ejercicios

1. Encuentra el nmero de apareamientos perfectos diferentes de K2,n y u Kn,n . 2. Demuestra que un rbol tiene a lo ms un apareamiento perfecto. a a 3. Pra toda k > 1, encuentre un ejemplo de una grca k regular simple a que no tenga un apareamiento perfecto. 95

4. El n cubo Qn es la grca cuyos vrtices son las n adas binarias a e (a1 , a2 , ..., an ), (ai = 0 o ai = 1, 1 i n), y ab A(Qn ) si y solo si las n adas a y b dieren exactamente en una entrada. Pruebe que Qn tiene un apareamiento perfecto. 5. Sea G una grca bipartita cuyo conjunto de vrtices est particionado a e a en dos subconjuntos V1 y V2 tal que toda arista de G une a un vrtice de e V1 con un vrtice de V2 . Si V1 puede ser apareado con un subconjunto e de V2 , y U1 V1 , U1 = , Puede U1 ser apareado con un subconjunto de V2 ?. 6. Hay cinco mujeres en una esta [Alicia (A), Barbara (B), Carmen (C), Diana (D) y Emma (E)] con seis hombres [Alberto (a), Bartolo (b), Carlos (c), Diego (d), Euclides (e) y Fernando (f)]. Las compatibilidades se muestran en la siguiente gura.

Figura 5-9 Es posible que todas las mujeres bailen al mismo tiempo con una pareja compatible? 7. Cuntos diferentes comits de cuatro personas se pueden formar de a e un grupo de cinco personas?. Es posible que todos los comits tengan e 96

diferente presidente?.

97

Cap tulo 7 Planaridad y Coloracin de o Vrtices e

7.1. El problema de los Vecinos

Supongamos que tenemos tres casas y tres servicios (electricidad, gas y agua), situadas como se muestra en la siguiente gura.

Figura 7-1

115

Es posible conectar cada uno de los tres servicios con cada una de las casas de tal manera que no se crucen las l neas de los servicios?. La siguiente gura muestra una manera en la que podemos conectar los servicios con cada casa.

Figura 7-2 El procedimiento falla evidentemente, ya que parece que no hay manera de conectar la tercer casa con el agua sin que crucemos alguna otra l nea. Esto implica que el procedimiento para conectar las casas y los servicios es incorrecto, o que no hay forma de hacerlo. Para encontrar la solucin a este problema, usaremos un argumento de o teor de grcas. Podemos representar la situacin descrita en el problema a a o por una grca cuyos vrtices correspondan a las casas y a los servicios, y a e donde una arista une dos vrtices si y solo si un vrtice denota una casa y otro e e vrtice denota un servicio. Esta grca bipartita se denota por K(3, 3), que e a indica que el conjunto de vrtices se divide en dos conjuntos de tres vrtices e e cada uno y se dibujan todas las aristas permitidas. La grca K(3, 3) se a muestra en la siguiente gura.

116

gura 7-3 El concepto que nos interesa es el de grcas aplanables. a

7.2.

Grcas Planas a

Denicin 7. 1 Una grca aplanable es una grca que puede ser dibujada o a a en el plano de tal manera que las aristas no se intersecten excepto en los vrtices. e Por ejemplo la primer grca de la siguiente gura (Figura 7-4) est dibua a jada con aristas intersectadas.

117

Figura 7-4 Pero la grca anterior es una grca aplanable, ya que puede ser dibujada a a de tal manera que no se intersecten las aristas, como se muestra en la segunda grca. a El problema de los vecinos puede ser replanteado en trminos de la teor e a de grcas: Es K(3, 3) una grca aplanable?. Antes de responder esta prea a gunta, debemos establecer algunos resultados acerca de grcas aplanables. a Denicin 7. 2 Una grca aplanable dibujada en el plano de tal manera o a que no se intersecten las aristas es llamada una Grca Plana. a As la primer grca de la gura 7-4 no es una grca plana pero si lo es a a la segunda. 118

Denicin 7. 3 Si x es un punto en el plano de una grca plana que no es o a un vrtice, ni un punto sobre alguna arista, el conjunto de todos los puntos e en el plano que pueden ser unidos por una curva con x de tal manera que no se atraviese un vrtice de la grca o un punto de alguna arista es llamado e a la regin de la grca que contiene a x. o a As una grca plana G divide el plano en las regiones de G, y alrededor , a de estas regiones hay exactamente una regin (la regin exterior o innita), o o cuya rea no es nita. Cualquier otra regin es una regin interior. a o o Denicin 7. 4 La frontera de una regin es la subgrca formada por los o o a vrtices y las aristas que rodean la regin. Si la frontera de la regin exterior e o o de una grca plana es un ciclo, ese ciclo es conocido como el ciclo mximo a a de la grca. a En la siguiente gura, G1 tiene tres regiones denotadas por R1 , R2 y R3 , donde R3 es la regin exterior. o

Figura 7-5 La regin R1 consiste de los vrtices v1 , v3 y v4 , la regin R2 consiste de o e o v1 , v2 y v4 , y la regin exterior consiste de los cuatro vrtices. En este caso o e p = 4, q = 5 y r = 3 (donde r es el nmero de regiones). De tal manera se u cumple que p q + r = 2. En la siguiente gura, G2 tiene una sola regin, que es la regin exterior o o R! , delimitada por todos los vrtices. e

119

Figura 7-6 En este caso p = 5, q = 4 y r = 1, de igual manera p q + r = 2 Teorema 7. 1 Sea G una grca conexa y plana con p vrtices, q aristas y a e r regiones, entonces p q + r = 2. (Este teorema es llamado la Frmula de o Euler) dem. Usaremos induccin sobre q. Si q = 0 entonces p = 1 y r = 1, as pq+r = o 1 0 + 1 = 2, y por lo tanto el resultado es verdadero. Supongamos que el resultado es verdadero para todas las grcas conexas a y planas con k 1 aristas y sea G una grca conexa y plana con k aristas. a Supongamos que G tiene p vrtices y r regiones. Probaremos que pk+r = 2. e Si G es un rbol entonces p = k + 1 y r = 1, as p q + r = (k + 1) k + 1 = 2 a y se cumple la frmula. Si G no es un rbol, entonces G es conexa y G o a contiene ciclos. Sea e una arista en el ciclo de G, y consideremos la grca a plana G e (que tambin es conexa). Las dos regiones de G que inciden en e e producen una regin en G e. As G e tiene p vrtices, k 1 aristas y o e r 1 regiones. Podemos aplicar nuestra hiptesis de induccin para concluir o o que p (k + 1) + (r 1) = 2 o p k + r = 2 que es lo que quer amos probar. Teorema 7. 2 Sea G una grca conexa y plana con p vrtices y q aristas a e donde p 3 entonces q 3p 6. 120

dem. Notamos primero que el resultado es verdadero para p = 3, ya que toda grca de orden 3 tiene a lo ms tamao 3. As que supondremos que a a n p 4. Dibujamos la grca G como una grca plana y denotamos el nmero a a u de regiones de G como r. Para cada regin R de G, determinamos el nmero o u de aristas que hay en la frontera de R, y despues sumamos estos nmeros u sobre todas las regiones de G. Llamamos N a este nmero. Ya que hay al u menos tres aristas que pertenecen a la frontera de cada regin, se sigue que o N 3r. Pero por otro lado, el nmero N cuenta cada arista de G una o u dos veces; esto es N 2q. As 3r N 2q o 3r 2q. Esto implica que a r 2q . Adems sabemos que p q + r = 2 asi que p = q r + 2. Por 3 q q lo tanto p = q r + 2 q 2q + 2 = 3 + 2. As p 3 + 2 y nalmente 3 q 3p 6. Solucin al problema de las tres casas y los tres servicios. o Teorema 7. 3 La grca K3,3 no es plana. a dem. Probaremos este resultado por contradiccin. Supongamos que K3,3 es o plana. Entonces podemos dibujar K3,3 como una grca plana con r regiones. a Sumamos el nmero de aristas en la frontera de cada una de las r regiones u de K3,3 y denotamos ste nmero por N . Como no hay aristas que unan a e u dos vrtices del mismo subconjunto de K3,3 , la grca no contiene tringulos, e a a as se tiene que N 4r. Por otro lado N cuenta cada arista al menos dos 9 e veces, as N 2q = 18. Por lo tanto 4r 18 o r 2 . Sabemos tambin que p q + r = 2. De tal manera que 6 9 + r = 2 y entonces r = 5. Esto produce la contradiccin deseada. o Podemos darnos cuenta que no es posible conectar cada servicio con las tres casas sin que se crucen las l neas. Teorema 7. 4 Toda grca plana G contiene un vrtice v tal que grad v 5 a e dem. El resultado es obvio si G tiene seis o menos vrtices. Supongamos que e G es una grca de orden p y tamao q donde p 7. Si sumamos los grados a n de los vrtices de G, obtenemos 2q. Si todos los vrtices tienen grado 6 o e e mayor, entonces la suma de los grados de los vrtices de G es al menos 6p, e es decir 2q 6p. Por otro lado, sabemos que q 3p 6, de tal manera 2q 6p 12. Esto es una contradiccin. No todos los vrtices pueden tener o e grado 6 o mayor, y por lo tanto existe un vrtice v para el cual se cumple e que grad v 5. 121

Teorema 7. 5 La grca K5 no es plana. a dem. La grca K5 tiene p = 5 y q = p(p1) = 10. As 3p 6 = 9, y tenemos a 2 que q > 3p 6. Por lo tanto K5 no es plana. Denicin 7. 5 Una subdivisin de una grca G, es una grca obtenida o o a a de G al insertar vrtices (de grado 2) en las aristas de G. e En la siguiente gura la grca H es una subdivisin de G, mientras que a o la grca F no es una subdivisin de G. a o

Figura 7-7 Teorema 7. 6 Teorema de Kuratowski. Una grca G es plana si y slo si G no contiene alguna subgrca isoa o a morfa a K5 o K3,3 o a alguna subdivisin de K5 o K3,3 . o La demostracin se deja al lector. o

122

7.3.

Coloracin o

Supongamos que usted es un jefe de departamento de una universidad, y una de sus responsabilidades es acomodar los horarios de los cursos para el siguiente semestre. Si la universidad no es muy grande ser prctico que a a los estudiantes indicaran que cursos planean tomar. Mientras se hacen los horarios, se debe tomar en cuenta que dos cursos no estn en el mismo horario e si es que un alumno planea tomar ambos cursos. Por otro lado, es conveniente hacer un horario donde se requiera el menor nmero de per u odos de tiempo durante el d La pregunta es: Cul es el menor nmero de horas que se a. a u necesitan para poder armar dicho horario?. Mostraremos ahora como se relaciona dicho problema con la teor de a grcas. Constru a mos una grca G0 y asociamos a cada uno de los vrtices a e de G0 con las clases en el horario. Unimos dos vrtices de G0 con una arista e si y solo si un estudiante es miembro de dichas dos clases. Ahora introduciremos un nuevo concepto de teor de grcas y volverea a mos a nuestro problema de los horarios. Denicin 7. 6 Por una coloracin de una grca G, entendemos la asigo o a nacin de colores (que son simplemente los elementos de algn conjunto) a o u los vrtices de G, un color a cada vrtice, de tal manera que vrtices adyae e e centes tengan colores diferentes. Una n-coloracion de G es una coloracin de o G que usa n colores. La siguiente gura muestra una 5-coloracin de la grca G , donde los o a colores estn denotados por nmeros, as como una 4-coloracin de la grca a u o a H.

123

Figura 7-8 Ntese que siempre es posible dar una p-coloracin de una grca G de o o a orden p. Es ms interesante el problema de determinar aquellos nmeros n, a u con n < p, para la cual existe una n-coloracin en G. Existe una 4-coloracin o o y una 3-coloracin para la grca G de la gura anterior, sin embargo no o a existe una n-coloracin, con n 4 para la grca H de la gura anterior. o a Ahora introduciremos el concepto mas importante de este cap tulo. Denicin 7. 7 El nmero cromtico de una grca G es el m o u a a nimo valor n para el cual existe una n-coloracin en G. o El nmero cromtico de G est denotado por (G) ( es la letra griega u a a chi). Por lo tanto para las grcas de la gura anterior (G) = 3 y (H) = a 4. Notese tambin que aunque hemos dado el nmero cromatico de estas e u grcas, an no hemos dado alguna vericacin de estos resultados. a u o Ahora probaremos que (G) = 4 para la grca G de la siguiente gura a (gura 7-9).

124

Figura 7-9 Primero, es claro que (G) 4 dado que la gura da una 4-coloracin de o G. De esto se sigue que (G) = 4 si podemos mostrar que no existe una 3coloracin de G. Supongamos que existe una 3-coloracin de G, y denotemos o o los colores por 1, 2 y 3. Supongamos que los vrtices de G son nombrados e como se muestra en la segunda grca de la gura anterior. a Los vrtices v1 , v2 y v3 forman un tringulo, por lo tanto se requieren tres e a colores para colorear estos vrtices. Sin prdida de generalidad, asignamos e e el color 1 a v1 , el color 2 a v2 y el color 3 a v3 . Dado que v4 es adyacente a v2 y v3 , debemos asignar el color 1 a v4 . (recuerde que estamos suponiendo que solamente se requieren los colores 1, 2 y 3.) Con el mismo razonamiento, asignamos el color 3 a v5 . De cualquier manera, ahora v6 es adyacente a un

125

vrtice de color 1, a un vrtice de color 2 , y a un vrtice de color 3. Esto e e e nos da una contradiccin. De tal manera no existe una 3-coloracin para G. o o Ahora regresaremos a nuestro problema de los horarios y la grca resultante a G0 . Teorema 7. 7 El mnimo nmero de horas requeridas para nuestro horario u de clases en nuestro problema es (G0 ) dem. Supongamos que (G0 ) = m y supongamos que los colores utilizados para colorear G0 son 1, 2, ..., m. Primero armamos que todas las clases pueden ser ordenadas en m periodos de una hora. Para poder ver esto, considerense todos los vrtices coloreados con 1, y digamos, las clases correspondientes a dichos e vrtices. Como no hay dos vrtices coloreados con 1 adyacentes, no hay dos e e clases correspondientes a dichos vrtices contienen al mismo estudiante. As e , todas estas clases pueden ser programadas en el mismo horario. Esto es, todas las clases que corresponden a vrtices del mismo color pueden programarse a e la misma hora. Por lo tanto, todas las clases pueden ser programadas durante m periodos de una hora. Ahora mostraremos que las clases no pueden ser programadas en menos de m horas. Probaremos esto por contradiccin. Suponemos que podemos o estructurar las clases en k periodos de una hora, donde k < m. Ahora podemos k-colorear la grca G0 coloreando con el mismo color todos los vrtices a e que corresponden a las clases que son a la misma hora. Para probar que es una k-coloracin permitida para G0 , considerense dos vrtices adyacentes. o e Estos vrtices corresponden a dos clases que contienen a uno o ms estudie a antes en comn. As estas clases estn en horarios distintos y por lo tanto u , a los dos vrtices estn coloreados de forma distinta. De cualquier manera, una e a k-coloracin de G0 produce una contradiccin, dado que (G0 ) = m. o o El teorema anterior aparentemente soluciona nuestro problema excepto por un hecho desafortunado: regularmente, es extremadamente dif decil terminar el nmero cromtico de una grca. No existe alguna frmula u a a o que determine el nmero cromtico de una grca. De cualquier manera u a a a continuacin presentaremos algunos resultados relacionados con el nmero o u cromtico. Denotaremos con (G) al grado mximo entre todos los vrtices a a e de una grca G. a Teorema 7. 8 Para cualquier grca G a (G) 1 + (G). 126

dem. Probaremos este resultado por induccin sobre el orden p de la grca. o a Hay solo una grca con p = 1, llamada K1 . Ya que (K1 ) = 1 y (G) = 0, a (K1 ) 1 + (K1 ) = 1 + 0, as el resultado se cumple para p = 1. Supongamos que el resultado es verdadero para todas las grcas con a p = k 1 vrtices, y sea G una grca con p = k vrtices. Mostraremos e a e ahora que existe una 1 + (G)-coloracin de G, lo cual implica que (G) o 1 + (G). Sea v un vrtice de G y consideremos la grca G v. Dado e a que G v tiene k 1 vrtices, se sigue por la hiptesis de induccin que e o o (G v) 1 + (G v). As existe una (1 + ((G v))-coloracin de o G v. Daremos ahora dicha coloracin de G v. Hay a lo ms (G) vrtices o a e adyacentes a v en G, as que no se necesitan ms de (G) colores para a iluminar estos vrtices en G v. Si (G v) = (G), entonces algn color e u usado para iluminar Gv est disponible para iluminar v, y tenemos entonces a una (1 + (G))-coloracin de G. Si (G v) < (G), entonces utilizamos o un nuevo color para v, obteniendo una coloracin de G que no requiere ms o a de 1 + (G) colores. En cualquier caso, (G) 1 + (G).

7.4.

El Problema de los Cuatro Colores

Para describir este problema, empezaremos con un mapa, dividido en paises. Asignamos un color a cada pais de tal manera que dos paises adyacentes tengan asignados colores diferentes. Cul es el m a nimo nmero de u colores que se requieren para iluminar todos los pa ses de un mapa?. Por supuesto la respuesta depende de los pa ses y su relacin geogrca. Muo a chos matemticos piensan que ningn mapa, no importa que complicado sea a u requiere ms de cuatro colores. Esto es llamado el problema de los cuatro a colores. Las personas que se dedican a hacer mapas usualmente colorean sus mapas de tal manera que los pa ses (incluyendo al oceano como un pa s) que comparten una frontera tienen colores diferentes. Dado que el costo de imprimir un mapa va de acuerdo al nmero de colores que se usan, naturalu mente existe un interes en conocer cual es el m nimo nmero de colores que u se necesitan para colorear cualquier mapa dado. Este famoso problema se origin en 1852, y fue aparentemente resuelto o en 1976 cuando Appel y Haken mostraron que era verdadero que todo mapa pod ser coloreado con cuatro o menos colores. Se pudiera pensar que esto a 127

termin con el inters sobre el problema de los cuatro colores; pero no fu el o e e caso, dado la inusual naturaleza de la solucin. Appel y Haken resolvieron el o problema de los cuatro colores dividiendo el problema en aproximadamente dos mil casos, de acuerdo a los arreglos de los pa en un mapa. Para deses terminar las posibles maneras de asignar los colores en los distintos arreglos, escribieron programas de cmputo para analizar las distintas coloraciones en o cada arreglo. Despus de 1200 horas de clculos computacionales, declararon e a el problema resuelto. An cuando la solucin del problema de los cuatro colores puede ser u o considerada como un logro monumental, muchos matemticos no estuvieron a satisfechos con la prueba. As surgi un nuevo problema, Existe una prueba , o matemtica pura, sin ayuda de computadoras, que muestre que todo mapa a puede ser coloreada con cuatro o menos colores?. El problema de los cuatro colores est intimamente relacionado con la a Teor de grcas. A cada mapa podemos asociarle una grca G cuyos a a a vrtices corresponden a los pa e ses, y donde dos vrtices son adyacentes si e los correspondientes pa son adyacentes. Necesariamente cada una de esas ses grcas G es una grca plana. La siguiente gura muestra un mapa y su a a correspondiente grca plana. Dado que todo mapa puede ser coloreado con a a lo ms cuatro colores, tenemos el siguiente teorema. a El Teorema de los Cuatro colores. Teorema 7. 9 Si G es una grca plana, entonces (G) 4. a A pesar del hecho de que es extremadamente dif demostrar el teorema cil de los cuatro colores, es sorprendentemente ms fcil demostrar el teorema a a de los cinco colores. Para probar este teorema, demostraremos primero el siguiente resultado. El Teorema de los cinco colores. Teorema 7. 10 Si G es una grca plana, entonces (G) 5. a dem. La prueba es por induccin sobre el orden p de la grca. El resultado es o a obvio para p = 1. Supongamos que todas las grcas planas con p = k 1 tiene nmero a u cromtico a lo ms 5, y sea G una grca plana de orden k. Sabemos que a a a G contiene un vrtice v tal que grad v 5. dibujamos G como una grca e a plana, y consideremos la grca plana G v. Como G v tiene orden k 1, a 128

se sigue por la hiptesis de induccin que (G v) 5. Esto signica que o o podemos dar una 5-coloracin de G v. Supongamos que damos una 5o coloracin de G v, denotada con los colores 1, 2, 3, 4 y 5. Si uno de estos o colores no se usa en iluminar uno de los vrtices adyacentes a v, entonces e podemos asignar dicho color a v, produciendo una 5-coloracin de G. As o , podemos suponer que grad v = 5 y todos los cinco colores son usados para los vrtices adyacentes a v. e Supongamos que v1 , v2 , v3 , v4 y v5 son los cinco vrtices adyacentes a v, e arreglados ciclicamente alrededor de v, y supongamos que v1 es iluminado con el color 1, v2 con el color 2 y asi sucesivamente. Ahora demostraremos que es posible recolorear ciertos vrtices de G v, incluyendo a algn vrtice e u e adyacente a v, quedando disponible un color para v. Consideremos los colores 1 y 3, y todos los vrtices de G v que han sido coloreados con 1 3. e o Por supuesto, v1 est coloreado con 1 y v3 est coloreado con 3. En G v a a puede haber o puede no haber una v1 v3 trayectoria cuyos vrtices estn e a coloreados con 1 3. Primero consideraremos que no existe dicha trayectoria. o Consideraremos todas las trayectorias que empiezan con v1 cuyos vrtices e estn todos coloreados con 1 3. Estas trayectorias producen una subgrca e o a de G v, que denotaremos por H. Necesariamente v3 no est en H; de hecho a ningn vrtice adyacente a v3 est en H. Ahora intercambiaremos los colores u e a de los vrtices de H, produciendo otra 5-coloracin de G v. De cualquier e o manera esta 5-coloracin de G v asigna el color 3 a v1 y a v3 . As podemos o , asignar el color 1 al vrtice v, produciendo una 5-coloracin de G. Por lo e o tanto (G) 5. Supongamos ahora que, existe una v1 v3 trayectoria T en G v, cuyos vrtices estn todos los coloreados con 1 3. (Si intercambiamos los colores e a o 1 y 3 de los vrtices de H en este caso, v1 estar coloreado con 3 y v3 estar e a a coloreado con 1, y no habr color disponible para v. As que procederemos de a distinta manera.) La trayectoria T junto con la trayectoria v3 , v, v1 produce un ciclo en G que encierra ya sea a v2 o encierra a v4 y v5 . Por lo tanto no existe una v2 v4 trayectoria en Gv cuyos vrtices estn todos coloreados con 2 o con e a 4. Esta trayectoria produce una subgrca de G v que denotaremos por F . a Intercambiamos los colores de los vrtices de F , produciendo una 5-coloracin e o de G v en el cual v2 y v4 estn coloreados con 4. As podemos asignar el a , color 2 a v, dndonos una 5-coloracin de G. Por lo tanto, (G) 5. a o

129

7.5.

Ejercicios

1. Dibuje las grcas K(2, 3), K(2, 4), K(2, 5) y K(4, 4). a 2. Muestre que las siguientes grcas son aplanables. a

Figura 7-10 3. Para la grca plana de siguiente gura , determine los vrtices y las a e aristas de la frontera de la regin R y la frontera de la regin exterior. o o

Figura 7-11 4. Sea G una grca aplanable conexa. Muestre que no importa como a est dibujada G como grca plana, siempre tendr el mismo nmero e a a u de regiones. 5. La siguiente gura muestra un tetraedro y un cubo. Estos son algunos ejemplos de slidos platnicos, que son slidos geomtricos cuyas caras o o o e son todas idnticas. Sea V el nmero de vrtices del slido, y sean A y C e u e o el nmero de aristas y el nmero de caras, respectivamente. Determine u u Figura 7-12 V A + C para el tetraedro y el cubo. Compare esto con la frmula o de Euler. 6. De un ejemplo de una grca conexa aplanable para la cual se cumpla a que q = 3p 6 130

7. De un ejemplo de una grca conexa aplanable para la cual se cumpla a que q < 3p 6 8. Muestre que se cumple que q 3p 6 an si la grca es disconexa. u a 9. Verdadero o falso?. Si G es una grca conexa y q = 3p 6, entonces a G es aplanable. 10. Suponga que el problema de las tres casas y los tres servicios fuera el problema de las cinco casas y los dos servicios. Cul ser la solucin?. a a o Qu pasar si fueran n casas y dos servicios?. Y si fueran n casas y e a tres servicios?. 11. Qu grcas completas son aplanables? e a 12. Muestre que K(2, 2) es una subdivisin de K3 . o 13. La siguiente gura muestra una grca famosa llamada la grca de a a Petersen. Es la grca de Petersen aplanable?. a

Figura 7-13 14. Cul es el nmero cromtico de Kp ?. a u a 131

15. Cul es el nmero cromtico de un ciclo?. a u a 16. Cul es el nmero cromtico de un rbol?. a u a a 17. Cul es el nmero cromtico de K(3, 3) ,K(4, 4), K(n, n)?. a u a 18. Qu se puede decir acerca del nmero cromtico de una grca bie u a a partita?, Cul ser una denicin natural de una grca bipartita?, a a o a Qu se puede decir acerca del nmero cromtico de una grca trie u a a partita?, Cul es el nmero cromtico de una grca n partita ?. a u a a 19. Cul es el nmero cromtico de una grca cbica? a u a a u 20. Cul es el orden m a nimo de una grca aplanable G para el cual a (G) = 4?. 21. Muestre que toda grca aplanable con orden al menos dos contiene al a menos dos vrtices cuyo grado es cinco o menos. e 22. Muestre que existe una grca aplanable donde todos los vrtices son a e de grado al menos cinco. 23. Muestre que (K5 ) = 5. Contradice esto el teorema de los cuatro colores?. 24. Existe una grca no aplanable con nmero cromtico uno? a u a 25. Existe una grca no aplanable con nmero cromtico dos? a u a 26. Existe una grca no aplanable con nmero cromtico tres? a u a

132

Cap tulo 8 Grcas Platnicas y Gnero a o e

8.1. Grcas Platnicas a o

Las grcas platnicas son interesantes de mencionar por tres razones. La a o primera es histrica: las cinco grcas platnicas ms interesantes se ideno a o a tican con los llamados slidos platnicosde las matemticas antiguas y o o a m sticas. La segunda es heur stica: la teor de las graf a cas platnicas es una o espectacular advertencia a los matemticos de qu puede suceder si sobreesa e timamos la tendencia de otorgar condiciones a los objetos que se estudian. Y la tercera es pedaggica: el teorema que se demuestra en este cap o tulo es una demostracin concluyente del poder de la frmula de Euler. o o Ya hemos denido el concepto de grca regular, ahora deniremos el a concepto de grca poligonal. a Denicin 8. 1 Una grca es poligonal si es plana, conexa, y tiene la o a propiedad de que cada arista es frontera de dos regiones distintas. Denicin 8. 2 Una grca es platnica si es poligonal, regular y tiene la o a o propiedad de que todas las regiones tienen como frontera el mismo nmero u de aristas. A continuacin daremos algunos ejemplos de grcas platnicas. o a o Todos los ciclos Cn son platnicos. Es poligonal y regular, y cada una o de sus dos regiones tiene como frontera a n aristas.

133

De las grcas completas, slo K1 , K3 y K4 son poligonales. Las tres a o son regulares. K1 tiene slo una regin, con una frontera de 0 aristas, o o as K1 es platnica. K3 es la misma que C3 y es platnica. Cada una o o de las cuatro regiones de K4 tiene como frontera a 3 aristas, as K4 es tambin platnica. e o Teorema 8. 1 Si G es una grca platnica, d es el grado de cada vrtice a o e y n es el nmero de aristas en la frontera de cada regin, entonces r = dv/n u o (donde v es el nmero de vrtices. u e La demostracin se deja al lector. o Teorema 8. 2 Adems de K1 y las grcas c a a clicas slo hay cinco grcas o a platnicas. o dem. Sea G una grca platnica que no es K1 o una grca c a o a clica. Sea d el grado de cada vrtice de G y sea n el nmero de aristas en la frontera de e u cada regin. o Si d = 0, G ser una grca platnica sin aristas, es decir K1 . Pero G no a a o es K1 , as que d = 0. Si d = 1 entonces G no ser poligonal, as d = 1. a Si d = 2 entonces G ser una grca c a a clica, pero G no es c ciica, as d = 2. Por lo tanto concluimos que d 3. Ntese que n, que es el nmero o u de ar stas de una regin de una grca poligonal, es tambin al menos 3. o a e Recordemos que el tamao e de una grca regular es igual al nmero de n a u vrtices por el grado de cada vrtice entre 2, es decir e = dv/2. e e El resto de la prueba consiste en sustituir este resultado y el teorema anterior en la frmula de Euler, hacer algunas manipulaciones algebraicas, e o interpretar los resultados. G es plana y conexa, por lo tanto v + f e = 2. Sabemos que e = dv/2 y r = dv/n, as v + dv/n dv/2 = 2, multiplicando ambos lados por 2n, obtenemos 2nv+2dvndv = 4n, dspejando v obtenemos v(2n+2dnd) = 4n, v y 4n son ambos nmeros positivos, por lo tanto 2n + 2d nd tambin debe u e ser positivo, esto es, 2n + 2d nd > 0 (2n + 2d nd) < 0 nd 2n 2d < 0 134

nd 2n 2d + 4 < 4 (n 2)(d 2) < 4 La ultima desigualdad es la ms importante. Se deduce de la premisa a de que estamos trabajando con grcas platnicas distintas de K1 o de un a o ciclo, as la d y la n de toda grca platnica distinta de K1 o de un ciclo, a o debe satisfacer que (n 2)(d 2) < 4, pero esta desigualdad tiene solo cinco soluciones para d 3 y n 3, y para cada una de estas soluciones corresponde una grca platnica. a o A continuacin daremos la siguiente tabla. o

Tabla 8 La tabla anterior se consruye de la siguiente manera. Las dos primeras columnas contienen todas las posibles combinaciones de d y n que satisfacen (n 2)(d 2) < 4 junto con d 3 y n 3. Una ligera reexin mostrar que o a no hay ms posibilidades. a Podemos obtener los valores de v, a partir de la ecuacin v = 4n/2n + 2d nd o que denimos anteriormente. Utilizando tambin que e = dv/2 y que r = dv/n obtenemos la cuarta e y la quinta columna. Para cada rengln de la tabla correspone una y solo o una de las grcas platnicas, cuyo nombre tradicional se da en la ultima a o columna. Estas grcas se muestran a continuacin (Figura 8-1). a o

135

Figura 8-1

8.2.

Gnero de una Grca e a

El adjetivo plano comprende dos condiciones. Una grca es plana si a 1) puede ser dibujada sin cruces de aristas y 2) si puede ser dibujada en un plano. El concepto de gneroincluye la primer condicin pero generaliza la e o segunda al considerar grcas en otras supercies. a La siguiente gura (Figura 8-2) muestra a los primeros cuatro miembros de una familia innita de supercies. Supondremos que dichas supercies son huecas y que no tienen grosor. Esto es, debemos pensar a S0 como una pelota de playa en lugar de una pelota de beisbol, a S1 como un tubo vac o en lugar de una dona, etc. S0 es llamado una esfera, S1 es llamado un toro de on hoyo, S2 es llamado un toro de dos hoyos, S3 es un toro de tres hoyos, etc. Los nombres de las supercies son fciles de recordar si nos jamos en a el nmero de hoyos que tiene. As S68 puede ser un toro con sesenta y ocho u hoyos y S0 puede ser considerado un toro sin hoyos.

136

Figura 8-2 Denicin 8. 3 El gnero de una grca que denotaremos por g es la primera o e a supercie de la familia S0 , S1 , S2 , ..., en la cual la grca puede ser dibujada a sin cruces de aristas. Es claro que entonces todas las grcas tienen gnero, es decir dada una a e grca no plana inmensamente complicada, una busqueda sistemtica de a a la secuencia S0 , S1 , S2 , ... eventualmente revelar algunas supercies en las a cuales puede ser dibujada G sin cruces de aristas (entonces g es la primera de dichas supercies). Ms adelante probaremos que en efecto todas las grcas a a tienen gnero, pero primero daremos un teorema y algunos conceptos. e Teorema 8. 3 El conjunto de todas las grcas planas es igual al conjunto a de todas las grcas con g = 0. a dem. Para probar que dos conjuntos son iguales hay que demostrar que cada uno de ellos es subconjunto del otro. De tal manera hay dos proposiciones que establecer.Toda grca plana tiene g = 0 y Toda grca con g = 0 a a es plana. Empezaremos probando la segunda proposicin. o Toda grca con g = 0 es plana. Esto es, si una grca puede ser a a dibujada en S0 sin cruces de aristas, debemos mostrar que tambin puede e ser dibujada en un plano sin cruces de aristas. Haremos esto de la siguiente manera.

137

Sea G una grca dibujada en una esfera sin cruces de aristas. Seleca cionemos a un punto de la esfera que no sea un vrtice y por el cual no pasen e aristas, y hacemos una puncin en dicho punto. Agrandamos el agujero y o aplanamos gradualmente la esfera de tal manera que la coloquemos en un plano. El resultado es la grca G en un plano, an sin cruces de aristas, y a u rodeada por un c rculo (la frontera del hoyo). Borramos el c rculo y tenemos G dibujada en un plano sin cruces de aristas. El proceso se ilustra en la siguiente gura (Figura 8-3).

Figura 8-3 La otra mitad del teorema es Toda grca plana tiene g = 0. Esto es, a si una grca puede ser dibujada en un plano sin cruces de aristas, debemos a probar que tambin puede ser dibujada en S0 sin cruces de aristas. Hacemos e esto con el procedimiento inverso del resultado anterior. Sea G una grca dibujada en el plano sin cruces de aristas. Cortamos a alrededor de la grca una regin circular que contenga a G y doblamos dicha a o regin de tal manera que quede un hemisferio de una esfera y nalmente en o uns esfera sin un punto. Llenamos dicho punto y obtenemos el dibujo de G en S0 sin cruces de aristas. Para visualizar esto se debe observar el dibujo anterior en orden inverso. Este teorema muestra que el concepto de planaridad es meramente un caso especial de un concepto ms general que es el gnero. Las grcas a e a planas son aquellas grcas con gnero 0. a e El hecho de que las aristas puedan ir por .atrasde la esfera puede sugerir que los cruces de aristas pueden ser evitados en una esfera cuando no pueden 138

ser evitados en el plano, pero el teorema demuestra que esta suposicin es o falsa. Sin embargo hay una diferencia entre dibujos libres de cruces de una grca plana en S0 y un dibujo libre de cruces de la misma grca en un a a plano, esto es, la regin (o cara) innita del dibujo en un plano pierde su o individualidad en un dibujo en S0 . Dicha regin se vuelve nita en extensin o o como el resto de las caras. Inversamente, cualquier regin de la grca en o a S0 que sea puncionada para producir un dibujo plano se vuelve la regin o innita del dibujo plano. Por supuesto dicha alteracin no afecta los cruces o de las aristas, y permanece verdadero el hecho de que las grcas planas y a las grcas de gnero 0 son precisamente lo mismo. a e Ejemplos: K4 tiene g = 0 ya que es plana. Todo Cn tiene g = 0 ya que es plana. K3,3 tiene g = 1 ya que no es plana y por el teorema anterior no puede ser dibujada en S0 sin cruces de aristas, pero s puede ser dibujado en S1 sin cruces de aristas. Entonces 1 es el sub ndice de la primera supercie en la familia S0 , S1 , S2 , ... en la cual puede ser dibujada K3,3 sin cruces de aristas.

Figura 8-4 K5 tiene g = 1 por la misma razn que K3,3 . o

139

Figura 8-5 Teorema 8. 4 Toda grca tiene gnero. a e dem. Sea G cualquier grca. Si G es plana entonces tiene g = 0. Supongamos a que G no es plana. Tomemos un dibujo de G en un plano y transramos el dibujo a S0 . Aadimos a S0 sucientes asas que serviran como puentes, y n de tal manera se eliminan los cruces de aristas. (Esto se ha hecho en la gura 8-6 para cuando G es K6 ). Sea n el nmero de asas. El nmero n puede ser u u muy grande pero es nito, ya que una grca solo puede tener un nmero a u nito de aristas y por lo tanto un nmero nito de cruces de aristas. u

Figura 8-6 Pensemos en la supercie que consiste de S0 con n asas hechas de un material muy manejable y exible, el cual sea libre de encoger, alargar o distorsionar pero que no podamos romper o unir consigo misma. Dicha supercie puede ser convertida en Sn y las aristas y vrtices de G pueden ser e arrastrados junto con una deformacin continua. (La gura 8-7 muestra a S0 o con tres asas). 140

Figura 8-7 As G puede ser dibujada en Sn sin cruces de aristas. Ya que hay al menos un miembro Sn de la secuencia de supercies S0 , S1 , S2 , ... en la cual G puede ser dibujada sin cruces de aristas, por lo tanto debe haber un primer miembro Sg . Entonces por denicin g es el gnero de G. o e Para poder dibujar a K6 agregando tres asas y consecuentemente el gnero e de K6 es 1, 2 o 3 (no puede ser 0 ya que K6 no es plana). De hecho K6 tiene g = 1. Es claro que si una grca espec a ca G tiene gnero g divide la secuencia e S0 , S1 , S2 , ... en dos partes. La primera parte S0 , S1 , ..., Sg1 que es nita y que consiste de todas las supercies de la familia en la cual no puede ser dibujada G sin cruces de aristas. La segunda parte Sg , Sg+1 , ... es innita y consiste de todas las supercies en las cuales G puede ser dibujada sin cruces de aristas. Denicin 8. 4 Si una grca G tiene gnero g y ha sido dibujada en la o a e 141

supercie de Sg sin cruces de aristas, entonces los vrtices y las aristas de e G dividen la supercie de Sg en regiones llamadas caras de G. El nmero de u caras de una grca se denota por f . a Ejemplos: K3,3 tiene f = 3. Las caras se enumeran en la siguiente gura.

Figura 8-8 K5 tiene f = 5. Las caras se enumeran en la siguiente gura.

Figura 8-9 Se debe tener cuidado al contar las regiones de una grca no plana a ya que a simple vista pudiera parecer que el nmero de regiones es mayor. u Por ejemplo pareciera que en K3,3 hay ms de tres regiones, la confusin a o puede provenir del hecho de que es un dibujo bidimensional de un objeto tridimensional. Tenemos que visualizar la parte oculta del toro lo cual puede ser dif cil. Una buena regla es: si puedes ir de un lugar a otro sin dejar la supercie, cruzar una arista o pasar a travs de un vrtice, los dos lugares e e estn en la misma cara. a La segunda frmula de Euler dice que para toda grca conexa con gnero o a e g, v + f e = 2 2g. Para grcas planas esto se reduce a v + f e = 2, a 142

que conocemos como la primera frmula de Euler. La prueba que daremos o de la segunda frmula de Euler no estar completa, ya que estar basada en o a a una suposicin que no probaremos. A continuacin daremos algunos ejemplos o o para hacer ver que la suposicin es al menos razonable. En la siguiente gura o tenemos un dibujo de K5 en S1 .

Figura 8-10 Notese que el camino BCDB va por detrs del hoyo y de regreso. En la a siguiente gura los vrtices y las aristas han sido reacomodados para formar e un anillo perfecto del camino BCDB.

Figura 8-11 La siguiente gura es un dibujo de K3,3 en S1 . De nuevo hay un camino XAY BX que va por detrs del hoyo y puede ser deformado en un anillo a perfecto.

143

Figura 8-12 La grca de la siguiente gura es un ejemplo menos trivial, que tiene a gnero 2. e

Figura 8-13 En la siguiente gura la grca ha sido dibujada sin cruces de aristas en a S2 . Notese que hay un 2372 camino que va por detrs del primer hoyo y otro a 4584 camino que va por detrs del segundo hoyo. a

144

Figura 8-14 En la siguiente gura se han reacomodado los vrtices y las aristas para e formar anillos perfectos a partir de los caminos anteriores. Nuestra hiptesis o es que un fenmeno similar ocurre para cualquier grca conexa. o a

Figura 8-15 145

Hiptesis. Si G es una grca conexa con gnero g, entonces existe un o a e acomodo libre de cruces de aristas de la grca G en Sg tal que a travs de a e cada uno de estos g hoyos de Sg hay un anillo compuesto de vrtices y aristas e de G. Esta suposicin es razonable. Si G tiene gnero g entonces no puede ser o e dibujada sin cruces de aristas en cualquiera de las supercies S0 , S1 , ..., Sg1 que tienen menos de g hoyos, as que cada uno de los hoyos es crucial para dibujar a G sin cruces de aristas. As por lo menos una arista de G debe , pasar a travs de cada hoyo, dicha arista puede ser unida con las otras para e formar un anillo a travs del hoyo. e A continuacin damos un ejemplo para una grca con gnero 4. Por o a e simplicidad se han dibujado solo los anillos, se debe imaginar a los anillos como una porcin de una grca ms compleja en la supercie de S4 . o a a

Figura 8-16 Teorema 8. 5 Segunda Frmula de Euler. Si G es conexa entonces v + e o f = 2 2g. dem. Sea G una grca conexa con gnero g. Entonces por nuestra hiptesis a e o existe un dibujo sin cruces de aristas de G en Sg tal que a travs de cada hoyo e existe un anillo compuesto de vrtices y aristas de G. Tomemos unas tijeras e imaginarias y cortamos cuidadosamente cada uno de los anillos, dividiendo cada uno de los vrtices y aristas del anillo en dos vrtices y dos aristas. El e e resulatdo es que cada uno de los anillos originales ha sido reemplazado por dos nuevos aros, cada uno de los cuales forma la orilla de un tubo abierto.

146

Figura 8-17 Ntese que originalmente hab g anillos y ahora hay 2g aros. Cubrimos o a dichos aros con supercies en forma de disco. La supercie resultante, junto con el resto de vrtices y aristas puede ser deformada de tal manera que nos e quede S0 .

Figura 8-18 El resultado nal es una nueva grca H dibujada en S0 . Debido al proa cedimiento es claro que el dibujo de H en S0 est libre de cruces, es tambin a e verdadero que H es conexa. Ya que H tambin es plana aplicamos la primera e frmula de Euler, y tenmos entonces que vH + fH eH = 2. Lo unico que o queda es relacionar el nmero de vrtices, regiones y aristas de H en S0 a u e aquellas de G en Sg . Sea x = vH vG . Todos los nuevos vrtices fueron creados cuando cortae mos los anillos en dos aros. Dado que los anillos son grcas c a clicas y tiene el mismo nmero de vrtices que de aristas. De esto se sigue que x = eH eG . u e Finalmente, ya que slo creamos las nuevas supercies cuando cubrimos los o 2g aros, tenemos que fH = fG + 2g. Entonces vG + fG eG = (vH x) + (fH 2g) (eH x) = vH x + fH 2g eH + x = vH + fH eH 2g = 2 2g Lema 1 Si una grca conexa G tiene v 3 y tiene gnero g entonces a e 3f 2e. La demostracin se deja al lector. o Teorema 8. 6 Si G es una grca conexa con v 3 y gnero g entonces a e g (1/6)e (1/2)(v 2). 147

dem. Por el lema sabemos que 3f 2e. Ya que G es conexa, se aplica la segunda frmula de Euler y tenemos que v + f e = 2 2g. Esto puede ser o reescrito como f = v + e + 2 2g, que al multiplicarlo por 3 nos queda 3f = 3v +3e+66g. Combinando esto con la desigualdad anterior tenemos que 3v + 3e + 6 6g 2e, que puede ser reescrito como 6g e + 3v 6 y al multiplicar por 1/6 nos da el teorema. Usando este teorema podemos encontrar una cota inferior para el gnero e de una grca conexa, an si solo conocemos el nmero de vrtices y el a u u e nmero de aristas. u Ejemplo: Sea G una grca conexa con 52 vrtices y 201 aristas. Entonces a e tenemos que g (1/6)201 (1/2)50 = 33,5 25 = 8,5. Pero g es un entero as que podemos conclu que g es al menos 9. r Lema 2 Si una grca H con gnero gH puede ser dibujada en Sn sin cruces a e de aristas, entonces gH n. Lema 3 Si H es una supergrca de G, entonces gH gG . a Teorema 8. 7 Kv (con v 3) tiene gnero g = (v 3)(v 4)/12. e La idea es mostrar que g {(v 3)(v 4)} y que g {(v 3)(v 4)}. La primera desigualdad es sencilla de demostrar, por el contrario la segunda desigualdad es bastante dif de probar y por cierto no fue completada hasta cil 1968, y ha sido estudio de varios matemticos. Ahora probaremos la primera a desigualdad. g (1/6)e (1/2)(v 2) = (1/6)(1/2)v(v 1) (1/2)(v 2) = (1/12)v(v 1) (6/12)(v 2) = {v(v 1) 6(v 2)}/12 = {v 2 v 6v + 12}/12 = {v 2 7v + 12}/12 = {(v 3)(v 4)}/12. Corolario 5 Si G tiene v 3 y gnero g entonces g (v 3)(v 4)/12. e 148

Combinando los resultados anteriores obtenemos el siguiente corolario. Corolario 6 Si G es conexa con v 3 y gnero g entonces {(1/6)e e (1/2)(v 2)} g {(v 3)(v 4)/12} Este resultado nos ayuda a estimar el gnero de una grca. e a

8.3.

Ejercicios

1. Dibuje todas las grcas conexas regulares de grado 1. a 2. Muestre que una grca conexa de regular de grado 2 es un ciclo. a Muestre con un ejemplo que si eliminamos la palabra conexa el resultado es falso. 3. Muestre que no existe una grca regular de orden 6 y tamao 10. a n 4. Muestre que si una grca tiene orden impar y es regular de grado r, a entonces r debe ser par. 5. Encuentre una grca distinta del cubo que tenga orden 8 y sea regular a de grado 3. 6. Dibuje todas las grcas regulares con seis o menos vrtices (son 20 en a e total). 7. Haga un dibujo de K6 en S1 y cuente sus caras. Use la segunda frmula o de Euler para comprobar. 8. Haga un dibujo de K7 en S1 y cuente sus caras. Use la segunda frmula o de Euler para comprobar. 9. Haga un dibujo de K8 en S2 .

149