UNIVERSITAT POLITÈCNICA DE CATALUNYA FACULTAT D'INFORMÀTICA DE BARCELONA GRAFOS Y DIGRAFOS ASOCIADOS CON TESELACIONES

Transcripción

1 UNIVERSITAT POLITÈCNICA DE CATALUNYA FACULTAT D'INFORMÀTICA DE BARCELONA GRAFOS Y DIGRAFOS ASOCIADOS CON TESELACIONES COMO MODELOS PARA REDES DE INTERCONEXIÓN TESIS DOCTORAL Presentada en la Universitat Politècnica de Catalunya para la obtención del titulo de Doctor en Inforática. Autora: Paz MORILLO BOSCH Director: Miguel A. FIOL MORA o o«biblioteca RECTOR GABRIEL FERRATE Jordi Girona, 1 i 3 Capus Nord Edifici B I BARCELONA Barcelona, Enero 1987

2 Mi agradeciiento a todas aquellas personas que de alguna fora han colaborado en la realización de este trabajo. Especialente a is aigos de la E.T.S. Ingenieros de Telecounicación. A i Director de Tesis M.A. Fiol y al Dr. J.L.A. Yebra por su inestiable ayuda, y al Dr. M. Valero coo ponente de esta Tesis. Barcelona, Enero 1987

3 INDICE

4 CAPITULO I INTRODUCCIÓN 1.1 INTRODUCCIÓN 1.2 GRAFOS, REDES DE INTERCONEXIÓN Y TESELACIONES Graf os y digrafos, Redes de interconexión Teselaciones, 1.3 CONTENIDO DE LA TESIS, CAPITULO II DIGRAFOS CIRCULANTES 2.1 DESARROLLO MATEMÁTICO Definición de equivalencia Operaciones eleentales.., Fora noral de Herite Divisores deterinantales, Fora noral de Sith,n Congruencias en Z Estructura de Z n /MZ n 2.2 DIGRAFOS CIRCULANTES, Digrafos circulantes ultidiensionales, Diensión del digrafo, CAPITULO III GRAFOS Y DIGRAFOS ASOCIADOS CON TESE- LACIONES 3.1 INTRODUCCIÓN,

5 II 3.2 GRAFOS ASOCIADOS CON TESELACIONES, Graf os de doble lazo, Graf os de triple lazo Dos failias de grafos cúbicos Grafos BG{a,b,c), 3.3 DIGRAFOS ASOCIADOS CON TESELACIONES Digrafos de doble lazo Digrafos bipartitos Digrafos 4-partitos Digrafos asociados a teselaciones hexagonales CAPITULO IV DIÁMETRO DE UNA FAMILIA DE DIGRAFOS CIRCULANTES 4.1 INTRODUCCIÓN 4.2 DIGRAFOS 3-CIRCULANTES 4.3 FORMA DE LAS BALDOSAS 4.4 BALDOSA ÓPTIMA CAPITULO V DIÁMETRO, DISTANCIA MEDIA Y VUNERA- BILIDAD 5.1 INTRODUCCIÓN 5.2 GRAFOS DE DOBLE LAZO 5.3 DIGRAFOS DE DOBLE LAZO 5.4 GRAFOS DE TRIPLE LAZO 5.5 DIGRAFOS DE TRIPLE LAZO

6 Ill 5.6 DIGRAFOS BIPARTITOS 5.7 DIGRAFOS 4-PARTITOS CONCLUSIONES BIBLIOGRAFIA

7 CAPITULO I INTRODUCCIÓN

8 1.1 INTRODUCCIÓN El tea central de este trabajo se enarca en el estudio de diversas aplicaciones de la Teoria de Grafos a la Arquitectura de Coputadores y, en particular, al diseño de redes de interconexión, lo que constituye un problea fundaental en Ingeniería de Telecounicación y Ciencia de los Coputadores 17. Por ejeplo, en un sistea ultiprocesador (cons tituido por varios procesadores que se counican entre sí a través de ódulos de eoria copartidos, con objeto de obtener paraleliso en las tareas que le son asignadas), el rendiiento depende de la estructura de la red que interconecta los procesadores con los ódulos de eoria. Otro ejeplo lo constituye la red de área local, que interconecta varios ordenadores que se counican entre sí a uy alta velocidad. De la topología de dicha red dependen el fácil encainaiento de los ensajes y la fiabilidad del sistea ante el posible fallo de uno o varios eleentos del iso. Las redes de interconexión pueden odelarse ediante grafos (dirigidos o no) cuyos vértices representan procesadores, eorias o buses y sus líneas (arcos) enlaces o conexiones entre ellos. Los paráetros y propiedades ás iportantes a tener en cuenta en el diseño de la red de interconexión corresponden a paráetros y propiedades análogas en el grafo que la odela. A continuación presentaos la terinología sobre grafos y digrafos 11,. 23, que se utilizará posteriorente.

9 1.2 GRAFOS, REDES DE INTERCONEXIÓN Y TESELACIONES Grafos y digrafos g rar G=(V,E) está forado por un conjunto V=V(G) de eleentos llaados vértices y un conjunto E=E(G) cuyos eleentos son pares no ordenados de vértices distintos llaados raas. Dados dos vértices x e y se dice que son adyacentes si el par no ordenado (x,y) (que denotaos por xy=yx) es un eleento de E. ^n El cardinal del conjunto V, G = V, es el orden del grafo (núero de vértices) y el cardinal de E, E, es el taaño (núero de raas). Dos grafos G=(V,E) y G' = (V',E'} se dice que son isoorfos, G=G", si existe una aplicación biyectiva 4>:V W tal que xyee =» <j)(x)<t>(y)ee'. Dos vértices x, y de un grafo G son seejantes si existe un autoorfiso (aplicación biyectiva que conserva las adyacencias) \p:g»g tal que fy(x.)=y. Un grafo es vértice-siétrico si todo par de vértices son seejantes. El conjunto de vértices adyacentes a un vértice xev(g) se representa por F(x). El cardinal de dicho conjunto, d(x)= T(x), se llaa grado de x (núero de vértices adyacentes a x). Un grafo es regular de grado d o d-regular, si todos sus vértices tienen grado d. El grado ínio de los vértices de un grafo se representa por ô(g) y el grado áxio por A(G).

10 Un recorrido de longitud., es una secuencia de vértices y raas x Q,,x ^,e,x, con e. =x.,x., l4í<. Un sendero es un recorrido en el que todas las raas son distintas, un caino es un recorrido con todos los vértices distintos. Un circuito ( ciclo ) es un sendero (caino) cuyos vértices inicial y final (vértices terinales ) coinciden : x = x. La distancia d(x,y) entre dos vértices x,yev(g) se define coo la longitud ínia de un caino x-y. Si no existe tal caino, entonces d(x,y)=». Un grafo G es conexo si v^x,yev( G), d(x,y)<<». Dos paráetros relacionados con la distancia son el diáetro, D, y la distancia edia entre vértices, D, que se definen por : D=ax (d(x,y)} x,y V (1.1) donde N= v. Un grafo G=(V,E) es bipartito con conjuntos de vértices V. y V_ si V=V 1 UV_, V.ClV- = y cada raa une un vértice de V. con un vértice de V_. Un grafo G es r^-partito con clases de vértices V 1f V_ f...,v si V=V n UV-U...UV, ~"~~"""~~~* x ^ r i r V.flV.=0 para i?íj, y cada raa une vértices de clases distintas. El concepto de grafo dirigido o digrafo es seejante al de grafo, pero se exige que las raas, ahora liadas arcos, sean pares ordenados de vértices. Por tanto, la ayor parte de conceptos y terinología sobre grafos se generalizan directaente a digrafos.

11 Un digrafo D se representa por D=(V,A), donde V es el conjunto de vértices y A el de arcos. Si u,v e A, se dice que u es adyacente hacia v y que v es adyacente desde u. Si xev, d (x) representará el grado de salida de x, es decir, el núero de vértices adyacentes desde x, yd (x) el grado de entrada o núero de vértices adyacentes hacia x. D es un digrafo d-regular si \jxev, d (x) = =d~(x)=d. Todos los conceptos relacionados con el de caino son análogos a los de graf os, con la salvedad de que en los digrafos los cainos son dirigidos. Así la distancia entre dos vértices u,vev se denota igualente por d(u,v), pero ahora no tiene que cuplirse d(u,v)=d(v,u). Un digrafo D=(V,A) es débilente conexo si el grafo asociado G=(V,E),obtenido al supriir las direcciones de los arcos, es conexo. Es unilateralente conexo si Vu,veV d(u,v)< œ o d(v,u)< œ. ES fuerteente conexo si i d( U, V ) <co y d(v,u)< œ. La atriz de adyacencia de un grafo G= ( V, E ) con N vértices es una atriz A=A(G), NxN, definida por -( ii (A) ±. = l si v^.ee, v ±,v.ev (A)..=0 en caso contrario (1.3) De anera análoga se define la atriz de adyacencia de un digrafo D. Trivialente, en el caso de graf os (A)..=(A).., es decir, la atriz de adyacencia es una atriz siétrica. Sin ebargo, cualquier atriz binaria NxN,- con ceros en la diagonal, puede ser la atriz de adyacencia de un digrafo.

12 Dada la atriz de adyacencia A(G) de un grafo, el núero de unos en la fila i-ésia, es d(v.), el grado del vértice v.. Para la atriz A(D) de un digrafo D, el núero de unos en la fila i-ésia es d (v.) y el núero de unos en la coluna i-ésia es d~(v.)- Si A(D) es la atriz de adyacencia de un digrafo D, la atriz traspuesta A es la atriz de adyacencia del digrafo opuesto D', obtenido a partir de D cabiando las direcciones de los arcos. Las potencias de A dan inforación del núero de recorridos Drric entre dos vértices. Considerando los eleen- -> tos de,2 N A este suatorio sólo contribuyen con térinos no nulos los productos ( A ) ik ( A ) k j para los que (A) ik =l y (A)j.=l, es decir, existe un recorrido de longitud dos entre v. x y v. que pasa por v,. Por tanto, (A 2 3 K ). 13. expresa el núero de recorridos distintos de longitud dos entre v. y v.. x k ^ En general, (A ).. expresa el núero de recorridos distintos, de longitud k, entre v. y v.. En un grafo conexo, o en un digrafo fuerteente conexo, la distancia entre dos vértices v. y v., i^j, es k, si y sólo si. k es el enor entero para el cual (A k ) ij? ío. Las perutaciones de las filas y de las correspondientes colunas de A, equivalen a reordenar los vértices del grafo (digrafo). Asi dos grafos ( digraf os ) son isoorfos si y sólo si las correspondientes atrices de adyacencia A I y A~ están relacionadas ediante una

13 atriz P de perutación: Otra atriz que se utiliza para caracterizar un grafo es la atriz de incidencia. Dado un grafo G=(V,E) con v =n y E =, se define la atriz de incidencia B=B(G) coo (jll, 17 ) : (B)..=1 si v. es incidente con la raa e. (B)..=0 en caso contrario (1.5) Para se define coo: un digrafo D con n vértices y arcos, (B).. = 1 si el arco e. es incidente desde v. (B)..=-1 si el arco e. es incidente hacia v. (B).. =0 en otro caso (1.6) Las atrices de adyacencia y de incidencia constituyen la base de las estructuras de datos ás counente utilizadas para representar un grafo o un digrafo en la eoria del ordenador. Por ejeplo, si el núero de raas o arcos es ucho enor que n, la fora ás econóica de representación será una lista de incidencia. En tal lista encadenada se enuncian, para cada vértice v.las raas o arcos de los que v es vértice terinal Redes de interconexión Sisteas ultiprocesadores Coo se ha encionado en la introducción, un problea fundaental.en el diseño de estos sisteas es la fora de interconectar los procesadores con los ódulos de eoria. Existen diferentes soluciones que son, fundaentalente, función de la tecnologia subyacente, del núero de procesadores y del grado de counicación necesitada entre ellos.

14 Los sisteas pueden tener un solo nivel de eoria (los procesadores acceden a cualquier posición de eoria en el iso tiepo) o varios (cada procesador accede a diferentes partes de la eoria con diferente costo). Los prieros son sisteas "fuerteente acoplados" 3, las unidades de eoria son copartidas directaente por los procesadores. Los segundos son "débilente acoplados" (llaados en 3 ulticoputadores), cada procesador con su correspondiente eoria local intercabia ensajes con los otros pares procesador-eoria, las eorias sólo se coparten en el sentido de que los ensajes pueden ser enviados a,o transitidos desde, otros coputadores (pares proc-e). Adeás de poder ejecutar los algoritos de fora paralela, otros objetivos de los sisteas ultiprocesadores son: 1. Auentar la velocidad de cálculo. 2 - Fiabilidad, es decir, posibilidad de que el sistea funcione en el caso de que un procesador o un enlace de la red queden fuera de servicio. 3. Modularidad, o posibilidad de variar el núero de procesadores y de recursos en general (eorias, periféricos, etc) según las necesidades. Entre los principales requeriientos exigidos a la topología del sistea, los que estudiareos en este trabajo son: 1. Diáetro y distancia edia (entre vértices) ínios. 2. Existencia de algoritos eficientes y sencillos de encainaiento de los ensajes a través del sistea. 3. Fiabilidad frente a posibles fallos de algunas conexiones.

15 En 136 I se divide a las topologías de interconexión en las siguientes clases: 1. Redes ultietapa, en las que los procesadores están conectados a las eorias a través de una red de lineas e interruptores. 2. Redes de caino dedicado, los procesadores están conectados a las eorias, o entre si, por enlaces directos. Según el carácter de los enlaces, las redes pueden ser unidireccionales o bidireccionales. 3. Redes de caino copartido, en las que los procesadores coparten un edio de counicación, p.e. un conjunto de buses. El carácter uni o bidireccional de los enlaces deterina el tipo de grafo, dirigido o no, capaz de odelar la red. Las redes con cainos unidireccionales, odeladas ediante digrafos, poseen una serie de ventajas frente a las de tipo bidireccional. Principalente, en lo que se refiere a la coplejidad de los "interfaces" (periten puertas diferenciadas de entrada y salida), control de tráfico y algoritos de encainaiento. Algunas topologías propuestas recienteente se resuen en 18. Redes locales Para el diseño de redes locales han sido propuestas e ipleentadas varias soluciones. Dos de ellas son las llaadas topologías de bus y de lazo. El ejeplo ás sencillo de estas últias es la topología en anillo, en la que cada procesador está conectado al siguiente forando un ciclo unidireccional 1281

16 10 Sin ebargo, la topología de lazo presenta inconvenientes, en particular, una gran vulnerabilidad (el fallo de un nodo o de un enlace desconecta el grafo), una sobrecarga de tareas (cada nodo es solicitado por uchas counicaciones) y un elevado tiepo de transisión (debido a un al diáetro). Para ejorar la fiabilidad y el ancho de banda de la counicación se han propuesto diferentes topologias ultiplicando los lazos. Básicaente en todas ellas se dobla el núero de enlaces, asi todos los nodos.quedan con grado de entrada y de salida igual a dos. Estas topologias se denoinan DDLCN ("Distributed Double Loop Coputer Networks"). Muchos autores han estudiado estas redes de doble lazo: J.Wolf 42, A.Granrov (22, C. S. Raghavendra en 134 y 35, han propuesto grafos dirigidos de paso fijo, es decir, digrafos en los que cada vértice i es adyacente hacia los vértices (i+a) od, (i-f-b) rood, donde respectivaente ( a,b ) = ( 1, -1 ), ( a,b ) = ( 1,-2 ), ( a,b ) = (1,-vj) Obteniéndose diáetros del orden (resp.) /2, /3 y 2\/, y distancias edias de /4, /6 y \/rñ. En 119 y (20 se resuen las configuraciones de este tipo sucesivaente propuestas, junto con el diáetro y la distancia edia obtenidos en cada caso. El objetivo es disinuir estos diáetros y distancias edias (por razones de coste) eligiendo, de anera conveniente, los pasos a y b. En 2l se ha estudiado qué pares (a,b) iniizan el diáetro de una red con un taaño dado, este estudio se ha realizado para el caso dirigido. El caso no dirigido se estudia en 24. Una característica uy iportante de este

17 11 planteaiento es que el problea equivale a un problea de alineaiento de datos: Reordenar vectores p-ordenados con dos interconexiones k-separadas I 26 I,I 38 I. Dados a Q,a,...,a, un { n + 1 ) -vector, aditiendo los a. por coordenadas, se llaa p-ordenado, si a. - está situado en la posición j+p (od n-t-1 ), siendo j la posición de a.. Un ejeplo de vector 3-ordenado es ( a n ' 3 5 ' a 3 ' a i a g ' 3 A» a 2 ^ * Un problea en el que aparecen vectores p-ordenados es en el alacenaiento lineal de atrices. El eleento a.. de una atriz cuadrada A de orden n + 1 se alacena en el ódulo de eoria de orden pi + qj od n+1 (lo que para una utilización en paralelo es ás interesante que alacenar una isa fila o una isa coluna en el iso ódulo). Entonces, las filas se recuperan coo vectores q-ordenados y las colunas coo vectores p-ordenados. Es necesario saber reordenar tales vectores, para ello se utilizan interconexiones k-separadas. Una interconexión k-separada transfiere el contenido del registro ki od n+1 al registro i, para i e{ 0, 1,...,n}. Se buscan k 1 y k_ tales que una cobinación de interconexiones k.. -separadas y k_-separadas reordene todo vector de diensión n+1 p-ordenado, para p e{l,...,n },lo ás rápidaente posible. En 21 se uestra cóo este problea es equivalente al enunciado anteriorente Teselaciones Para definir un grafo sobre un conjunto de

18 12 vértices V, basta definir las reglas de adyacencia. Los grafos y digrafos estudiados en esta Tesis tienen coo conjunto de vértices V = Z = { O,1,...,-l } y existe una partición del conjunto V en subconjuntos V. (con la isa cardinalidad), 1^ i <: _/4J de fora que cada vértice je V. es adyacente a los vértices j+a.,...,j+a., od. Estos grafos poseen la propiedad de que pueden asociarse con teselaciones del plano. La idea en la que se basa esta representación geoétrica es la siguiente: Identificaos cada vértice del grafo o del digrafo con un triángulo, un cuadrado o un hexágono (dependiendo del grado del grafo) y representaos vértices adyacentes por figuras con un lado en coún. De esta fora el grafo corresponde a una cierta baldosa de celdas que tesela el plano. La teselación caracteriza copletaente el grafo y facilita el estudio de algunas de sus características: diáetro, distancia edia, encainaiento, f labilidad,... En la Figura 1-1 se uestra un ejeplo de esta representación geoétrica para el digrafo definido sobre Z g, en el que cada vértice i, 0- i<8, es adyacente hacia los vértices i + 1, i+7 (od 9). En este caso identificaos cada vértice del grafo con un cuadrado, y las adyacencias se representan de la siguiente fora : Cada cuadrado es adyacente hacia el cuadrado situado a su derecha y hacia el situado encia. i + 7

19 Ü U ü Fig CONTENIDO DE LA TESIS Coo se ha encionado en la sección anterior, estudiaos grafos que aditen una representación geoétrica en el plano. La correspondencia que estableceos entre grafos y baldosas que teselan el plano nos obliga a definir 2 una relación de equivalencia entre los vectores de Z Ello es posible ediante la generalización a Z del concepto de congruencia.

20 14 En la priera sección del capitulo II se define la congruencia incia entre vectores de Z n ódulo una atriz entera M cuadrada de orden n, y se caracteriza el grupo cociente Z n /MZ n, utilizando la reducción de M a la fora noral de Sith. Un problea interesante en Teoría de Grafos es la caracterización de los grafos vértice-siétricos. En 39 Turner estudia los grafos vértice-siétricos con un núero prio de vértices (grafos PPS} y deuestra que estos grafos son polígonos estrellados. Un grafo G=(V,E) es un polígono estrellado si sus vértices pueden etiquetarse de anera que v)ee, l«k«v-l (1.7) En este estudio utiliza que la atriz de adyacencia de estos grafos es una atriz circulante. Una atriz circulante es una atriz en la que cada fila se obtiene a partir de la priera ediante un desplazaiento cíclico. Estas atrices han sido estudiadas en 1 y 14. Debido a la fora de su atriz de adyacencia, los polígonos estrellados se llaan tabién grafos circulantes. En 127, Leighton extiende la noción de circulante a la de grafo circulante ultidiensional. Esta clase de grafos consiste de aquellos grafos vértice-siétricos cuyo grupo de autoorfisos contiene un subgrupo abeliano regular. Previaente deuestra que los grafos circulantes son aquellos cuyo grupo de autoorfisos contiene un subgrupo cíclico regular. En la segunda sección del capítulo II generalizaos estos conceptos al caso de grafos dirigidos. Definios los digrafos circulantes, cuyo conjunto de vértices

21 15 es Z/Z, y los digrafos circulantes uí tridiensionales, con conjunto de vértices Z n /MZ n. En el estudio de estos digrafos utilizaos los resultados obtenidos en la priera sección. El capitulo III trata un problea iportante en el diseño de redes de interconexión, que consiste en axiizar el núero de nodos de la red sabiendo que la distancia áxia entre nodos es k y que cada nodo está interconectado coo áxio a otros d nodos. Este problea se conoce, en Teoría de Grafos, coo problea (d,k). Se trata de hallar grafos que tengan áxio núero de vértices dados el diáetro k y el grado áxio d, 6, g -Este problea se estudia para ciertas failias de grafos y digrafos que pueden asociarse con teselaciones del plano. Después de presentar los resultados conocidos para grafos y digrafos de doble lazo, en este trabajo se dan las soluciones óptias para las restantes failias propuestas. Este iso problea se estudia en el capitulo IV para una failia de digrafos circulantes de grado tres. Para el estudio de esta failia utilizaos un étodo distinto al utilizado para las failias del capitulo anterior. En prier lugar se deuestra que la baldosa asociada al digrafo siepre se puede toar en fora de T con ciertas diensiones, entonces el diáetro del digrafo se puede expresar en función de ellas. En -este contexto, el problea planteado equiva-le a buscar baldosas que tengan área áxia'para valores dados de este- paráetro (diáetro del grafo). Otros probleas de optiización que aparecen en el diseño de redes de interconexión son los de iniización del retraso áxio y retraso edio en la transisión de los ensajes. En el grafo que odela la red, estos probleas corresponden a iniizar el diáetro y la distancia edia entre vértices.

22 16 En el capitulo V se estudian estos probleas para algunas de las failias definidas en el capitulo III, obteniendo, salvo en un caso, fórulas cerradas para el diáetro y la distancia edia ínios, en función del orden del grafo. En el estudio realizado en este capítulo, se obtienen tabién los grafos óptios para todas las failias propuestas. En este iso capítulo se estudia la vulnerabilidad de los grafos pertenecientes a las failias consideradas, es decir, cóo auenta el diáetro al supriir un vértice o una arista.

23 CAPITULO II DIGRAFOS CIRCULANTES

24 DESARROLLO MATEMÁTICO Sean Z y Z los anillos de enteros y atrices cuadradas de orden n sobre Z respectivaente. Sea Z el grupo aditivo de n-vectores coluna con coordenadas enteras Definición de equivalencia Sean M, M 1 atrices de Z nxn. Se dice que M' es equivalente por la derecha a M (M'R M) si M 1 =MV para alguna atriz entera uniodular V (det V=±l); M' es équivalente a M (M 1 E M) si M'=UMV para algunas atrices enteras uniodulares U,V. de equivalencia. Es inediato coprobar que abas son relaciones Operaciones eleentales fila (coluna) Consideraos las siguientes operaciones sobre las filas (colunas) de una atriz M: a) Intercabiar dos filas (colunas). b) Añadir a una fila (coluna) veces otra fila (coluna). c) Cabiar el signo de una fila (coluna). Cada una de estas operaciones corresponde a ultiplicar la atriz M por la izquierda (derecha) por una atriz uniodular. Por ejeplo, ultiplicar por la izquierda

25 19 por la atriz U = /1 O... 0\ f O 1 O... O \ \0 O O... O / añade a la fila l veces la fila 2. Las atrices asociadas a operaciones eleentales se llaan atrices eleentales. Tienen gran iportancia en la clasificación de atrices respecto a las relaciones de equivalencia definidas anteriorente Fora noral de Herite Toda atriz M de Z x es equivalente por la derecha a una atriz triangular superior, tal que los eleentos de la diagonal principal son positivos, y cada eleento por encia de la diagonal principal pertenece a un deterinado sistea copleto de residuos ódulo el eleento de la diagonal situado en la isa fila. Para obtener la fora noral de Herite basta efectuar operaciones eleentales, convenienteente elegidas, en las colunnas de Ja atriz M. Veaos un ejeplo. Coo sistea copleto de residuos ódulo un entero positivo, toaos 0,l,...-l. Sea la atriz /3 5 2 M = \ las atrices uniodulares que epleaos en la reducción

26 20 / 1 0 \ \ / \ \ V \, / / V 5 = \ y las sucesivas atrices que obteneos son: M I =MV I = I 9 M =M V = 2 "l 2 í-10 O O M =M V = M 5 45 Por tanto T=MV, donde Divisores deterinantales. Factores invariantes. Sea Mez nxn y k un entero tal que l^k^n. Se define el k-ésio divisor deterinantal de M, d, =d, (M), coo el áxio coún divisor de todos los enores de orden k de la atriz M. Si son todos nulos se define d,(m)=0.

27 21 Notar que, según esta definición, d (M)= det M, y si r es el ayor núero tal que d (M) Q, entonces el rango de la atriz M es r. 33. Se pueden deostrar las siguientes propiedades, a)d k (M)/d k+1 (M), l<k<n-l b) M 1 M' t=* d k (M)=d k (M' ), Uk v <n. cantidades Por conveniencia, consideraos d_(m)=l. Las s k (M)=d k (M)/d k _ 1 (M), se denoinan factores invariantes de M. Se puede deostrar que s i (M)/s i + 1 (M), l«i«r-l, Fora noral de Sith Toda atriz M de z nxn es equivalente a una atriz diagonal S = S(M)=diag( s..,..., s,0,...,0), donde r es el rango de M y s k, l^k^r, son los factores invariantes de M. El étodo de construcción de la fora noral de Sith consiste en colocar, ediante operaciones eleentales sobre las filas y las colunas de M, un eleento en la posición (1,1) que divida a todo eleento de la priera fila y coluna. Entonces todos los deás eleentos de la priera fila y coluna pueden reeplazarse por O, usando sólo operaciones eleentales. Sea C la atriz asi obtenida (C È M), si algún c.. no es divisible por G I, se añade la coluna j a la priera y se repite el proceso anterior. Asi hasta que el eleento en la

28 22 posición (1,1) divida a todos los eleentos de la atriz, y los deás eleentos de la priera fila y coluna sean 0. Luego se repite todo el proceso con la subatriz obtenida supriiendo la priera fila y coluna, y asi sucesivaente. De la existencia y unicidad de la fora noral de Sith, se deduce que dos atrices son equivalentes si y sólo si tienen los isos factores invariantes, es decir, si tienen los isos divisores deterinantales Congruencias en Z n. Nuestro objetivo es generalizar a Z el concepto de congruencia en Z, del que toaos la siguiente forulación: Dados a, 0,, ^O, se dice que a es congruente con 8 ódulo, a=ß (od ), si a-ß e Z (ideal de los últiplos de ). Sean ahora a, bez n y MeZ nxn no singular, direos que a es congruente con b ódulo M, a = b (od M), si a-b emz n (conjunto cuyos eleentos son las cobinaciones lineales, con coeficientes enteros, de los vectores coluna de M. Dicho conjunto se llaa reticulo generado por M). Noteos que si M=diag( 1,_,..., ), los vectores a=(a.,,a 2,...,a n ) y b=(b 1,b 2,...,b n ) son congruentes ódulo si y sólo si a.= b^ (od ^), Estructura de Z n /MZ n Puesto que MZ n es subgrupo noral de Z n, se puede considerar el grupo cociente Z n /MZ n, grupo de los vectores enteros ódulo M. Para estudiar la estructura de Z n /MZ n observe-

29 23 os que si M=diag(.,_,..., ), este grupo es el producto directo de los grupos cíclicos Z/.Z, l<i<n. Si consideraos la fora noral de Herite de M, M'=MV, es fàcil ver que a=b (od M) =* a =b (od M')- Por tanto Z n /MZ n =Z n /M'Z n. Considereos ahora la fora noral de Sith de M, S=diag{ s,, s_,..., s )=UMV. En este caso se deuestra que a=b (od M) si y sólo si Ua=Ub (od S), es decir: a=b ( od M )«=* U a=u. b ( od s. ), l-$i^n (2.1) donde U. representa la fila i-ésia de la atriz U. Sea p el enor entero positivo tal que s =1 (= > S.J =s-, =... =s,=!). Entonces las n-p prieras ecuaciones de (2.1) son irrelevantes, resultando: a=b (od M)*=*U'a=U'b (od S') (2.2) donde U 1 es la atriz pxn obtenida a partir de U supriiendo las n-p prieras filas S'=diag(s,,s _,..., s ). Por tanto se puede definir una aplicación $ entre los vectores ódulo M y los vectores ódulo S', con $(a)=u'a. Es inediato coprobar que $ es un isoorfiso de grupos, y entonces: n Z n /MZ n S X 2/s.jZ (2.3) i=n-p+l Consecuencia de esto son los siguientes leas: Lea 2.1.1: El núero de clases de equivalencia ódulo M es o(z n /MZ n )= det M. Lea 2.1.2: El grupo cociente Z /MZ es cíclico si y sólo

30 24 si Por ejeplo, si. n=2, esta condición se traduce en cd(...',. 12' -» 2i' ra 22 ^3"'" ' s i en<^ -- l s atriz M, (18. eleentos de la 2.2 DIGRAFOS CIRCULANTES Se define un digrafo circulante D (a.,a_,...,a,} coo el digrafo con conjunto de vértices V=Z/Z=Z (grupo cíclico de enteros ódulo ) y adyacencias dadas por u» u+a 1, u+a~,...,u-t-a, (od ). Los a., l^i^ d, se llaan pasos o saltos del digrafo. El digrafo D (a.,a_,...,a,) es fuerteente conexo si y sólo si a partir del vértice O se puede alcanzar el vértice 1 (y por tanto todos los deás); es decir, existen enteros positivos a.., a _,...,a, tales que a. a = 1 (od ), o en fora vectorial a ot= 1 (od ), donde a=( a..,..., a, ) y I C I a = (a..., a ), lo que equivale a 1,a 2,...,a d,)=l (2.4) Digrafos circulantes ultidiensionales Sea M una atriz de Z x no singular, y sean b..,...,b, vectores de Z. Se define el digrafo circulante ultidiensional D (b,,...,b,) coo el digrafo con conjunto de vértices V=Z /MZ (grupo abeliano de vectores enteros ódulo M) y arcos u»u+b.,...,u+b, (od M). T En el caso b k =e, =( O,.., l,..,0 ), l-sk^d denoinan tabién digrafos de pasos conutativos. Estos digrafos corresponden a diagraas de Cayley de grupos abe-, se

31 25 lianos, 37, Ui El digrafo D (b.,,...,b, ) es fuerteente conexo si y sólo si desde el vértice O pueden alcanzarse los vértices e,, l^k^n (y por tanto todos los deás); es decir, existen d-vectores a,,..., a con coordenadas enteras positivas tales que ( b..,...,b, )a. =e. (od M), 1-sk.sn, o en fora atricial BÛ.5I (od M), con B atriz nxd y d atriz dxn Diensión de un digrafo circulante ultidiensional Un digrafo circulante puede ser ultidiensional para diferentes valores de n. Por ejeplo: n=3 M=diag(2,2,3) I 1 } í \ a l = O I, a = 1 I, a = O X \ / A. l / O n=2 M=diag(2,6)

32 26 Utilizando la notación de Leighton 27 para grafos, el enor de tales n se llaa diensión del digrafo y se dice que D es un digrafo n-diensional. Así los digrafos circulantes son I-diensionales. Coo consecuencia del isoorfiso dado en n $ í Z/MZ * >< Z/s. Z x i=n-p+l U'b se tiene el siguiente isoorfiso entre digrafos: D M (b 1, b d> SD s l(c l c d ), donde c i =U l b i, l*i*d. Por tanto la diensión de D M (b,,...,b,) es enor o igual que p, y si p = l (s,=d.=1) el digrafo es circulante. En este caso particular estudiaos una propiedad que será de utilidad en las secciones siguientes. Observeos que si el digrafo D M (b.,...,b,) es circulante, la atriz del isoorfiso $ corresponde a la últia fila de la atriz U, U'=U. Para obtener todos los isoorfisos entre Z n /MZ n y Z/Z basta coponer $ con cualquier isoorfiso a de Z/Z. Se sabe que todo isoorfiso o de Z/Z es de la fora cf(a)=aa con cd(a,) = l; por tanto, existen <j>(nt) (donde <j> es la función de Euler) isoorfisos de Z /MZ en Z/Z, cuyas atrices son a U con cd(a,) = l. En consecuencia existen al enos <{>() isoorfisos entre D M (b..,...,b,) y D (a l a d> C0n a i = U n b i' K<i «d - En los siguientes capítulos consideraos algunas failias de digrafos" circulantes D (a,,...,a,), donde r ( S d) pasos son independientes (por ejeplo a..,a_,...,a )

33 27 y los deás son cobinaciones de éstos. El estudio que realizaos consiste en hallar qué digrafos de la failia (es decir, con qué pasos a..,.., a,) cuplen deterinadas propiedades relacionadas con la distancia. Deostrareos que es posible hacer una representación geoétrica del digrafo en el espacio R r, que facilita este estudio. Coo consecuencia de esta representación cada digrafo circulante puede asociarse a un digrafo circulante ultidiensional. Se tendrá D ( a.,...,a, ) = D ( b..,...,b, ) donde M es una atriz de Z rx con det M = y b. =e., para Entonces, según lo expuesto anteriorente, los pasos a..,..., a asociados al digrafo corresponden a las coponentes de la últia fila de U ultiplicadas por cualquier a tal que cd( a,)=l (donde U es una atriz uniodular tal que S(M)=UMV), es decir, (a.,,..., a )=au. Tabién se deduce que hay <j>() conjuntos distintos de pasos asociados al iso digrafo. Veaos ahora otro étodo para hallar los pasos asociados a un deterinado digrafo circulante, a partir de la atriz M. Deostrareos que hacer el cálculo anterior equivale a resolver el sistea de congruencias junto con la condición (a lr...,a r )M=0 (od ) (2.5) cd(a.,,...,a,) = l (2.6) En efecto, si (a 1,.. r.,a r )= a U, entonces i (a 1,...,a r ) es la atriz de un isoorfiso entre Z /MZ y Z/Z y por lo tanto (a..,..., a )M=0 (od ). Por otra parte, coo U es uniodular, los eleentos de la últia fila de U son prios entre sí, y de aqui cd( a,...,a,)=cd( a,) =1.

34 28 Estudieos la iplicación en sentido Buscaos las soluciones del sistea de congruencias contrario. am=0 (od ) <, > am=ß, ße Z r '<,...7 au~ 1 SV~ 1 =g, au~ 1 S=ßV=y, ßeZ r, S=S(M ) =diag( l, l,...,) uez r -l r r Denotaos all =be Z, entonces bs=u, u e Z y por tanto b=(p 1,y 2,...,u r _ 1,u r ). Ahora, entre todas las soluciones de (2.5) sólo nos interesan las que cuplan (2.6), en consecuencia b ha de verificar cd(b 1,b_,...,b,)=l. Por tanto las soluciones serán a=bu, donde b=( O, O,..., O,a ) con cd(a,)=l. Es decir, a=ae U=aU con cd(a,)=l c.q.d. Otra anera de deostrar que las soluciones de ( 2.5) que cuplí cuplen (2.6 ) son de la fora a U con cd( a,) = es la siguiente: Considereos la aplicación lineal $ :Z r» Z/Z u > au por cuplirse ( 2.5 ) tiene sentido factorizar esta aplicación al grupo cociente $ : Z r /MZ r > Z/Z adeás, por verificarse (2.6), este orfiso es exhaustivo y, coo los dos grupos tienen el iso orden, será un isoorfiso. Por tanto, según lo visto anteriorente, el vector a tiene que ser a=a U con cd(a,)=l

35 CAPITULO III GRAFOS Y DIGRAFOS ASOCIADOS CON TESELACIONES

36 INTRODUCCIÓN En este capitulo estudiaos el diáetro de algunas failias de grafos y digrafos que pueden asociarse con teselaciones del plano. Concretaente, el problea que nos planteaos es hallar los grafos que tienen orden áxio para valores dados del diáetro y el grado. El estudio conduce siepre a las soluciones óptias 29J, 44J. En las secciones y consideraos dos failias de grafos circulantes interesantes en el diseño de redes, ver 4. Estas failias corresponden a los grafos de doble y triple lazo, un estudio detallado de la priera se encuentra en 8. En 5 se estudian los grafos de doble lazo coo topologías de redes óptias en cuanto a diáetro en el contexto de redes con cuatro enlaces bidireccionales por nodo. En la sección se estudian dos failias de grafos cúbicos con diferentes reglas de adyacencia para vértices pares e ipares, el estudio conduce a los grafos de Petersen generalizados y a anillos con cuerdas. En 112 se deterinan las clases de isoorfisos de esta últia failia cuando el núero de vértices es prio. En la sección se estudia una failia de grafos bipartitos de grado 4, en la que cada vértice se identifica con un triángulo equilátero 30. La sección contiene los principales resultados sobre digrafos de doble lazo, en los que cada vértice i es adyacente hacia los vértices i+a y i+b, od, para ciertos a y b enteros distintos. Este caso ha sido considerado por otros autores, ver por ejeplo 43, y ha sido

37 31 resuelto en 2l. Los digrafos óptios tienen orden = (k+2) /3-1. Considerando digrafos bipartitos, en la sección construios digrafos regulares de grado 2 y con un núero de vértices del orden de k. Una ejora adicional se obtiene en la sección 3.3.3, donde la consideración de digrafos 4-partitos perite la construcción de digrafos regulares de grado 2 y cuyo núero de vértices es del orden de 2k 2. En 1251 se proponen unas redes análogas a las representadas por los digrafos 4-partitos y se deuestra que poseen un buen algorito de encainaiento desde un nodo fijo hacia todos los deás. Todos estos digrafos están asociados a teselaciones del plano que utilizan un cuadrado para representar un vértice. En la sección se considera una situación diferente, al identificar cada vértice de un digrafo regular de grado 3 con un hexágono.

38 GRAFOS ASOCIADOS CON TESELACIONES Grafos de doble lazo Sea un grafo con conjunto de vértices Z. Se dice que se un grafo de doble lazo si cada vértice i es adyacente a los vértices i±a, i±b, (od ), donde a y b son enteros distintos tales que l^a,b ^[/2j. Denotareos estos grafos por D (a,b) y direos que a y b son pasos asociados al grafo. En la Figura 3-1 se uestra D, 3 (l,5). 12 Fig. 3-1 Los grafos de doble lazo son vértice-siétricos debido a los autoorfisos i * i + a» 0^a-$ni-l. Esto nos perite estudiar su diáetro desde cualquier vértice, por coodidad lo hareos desde el 0. Desde este- vértice, en un paso alcanzaos los vértices ±a, ±b, (od ); en dos pasos ±2a, ±a±b, ±2b,(od); en tres pasos ±3a, ±2a±b, ±a±2b, ±3b, (od ), y asi sucesi-

39 33 ente. Entonces, el orden áxio de un grafo de doble lazo con diáetro k seria k =l k=2k 2 +2k+l (3.1) si todos los núeros pa+qb, con p +1q\$ k, fuesen distintos ódulo. Deostrareos que esta cota es alcanzable. Observeos que una condición necesaria y suficiente para que el grafo sea conexo es (a,b,)=cd(a,b,)=l (3.2) En efecto, si ( a,b,)=rjíl sólo podreos alcanzar los vértices que son últiplos de r. Reciprocaente, si (a,b,)=l existen enteros a, ß y y tales que aa+3 b+y =l, es decir, aa+ßbel (od ). Entonces, el vértice 1, y en consecuencia todos los deás, puede alcanzarse desde el 0. Los vértices que alcanzaos sucesivaente a partir del O pueden situarse en el plano tal coo uestra la Figura b I -a+b b a+b! I I -2a -a O a 2a Fig. 3-2 i l i -a-b b a-b I -2b Coo consecuencia de este representación observaos dos propiedades de tipo geoétrico. 1.Periodicidad. Considereos el plano dividido en cuadrados iguales, nuerados coo indica la Figura 3-2, situando el O en uno cualquiera de ellos. Cada cuadrado contiene un núero de O a -1, y la distribución de estos núeros en

40 34 el plano se repite periódicaente. Este hecho se ilustra en la Figura 3-3 para =13, a=2 y b=3. 2.Teselación. Supongaos (a,b,)=l y foreos una baldosa con cuadrados cualesquiera nuerados de O a -1. Esta baldosa tesela periódicaente el plano; para ello basta colocar el cuadrado de la baldosa nuerado con el O sobre todos los cuadrados del plano nuerados con el 0. En la Figura 3-3 se uestra una posible teselación I i; i c? f t 3 1 D k-i-l Fig ^ 0 8 e; n- ^_ v, i I I o 1 1 k Planteado en este contexto, nuestro objetivo es construir baldosas que teselen el plano y correspondan a grafos con orden áxio para valores dados del diáetro. Coo se uestra en la Figura 3-3, la baldosa óptia que corresponde a =2k +2k+l tesela el plano. Falta deostrar que existen pasos a y b que la generan; para ello basta ver que existen valores que producen el odelo periódico dado, el cual está caracterizado por la posición de los "ceros". Por tanto a y b deben satisfacer (ver Fig. 3-3) (k+l)a - kb=0 (od ) ka+(k*l)b=0 (od ) (3.3) junto con la condición ( 3.2 ) que ipide la existencia de otros ceros dentro de la baldosa. Notar que estas dos igual-

41 35 dades corresponden a un caso particular.de las expresiones (2.5) y (2.6) del cap.ii, donde se justificó ateáticaente esta forulación. Este sistea tiene soluciones no triviales ya que el deterinante de la atriz de coeficientes es A= (k+l) 2 +k 2 = 2k 2 +2k+l=0 (od ) (3.4) Resolveos el sistea escribiendo, para ciertos a, 8, /k+1 k \ (a.b) = (a.ß) (3.5) \-k k+1/ de donde /k+1 -k (a,b)= (a,8) \ k k+1 (3.6) Por ejeplo, para <x=l, ß =1 obteneos a=2k+l b=l que trivialente satisfacen la condición (3.2 ), ientras que para a=0, 3=1 obteneos otro par de pasos Grafos de triple lazo Considereos ahora el caso en que cada vértice i, 0<i^-l, es adyacente a los vértices i±a, i+b, i±c, donde c=-(a+b) y a,b son enteros distintos 0«a,b< [_/2j. Denotaos estos grafos por TLG(a,b,c). En este caso toaos el odelo geoétrico que se uestra en la Figura 3-4. Coo en la failia anterior, estos grafos son vértice-siétricos debido al autoorfiso i» i+a, l$a-s -1, y los grafos son conexos si y sólo si (a,b,c,)=(a,b,)=l (3.7)

42 36 i+a L-b x-c i+c i+b i-a Fig. 3-4 El orden áxio de un grafo de triple lazo con diáetro k es k, = 1 + l ( 6q= 3k +3k+l K. q=l (3.8) La correspondiente baldosa óptia tesela el plano y las ecuaciones para la distribución de ceros son ahora (ver Figura 3-5): (k+l)a-kb=0 (k+l)b-kc=0 (od nv) (od,) (3.9) junto con a+b+c=0 (od, ) 1C (3.10) El sistea ( 3.9), ('3.10) tiene soluciones no triviales puesto que el deterinante de la atriz de coeficientes es A=3k+3k+l=0 (od k ) (3.11) y las soluciones viene dadas por : M k k(k+l) (k+l)\ 2k+l -k -k-1 (3.12) k k-t-1-2k-l / para a,ß,y enteros cualesquiera. Por ejeplo, para a=0, 3=1 y Y = l obteneos la solución a=3k+l, b=l, c=-3k-2

43 37 que trivialente satisface (3.7) y adeás uestra la estructura del triple lazo ya que (a.. ) = (b,, ) = (c,, )=1 Fig Dos failias de grafos cúbicos Consideraos ahora dos failias de grafos cúbicos con un núero par de vértices, V=V UV,, donde 0 1 V 0 ={0,2,4-2 } y 7^(1,3,5-1}. En la priera failia cada vértice iev" n es adyacente a los vértices (od ) i+cev.. y i±aev_., y cada vértice jev 1 es adyacente a los vértices j-cev_ y jibev.., tal que c es ipar y a,b son pares. Sin perder generalidad, podeos

44 38 suponer c=l (basta renuerar los vértices de V o V.). Nuestro estudio conduce a los grafos de Petersen generalizados, en el sentido de 140, donde se estudian sus propiedades de linea-coloración. En la segunda failia cada vértice,. es adyacente a los vértices (od ) i+a, i+b, i+c e V.., para a, b y c ipares distintos. En consecuencia, cada vértice jev. es adyacente a los vértices j-a, j-b, j-c e V. Coo antes es posible fijar uno de estos paráetros, toareos c = l. En este caso los grafos óptios son los anillos con cuerdas, en el sentido de 3, estos grafos ya fueron introducidos en 13. Grafos de Petersen generalizados En la Figura 3-6 se uestra la representación geoétrica de estos grafos con c=l. j+b=2(h+b)+l j+b-l=2(h+b) H+B l I i+a+l = 2(h+A) Si- H H+A i=2h i+a=2(h+a) H-B Fig. 3-6 En este caso las baldosas óptias no teselan el plano; el odelo dado en la figura 3-6 sugiere asociar cada par de vértices H = { 2h,2h+l}, el cual es adyacente a los pares H±A y H±B donde a=2a, b=2b, y utilizar los resultados de la sección A partir del grafo de doble lazo óptio con diáetro 1 y vértices, podeos obtener

45 39 un grafo de orden 2( ) y diáetro coo áxio k=l+2, ya que cualquier caino requiere coo áxio dos pasos adicionales de tipo c. Para 1>1 los grafos resultantes tienen realente diáetro k=l+2 y orden = 2(2(k-2) 2 +2(k-2)+l) = (2k-3) 2 +l, (3.13) ientras que para 1=1 conduce al grafo de Petersen (k=2). Adeás, para k>4 estos grafos se pueden generar con a=2a=21=2k-4, b=2b=2 ( 1+1 ) =2k-2 En 7 se deduce este iso resultado analíticaente, obteniendo estos grafos coo un producto especial de K 2 ( grafo copleto con dos vértices) y C-, 2,,,.. Anillos con cuerdas En este caso se puede asociar cada vértice con un triángulo equilátero obteniéndose el odelo plano de la Figura 3-7. i+a 3-a Fig. 3-7 Coo antes, los autoorf isos i». i+ a para a par y i > i+q para ß ipar, periten el estudio de estos grafos desde cualquier vértice, lo hareos desde el 0. Puesto que a, b, c son ipares, estos grafos

46 40 son bipartitos. En consecuencia, los vértices de V_ están a distancia par del vértice O, ientras que los vértices de V 1 están a distancia ipar, y el orden áxio, de -L JC un grafo con diáetro k es el doble del núero de vértices en V n (cuando k es ipar) o V.. (cuando k es par) a distancia $ k-1 del vértice 0. Entonces, coo existen 3p vértices a distancia p(>l) del vértice O, obteneos con p=2n, 1 3k 2 + l,= 2(1+ 2 6n) = (1+1)» (3.14) k n=l 2 cuando k=21+l es ipar y, con p=2n-l, 1 2 3k, = 2( I 3(2n-l))= 61 = ^- 2 (3.15) k n=l 2 cuando k=21 es par. Deostrareos que esta cota es alcanzable para k ipar, pero no para k par k>2. Observeos, en prier lugar, que dentro de V n o V 1 usaos pasos ± A, ± B, ± C, donde A=b-c, B=c-a, C=a-b (od ) (3.16) están relacionados por A+B+C=0 (od ) (3.17) El grafo es conexo si y sólo si todos los vértices pares pueden alcanzarse desde el vértice O y esto sucede si y sólo si (A,B,C,)=(A,B,)=(b-c,c-a,)=2 (3.18) Esto sugiere utilizar los resultados de la sección Cuando k=21+l es posible alcanzar los vértices pares coo áxio en 1 A, B o C pasos, es decir, coo áxio en 21 a, b o c pasos, y entonces, un paso adicional (por ejeplo c) perite obtener todos los vérti-

47 41 ces ipares. Coo en la sección se puede toar, por ejeplo: A=b-c=2( 31-t-l), B=c-a=2, C=a-b = -2 ( 31+2 ) y toando c=l resulta a=-l, b=61+3=3k, c=l El hecho que, adeás de c = l, se pueda toar siepre a=-l nos dice que estos grafos son anillos con cuerdas. Por ejeplo, para k=3 obteneos el grafo de Heawood de la Fiaura 3-8. O Fig Análogaente, cuando k=21 se puede utilizar el últio paso para alcanzar todos los vértices pares a partir de los vértices ipares que están a distancia k-l=21-l. Para usar el odelo de adyacencia hexagonal de la sección 3.2.2, asociaos un hexágono a cada par de vértices adyacentes j ev., j-cev n, ver Figura 3-9. El prier paso perite alcanzar los tres hexágonos correspondientes a j=a, j=b y j=c. Entonces, los 21-2 = 2(1-1} pasos adicionales se usan coo 1-1 pasos A, B o C para alcanzar los otros 31 hexágonos (Figura 3-9). La correspondiente baldosa tesela el plano, pero las ecuaciones para la distribución de los ceros son (ver Figura 3-10):

48 42 Fig. 3-9 j A - j B=0 (od k ) B - C=0 (od ra k ) (3.19) Entonces, las soluciones de (3.17) y (3.19) vienen dadas por: /k 2 /4 k 2 /4 (A,B,C) = (a,ß,y)2 -k/2 -k/2 (3.20) \k/2 k/2 -k / de donde, para cualesquiera a, 8 y y» se tiene (A,B,C,)=k y, por tanto, la cota, 3k 2 no es alcanzable para k>2. Fig. 3-10

49 43 En este caso, el ejor resultado se obtiene al usar la baldosa de la Figura 3-11, obtenida supriiendo una fila de hexágonos adyacentes, que corresponde a =(3/2)K -k. Las ecuaciones para la distribución de ceros son ahora: ^ A -(~ -DBEO (od ) l B - j C=0 (od ) (3.21) Fig y sus soluciones vienen dadas por (A,B,C) = (a,ß,y)2 '(k 2-2k)/4 k 2 /4 k 2 /4 k -k/2 -k/2 (k/2)-l k/2 -(k-1)/ (3.22) para a, ß Y Y enteros cualesquiera. Por ejeplo, para a=0, ß=-2 y Y = l obteneos los valores A=b-c=-3k-2, B=c-a=3k, C=a-b=2 que trivialente satisfacen (3.18). Toando a=l se tiene a=l, b=-l, c=3k+i y los grafos resultantes son anillos con cuerdas. Estos valores de ejoran los dados en 2, que son nu=k +2k-6 para k ipar y >5, y i, = k +3k-12 para k par y»8. Finalente rearqueos que una involución ß-i, ß ipar, perite, por identificación de V_ y

50 44 V-, la construcción de grafos (no regulares) con orden /2 y diáetro k-1, ver l6 para esta técnica Grafos BG(a,b,c) Coo en el apartado anterior, consideraos grafos con un núero par de vértices,v=v UV..,V ={o, 2,.., 2} y V 1 ={l,3,...,-l}. Cada vértice i e V_ es adyacente a los vértices i-a, i+b, i-c, i+c (od ) y cada vértice jev. es adyacente a los vértices j +a, j-b, j+c, j-c (od ), para a, b y c ipares distintos. Por tanto, estos grafos son bipartitos de grado cuatro. Para asociar estos grafos con teselaciones del plano, representaos cada vértice por un triángulo equilátero, coo se uestra en la Figura O V r Fig Observando el caino de la Figura 3-13, veos que los pasos a, b y c deben cuplir la condición 2(a+b+c)5(3 (od ) (3.23) es decir, a+b+c=0 (od /2). Puesto que a, b y c son ipares, /2 tabién debe ser ipar y

51 45 para algún entero y a+b+c = (2y+l) j (3.24) Fig A partir de todos los vértices pares, y utilizando, por ejeplo, la adyacencia i > i+b, alcanzaos todos los vértices ipares. Entonces, la existencia de un caino entre cualquier par de vértices pares es suficiente para que el grafo sea conexo. La condición necesaria y suficiente para que esto ocurra es cd(±(a+b), ±a±c, ±b±c, ±2c, )=2 (3.25) Sea (a,ß)= cd(a,ß). Puesto que (a,ß 5 / (a-tß.a-s) / ( 2a, 2ß )=2(a,ß ) teneos, para a y ß ipares (a + ß,a-ß) = 2(a, ß) Por tanto, la condición (3.25) es equivalente a (2a,2b,2c,)=2 ó (a,b,c,/2)=l (3.26) (Usando (3.24), esta condición es equivalente a ( a,b,/2 ) =1, y, coo a, b y c son ipares, a (a,b,c,)=l). Debido a los autoorfisos i-»i+a y i»ß-i, para a par y ß ipar, estos grafos son vértice-siétricos. (Realente, el últio autoorfiso es una polaridad, es decir, un autoorfiso involutivo de un grafo bipartito que intercabia los dos conjuntos de vértices). Esto perite el estudio del diáetro desde cualquier vértice, coo

52 46 en las failias anteriores, lo hareos desde el 0. Puesto que estos grafos son bipartitos, los vértices de V están a distancias pares del vértice O, ientras que los vértices de V.. están a distancias ipares del 0. Por lo tanto, el orden áxio, de un grafo con diáetro k es el doble del núero de vértices de V Q ( cuando k es ipar) o V. (cuando k es par) a distancia < k-1 del vértice 0. El núero de vértices a distancia p=l,2,3,4,5,.. del vértice O es coo áxio 4,12,20,26,33,, ver Figura 3-14, esto es 7p-2, salvo para p = l,3 que se alcanzan 4 y 20 vértices respectivaente. \ Fig Entonces, para k>3 obteneos: - Cuando k=21+l, con p=2n 1 -,, = 2( 1 + (7(2n)-2)) = 141^ = K n=l 7k 4k+l (3.27)

53 47 - Cuando k=21, con p=2n-l, = 2 Z (7(2n-l)-2) = * n=l 7k 2-4k (3.28) Observeos que v/2 es ipar si k es ipar y si k =2 (od 4). Vereos que en estos dos casos se alcanzan las cotas anteriores. Grafos con diáetro ipar La Figura 3-15 uestra la teselación del plano que se obtiene en este caso Fig son Las ecuaciones para la distribución de ceros k a + k b = O ( od, (3k-l)a+(3k-2)b-c = O (od R ) (3.29) que, junto con las condiciones ( 3.24) y (3.26) caracterizan los valores adisibles de a, b y c. Heos de hallar soluciones del sistea (.3.29),

54 48 (3.24): k-l 3k-2-1 \ / a \ b = í ' \ S, \J \2Y+1/ para ciertos enteros a, B y y Puesto que el deterinante de la atriz de coeficientes es,, obteneos / a \ 6k+2,, b 6k -, -, k K - (3.30) -2 y, esto es (od, ) a= (-6k+2)a+ k, b = 6ka- k, c = -2o(+ k Eligiendo oi=-(,+2 )/4, obteneos los valores 1C a =!5i + 3k-l, b= -3k, c= 1 2 que trivialente satisfacen (3.26). En particular, para k=3 el grafo óptio tiene =26 vértices, y puede obtenerse con a = -5, b = -9 y c = l, ver Figura Este grafo pertenece a una failia general de grafos asociados con geoetrías finitas, ver Delore 15, y es el ayor grafo bipartito conocido, de grado cuatro y diáetro tres.

55 49 22 Fig Grafos con diáetro par En prier lugar consideraos el caso k=2 (od 4), donde la cota, = {7k -4k)/2 es alcanzada. La Figura 3-17 uestra la correspondiente teselación del plano. Las ecuaciones para la distribución de ceros son:,,. _ k a + k b = O (od k ) a + (k-l)b - c = O (od (3.31) Resolviendo el sistea (3.31),(3.24) obteneos, por ejeplo, los valores,.., _,, a= -, b= k-4k+2, c= k +k los cuales satisfacen (3.26). Cuando k=4 la cota dada no es alcanzable ya que,/2 es par. En este caso, el ejor resultado se