Professional Documents
Culture Documents
1.1. Deniciones
Conceptualmente, un grafo est formado por vrtices y aristas que conectan los vrtices. Ejemplo.
Formalmente, un grafo es un par de conjuntos (V, E ), donde V es un conjunto de vrtices y E es un conjunto de aristas, formado por pares de vrtices. E es un multiconjunto, en otras palabras, sus elementos pueden aparecer ms de una vez, de manera que cada elemento tenga una multiplicidad. A menudo, se etiquetan los vrtices con letras (por ejemplo: a, b, c, . . . o v1 , v2 , . . . ) o nmeros 1, 2, . . . A lo largo de este texto, se etiquetarn los elementos de V de la segunda manera. Ejemplo. (Continuando del ejemplo previo) Se etiquetan los vrtices como se observa:
v1 v5
v2
v3
v4
Se tiene V = {v1 , . . . , v5 } para los vrtices y E = {(v1 , v2 ), (v2 , v5 ), (v5 , v5 ), (v5 , v4 ), (v5 , v4 )} para las aristas. Similarmente, se suele etiquetar las aristas con letras (por ejemplo: a, b, c, . . . o e1 , e2 , . . . ) o nmeros 1, 2, . . . por simplicidad. 1
Nota. Las dos aristas (u, v ) y (v, u) son las mismas. En otras palabras, el par no es ordenado. Ejemplo. (Continuando del ejemplo previo) Se etiquetan las aristas como se observa:
v1 e1 e2 v2
As, E = {e1 , . . . , e5 }. Se tienen las siguientes terminologas:
e3 v5 e4 v4 e5
v3
1. Los dos vrtices u y v son vrtices nales de la arista (u, v ). 2. Las aristas que tienen los mismos vrtices nales son paralelas. 3. Una arista de la forma (v, v ) es un lazo. 4. Un grafo es simple si no tiene aristas paralelas ni lazos. 5. Un grafo sin aristas (i.e. E es vaco) es vaco. 6. Un grafo sin vrtices (i.e. V y E son vacos) es un grafo nulo. 7. Un grafo con slo un vrtice es trivial. 8. Dos aristas son adyacentes si ambas tienen en comn un vrtice nal. 9. Dos vrtices u y v son adyacentes si ambos son conectados por una arista, en otras palabras, (u, v ) es una arista. 10. El grado del vrtice v , escrito como d(v ), es el nmero de aristas con v como vrtice nal. Por convencin, se cuenta un lazo dos veces y aristas paralelas contribuyen independientemente. 11. Un vrtice terminal es un vrtice cuyo grado es 1. 12. Una arista que tiene un vrtice terminal como vrtice nal es una arista terminal. 13. Un vrtice aislado es un vrtice cuyo grado es 0. Ejemplo. (Continuando del ejemplo previo) v4 y v5 son vrtices nales de e5 . e4 y e5 son paralelos. e3 es un lazo. El grafo no es simple.
El menor grado de los vrtices de un grafo G es denotado (G) (= 0 si existe un vrtice aislado en G). Similarmente, se escribe (G) como el mayor grado de los vrtices en G. Ejemplo. (Continuando del ejemplo previo) (G) = 0 y (G) = 5. Nota. En este texto, slo se considerarn grafos nitos , i.e. V y E son conjuntos nitos. Dado que cada arista tiene dos vrtices nales, se tiene Teorema 1.1. El grafo G = (V, E ), donde V = {v1 , . . . , vn } y E = {e1 , . . . , em }, satisface
n
d(vi ) = 2m.
i=1
Corolario. Cada grafo tiene un nmero par de vrtices de grado impar. Demostracin. Si los vrtices v1 , . . . , vk tienen grados impares y los vrtices vk+1 , . . . , vn tienen grados pares, entonces (Teorema 1.1) d(v1 ) + + d(vk ) = 2m d(vk+1 ) d(vn ) es par. Por lo tanto, k es par. Ejemplo. (Continuando del ejemplo previo) Ahora la suma de los grados es 1 + 2 + 0 + 2 + 5 = 10 = 2 5. Hay dos vrtices de grado impar, estos son v1 y v5 . Un grafo simple que contiene cada arista posible entre todos los vrtices es llamado un grafo completo. Un grafo completo con n vrtices es denotado como Kn . Los primeros cuatro grafos completos son dados como ejemplos:
K1
K2
K3
K4
v2 e1 G2: e2 e4 e5 v5 e6
y algunos de sus subgrafos son
v4
v1
e3
v3
v2 e1 G1:
v1
v2 e1 G1: e2 e4 e5 v5 e6 v4
v1
v3
G1: e5 v5 e6
y
v1
v3
v5 G1: e6
El subgrafo de G = (V, E ) inducido por el conjunto de aristasE1 E es: G1 = (V1 , E1 ) =def. E1 , donde V1 consiste de cada vrtice nal de las aristas de E1 . Ejemplo. (Continuando de arriba) Del grafo original G, las aristas e2 , e3 y e5 inducen el subgrafo
v2 e2,e3,e5:
e2 e5 v5
v1
e3
v3
El subgrafo de G = (V, E ) inducido por el conjunto de vrtices V1 V es: G1 = (V1 , E1 ) =def. V1 , donde E1 consiste de cada posible arista entre los vrtices de V1 . Ejemplo. (Continuando del ejemplo previo) Del grafo original G, los vrtices v1 , v3 y v5 in-
v1,v3,v5: v1 e3 v3 e5 v5 e6
Un subgrafo completo de G es llamado un clique de G.
1.2.
Nota. Existen muchas variaciones diferentes de las siguientes terminologas. Se aadirn a las deniciones dadas aqu. Una ruta en el grafo G = (V, E ) es una secuencia nita de la forma vi0 , ej1 , vi1 , ej2 , . . . , ejk , vik , que consiste en una alternacion de vrtices y aristas de G. La ruta comienza en un vrtice. Los vrtices vit1 y vit son vrtices nales de ejt (t = 1, . . . , k ). vi0 es el vrtice inicial y vik es el vrtice nal. k es la longitud de la ruta. Una ruta de longitud cero es slo un vrtice vi0 . Est permitido visitar un vrtice o ir a travs de una arista ms de una vez. Una ruta es abierta si vi0 = vik . En otro caso, es cerrada. Ejemplo. En el grafo
e1 G: e10 e9 v5 v6
la ruta
v2
e2
v1 e8 e7 e5 e6 v4 e3
v3
e4
Una ruta es un sendero si ninguna arista es visitada ms de una vez. Entonces, el nmero de veces que los vrtices u, v pueden aparecer como vrtices consecutivos en un sendero es a lo mucho el nmero de aristas paralelas conectando u y v . Ejemplo. (Continuando del ejemplo previo) la ruta en el grafo v1 , e8 , v5 , e9 , v1 , e1 , v2 , e7 , v5 , e6 , v4 , e5 , v4 , e4 , v4 es un sendero. Un sendero es un camino si ningn vrtice es visitado ms de una vez excepto posiblemente si los vrtices inicial y nal son los mismos. Un camino cerrado es un circuito. Por simplicidad, se asumir de ahora en adelante que un circuito es no vaco, i.e. su longitud 1. Se identican los caminos y circuitos con los subgrafos inducidos por sus aristas. Ejemplo. (Continuando del ejemplo previo) la ruta v2 , e7 , v5 , e6 , v4 , e3 , v3 es un camino y la ruta v2 , e7 , v5 , e6 , v4 , e3 , v3 , e2 , v2 es un circuito. La ruta que comienza en u y termina en v es llamado una ruta uv . u y v estn conectados si existe una ruta uv en el grafo (entonces existe adems un camino uv !). Si u y v estn conectados y v y w estn conectados, entonces u y w tambin estn conectados, i.e. si existe una ruta uv y una ruta v w, entonces existe tambin una ruta uw. Un grafo es conexo si todos los vrtices estn conectados entre s. (El grafo trivial es conexo por convencin.) Ejemplo. El grafo
es no conexo. El subgrafo G1 (no nulo) del grafo G es un componente de G si 1. G1 es conexo y 2. O G1 es trivial (un slo vrtice aislado de G) o G1 es no trivial y G1 es el subgrafo inducido por aquellas aristas de G que tienen un vrtice nal en G1 . Componentes diferentes del mismo grafo no comparten vrtices comunes por el siguiente teorema. Teorema 1.2. Si el grafo G tiene un vrtice v que est conectado a un vrtice del componente G1 de G, entonces v es tambin un vrtice de G1 . Demostracin. Si v est conectado al vrtice v de G1 , entonces existe una ruta en G v = vi0 , ej1 , vi1 , . . . , vik1 , ejk , vik = v . Dado que v es un vrtice de G1 , entonces (condicin #2) ejk es una arista de G1 y vik1 es un vrtice de G1 . Se contina este proceso y se observa que v es un vrtice de G1 .
G:
e5 v3 e1 v1 v2 G1 G2 G3 v6 v4 e3 e4 e6 v5 G4 v7 e7 v8
e2
Los componentes de G son G1 , G2 , G3 y G4 . Teorema 1.3. Cada vrtice de G pertenece a exactamente un componente de G. Similarmente, cada arista de G pertenece a exactamente un componente de G. Demostracin. Se elije un vrtice v en G. Se hace lo siguiente cuantas veces sean posibles comenzando con V1 = {v }: () Si v es un vrtice de G tal que v / V1 y v est conectado a algn vrtice de V1 , entonces V1 V1 {v }. Como existe un nmero nito de vrtices en G, el proceso culmina eventualmente. El ltimo V1 induce un subgrafo G1 de G que es el componente de G que contiene a v . G1 es conexo porque sus vrtices estn conectados con v por lo que tambin estn conectados entre s. La condicin #2 se sostiene porque no se puede repetir (). Por el Teorema 1.2, v no pertenece a ningn otro componente. Las aristas del grafo son incidentes a los vrtices nales de los componentes. El Teorema 1.3 divide un grafo en componentes distintos. La prueba del teorema provee de un algoritmo para realizarlo. Se tiene que repetir lo que se hizo en la prueba mientras se tengan vrtices libres que no pertenezcan a ningn componente. Cada vrtice aislado forma su propio componente. Un grafo conexo slo tiene un componente, por cierto, l mismo. Un grafo G con n vrtices, m aristas y k componentes tiene el rango (G) = n k. La nulidad del grafo es (G) = m n + k. Se observa que (G) 0 y (G) + (G) = m. Adems, (G) 0 porque Teorema 1.4. (G) m Demostracin. Se usar el segundo principio de induccin (induccin fuerte) para m. Base de la induccin: m = 0. Los componentes son triviales y n = k . Hiptesis de la induccin: El teorema es verdadero para m < p. (p 1) Enunciado de la induccin: El teorema es verdadero para m = p. Prueba del enunciado de la induccin: Se elige un componente G1 de G el cual tiene al menos una arista. Se etiqueta esa arista como e y los vrtices nales como u y v . Tambin se etiqueta G2 como el subgrafo de G y G1 obtenido al remover la arista e de G1 (pero no los vrtices u y v ). Se etiqueta G como el grafo obtenido al remover la arista e de G (pero no los vrtices u y v ) y sea k el nmero de componentes de G . Se tienen dos casos:
y ningn otro camino. Por esto, existen dos componentes en G2 y k = k + 1. Se hace uso de la Hiptesis inductiva en G : (G ) = n k = n k 1 m 1. Por lo tanto n k m. Este tipo de resultados combinatorios conllevan muchas consecuencias. Por ejemplo: Teorema 1.5. Si G es un grafo conexo y k 2 es el camino de mayor longitud, entonces cualesquiera dos caminos en G con longitud k comparten al menos un vrtice comn. Demostracin. Se considerar slo el caso donde los caminos no son circuitos (otros casos puede ser probados de manera similar). Considrense dos caminos de G con longitud k : vi0 , ej1 , vi1 , ej2 , . . . , ejk , vik y
, vi , ej , . . . , ej , vi vi0 , ej1 1 2 k k
(camino p1 ) (camino p2 ).
Tmese en cuenta la hiptesis contraria: los caminos p1 y p2 no comparten ningn vrtice comn. Como G es conexo, entonces existe un camino vi0 vik . Luego, se encuentra al ltimo vrtice en este camino el cual est tambin en p1 (al menos vi0 est en p1 ) y se etiqueta ese vrtice cmo vit . Se encuentra el primer vrtice del camino vit vik el cual est tambin en p2 (al menos vik est en p2 ) y se etiqueta ese vrtice como vis . De esta manera, se obtiene un camino vit vis , . . . , ej , vi . vit , ej1 s La situacin es como sigue: vi0 , ej1 , vi1 , . . . ,vit , ejt+1 , . . . , ejk , vik ej1 . . . ej
, vi , . . . ,vi , ej , vi vi0 , ej1 , . . . , ejk s 1 s+1 k
De esto se obtienen dos caminos: vi0 vik y vi0 vik . Ambos casos son: t s: Ahora la longitud del camino vi0 vik es k + 1. 1 t < s: Ahora la longitud de el camino vi0 vik es k + 1.
De ahora en adelante, el smbolo signicar contradiccin. Si se obtiene una contradiccin al proceder de las suposiciones, la hiptesis debe ser errnea.
1
10
Teorema 1.6. Un grafo no contiene ningn circuito exactamente cuando no existen lazos y existe a lo mucho un camino entre cualquier par de vrtices. Demostracin. Primero se asume que G no contiene circuitos; entonces, no existen lazos en G. Asumiendo la hiptesis contraria: existen dos caminos diferentes entre vrtices distintos u y v en G: u = vi0 , ej1 , vi1 , ej2 , . . . , ejk , vik = v (camino p1 ) y
, vi , ej , . . . , ej , vi = v u = vi0 , ej1 1 2
(camino p2 )
(se tiene i0 = i0 y ik = i ), donde k . Se elige el menor ndice t tal que vit = vit . Existe tal t porque, de otra manera, 1. k > y vik = v = vi = vi ( ) o 2. k = y vi0 = vi0 , . . . , vi = vi . Por consiguiente, habran dos aristas paralelas entre dos vrtices consecutivos en el camino. Esto implicara la existencia de un circuito entre dos vrtices en G.
p1 v vi
t1
vi p2
Se elige el menor ndice s tal que s t y vis est en el camino p2 (al menos vik est en p2 ). Se elige un ndice r tal que r t y vir = vis (ste existe porque p1 es un camino). Entonces,
, . . . , ej , vi vit1 , ejt , . . . , ejs , vis (= vir ), ejr (= vit1 ) t t 1
es un circuito. (Vericar el caso t = s = r.) Ahora se procede a probar la implicacin reversa. Si el grafo no contiene lazos y y ningn par de vrtices distintos tienen dos caminos diferentes entre ellos, entonces no existe ningn circuito. Por ejemplo, si vi0 , ej1 , vi1 , ej2 , . . . , ejk , vik = vi0 es un circuito, entonces k = 1 o ej1 es un lazo ( ), o k 2 y los dos vrtices vi0 y vi1 estn conectados por dos caminos distintos vi0 , ej1 , vi1 y vi1 , ej2 , . . . , ejk , vik = vi0 ( ).
11
1.3.
El complemento del grafo simple G = (V, E ) es el grafo simple G = (V, E ), donde las aristas en E son exactamente las aristas fuera de G. Ejemplo.
v2 G:
v3 v5
v1
v4
v2 _ G: v1
v3 v5 v4
Ejemplo. El complemento del grafo completo Kn es el grafo vaco con n vrtices. Obviamente, G = G. Si los grafos G = (V, E ) y G = (V , E ) son simples y V V , entonces el grafo residual es G G = (V, E ), donde E contiene aquellas aristas de G que no estn en G (grafo simple). Ejemplo.
G:
G':
G G':
Aqu se muestran algunas operaciones binarias entre dos grafos simples G1 = (V1 , E1 ) y G2 = (V2 , E2 ): La unin es G1 G2 = (V1 V2 , E1 E2 ) (grafo simple).
12
La diferencia simtrica G1 G2 es el subgrafo de G1 G2 inducido por el conjunto de aristas E1 E2 (grafo simple). Nota! La operacin entre conjuntos es la diferencia simtrica, i.e. E1 E2 = (E1 E2 ) (E2 E1 ). Dado que la diferencia simtrica es un subgrafo inducido por un conjunto de aristas, no existen vrtices aislados. Las tres operaciones son conmutativas y asociativas. Ejemplo. Para los grafos
v1 G1: v3 e1
e2
v2 e3 e5 v4 v5 G2:
v1 e1 v3 e7 v6 e6
v7
e4
se tiene
v1 G1 G2: v3 e1
e2 e6 e4 e7
v2 e3 e5 v4 v6 v5 v7
v1 G1 G2: v3 e1 G1 G2:
v1
e2
v2 e3 e4 e6 e5 v4 v6
v3
e7
Nota. Las operaciones , y tambin pueden ser denidas para grafos ms generales que grafos simples. Naturalmente, se debe realizar un seguimiento de la multiplicidad de las aristas: : La multiplicidad de una arista en G1 G2 es la mayor de sus multiplicidades en G1 y G2 . : La multiplicidad de una arista en G1 G2 es la menor de sus multiplicidades en G1 y G2 .
13
: La multiplicidad de una arista en G1 G2 es |m1 m2 |, donde m1 es su multiplicidad en G1 y m2 es su multiplicidad en G2 . (Se asume multiplicidad cero a la ausencia de aristas.) Adems, se puede generalizar la operacin de diferencia a todo tipo de grafos si se toma en cuenta la multiplicidad. La multiplicidad de una arista e en la diferencia G G es m2 = m1 m1 m2 , si m1 m2 0, si m1 < m2 (tambin conocida como diferencia propia),
donde m1 y m2 son las multiplicidades de e en G1 y G2 , respectivamente. Si v es un vrtice del grafo G = (V, E ), entonces G v es el subgrafo de G inducido por el conjunto de vrtices V {v }. Se llama a esta operacin eliminacin de un vrtice. Ejemplo. (Continuando del ejemplo previo)
v1 G1 v4: v3 e1 e3
v2 v5
Similarmente, si e es una arista de el grafo G = (V, E ), entonces G e es grafo (V, E ), donde E es obtenido removiendo e de E . Esta operacin es conocida como eliminacin de una arista. Se remarca el hecho de que no se est hablando de remover una arista como en Teora de Conjuntos, porque la arista puede tener multiplicidad mayor a uno y slo se remueve la arista una vez. Ejemplo. (Continuando del ejemplo previo)
v1 G1 e5: v3 e1
e2
v2 e3 v5
e4
v4
Si u y v son dos vrtices distintos del grafo G = (V, E ), entonces se puede cortocircuitar los dos vrtices u y v y obtener el grafo (V , E ), donde V = (V {u, v }) {w} (w / V es el nuevo vrtice) y E = (E {(v , u), (v , v ) | v V }) {(v , w) | (v , u) E o (v , v ) E } {(w, w) | (u, u) E o (v, v ) E } (Ntese que el par de vrtices correspondientes a una arista no es ordenado). Nota! Se debe mantener la multiplicidad de las aristas. En particular, la arista (u, v ) se vuelve un lazo.
14
v1
v2 v5
en el grafo G = (V, E ), contraer la arista e = (u, v ) (no un lazo) es la operacin en la cual primero se remueve e y entonces se cortocircuita u y v . (Contraer un lazo simplemente elimina ese lazo.) Ejemplo. (Continuando del ejemplo previo) Se contrae la arista e3 en G1 removiendo primero e3 y luego cortocircuitando v2 y v3 .
15
v1 e2 e1 v3
v2 v5 e5 v4
e4
v1 e2 v5
v4
Nota. Si se restringe el cortocuito y la contraccin a grafos simples, entonces se eliminan los lazos y todas excepto una arista paralela entre los vrtices nales del resultado.
1.4.
Corte
Un vrtice v de un grafo G es un vrtice de corte o una articulacin de G si el grafo G v consiste de un mayor nmero de componentes que G. Ejemplo. v es un vrtice de corte del grafo mostrado debajo:
cut vertex
G:
v G v:
(Nota! Generalmente, el nico vrtice de un grafo trivial no es un vrtice de corte, ni es un vrtice aislado.) Un grafo es separable si es no conexo o si existe al menos un vrtice de corte en el grafo. De otra manera, el grafo es no separable. Ejemplo. El grafo G en el ejemplo previo es separable. Ejemplo. El grafo mostrado debajo es no separable.
16
Un bloque del grafo G es un subgrafo G1 de G (no un grafo nulo) tal que G1 es no separable, y si G2 es cualquier otro subgrafo de G, entonces G1 G2 = G1 o G1 G2 es separable (pinsese eso!). Ejemplo. El grafo mostrado debajo es separable:
cut vertex
Teorema 1.7. El vrtice v es un vrtice de corte del grafo conexo G si y slo si existen dos vrtices u y w en el grafo G tal que (i) v = u, v = w y u = w, pero (ii) v est en cada camino uw. Demostracin. Primero, considrese el caso en que v es vrtice de corte de G. Entonces, G v es no conexo y existen al menos dos componentes G1 = (V1 , E1 ) y G2 = (V2 , E2 ). Se eligen u V1 y w V2 . El camino uw est en G porque ste es conexo. Si v no est en este camino, entonces el camino est tambin en G v ( ). El mismo razonamiento puede ser usado para todos los caminos uw en G. Si v est en cada camino uw, entonces los vrtices u y w no estn conectados en G v .
17
Demostracin. Se emplear induccin para el grafo G con n vrtices. Base de la induccin: El caso n = 2 es obviamente verdadero. Hiptesis de la induccin: El teorema es vlido para n k . (k 2) Enunciado de la induccin: El teorema es vlido para n = k + 1. Prueba del enunciado de la induccin: Si no existen vrtices de corte en G, entonces es obvio. De otra manera, considrese un vrtice de corte v de G. Sean G1 , . . . , Gm los componentes de G v (as m 2). Cada componente de Gi cae en uno de los dos siguientes casos: 1. Gi es trivial, as que el nico vrtice de Gi es un vrtice terminal o un vrtice aislado de G pero no es un vrtice de corte de G. 2. Gi es no trivial. La hiptesis de la induccin dice que existen dos vrtices u y w en Gi los cuales no son vrtices de corte de Gi . Si v y u (respectivamente v y w) no son adyacentes en G, entonces u (respectivamente w) no es un vrtice de corte en G. Si ambos v y u, as como u y w, son adyacentes en G, entonces u y w no pueden ser vrtices de corte de G. Un conjunto de corte del grafo conexo G = (V, E ) es un conjunto de aristas F E tal que 1. G F (remover las aristas de F una por una) es no conexo, y 2. G H es conexo siempre que H F . Teorema 1.9. Si F es conjunto de corte del grafo conexo G, entonces G F tiene dos componentes. Demostracin. Sea F = {e1 , . . . , ek }. El grafo G {e1 , . . . , ek1 } es conexo (y as lo es G si k = 1) por la condicin #2. Cuando se remueven las aristas del grafo conexo, se obtienen a lo mucho dos componentes. Ejemplo. En el grafo
v2 e1 v1 e3
e2 e5
v4
e8
v6
e7 v5
e4
v3
e6
{e1 , e4 }, {e6 , e7 }, {e1 , e2 , e3 }, {e8 }, {e3 , e4 , e5 , e6 }, {e2 , e5 , e7 }, {e2 , e5 , e6 } y {e2 , e3 , e4 } son conjuntos de corte. Existen otros conjuntos de corte? En un grafo G = (V, E ), un par de subconjuntos V1 y V2 de V que satisface V = V1 V2 , V1 V2 = , V1 = , V2 = ,
es llamado un corte (o una particin) de G, denotado como V1 , V2 . Usualmente, los cortes V1 , V2 y V2 , V1 son considerados equivalentes.
18
El corte V1 , V2 = {aquellas aristas con un vrtice nal en V1 y el otro vrtice nal en V2 }. (Nota! Este conjunto de aristas no dene V1 y V2 nicamente as que no se puede usar esto para la denicin de un corte.) Usando la deniciones y conceptos previos, se puede probar fcilmente lo siguiente: 1. El corte V1 , V2 de un grafo conexo G (considerado como un conjunto de aristas) es un conjunto de corte si y slo si los subgrafos inducidos por V1 y V2 estn conectados, i.e. G V1 , V2 tiene dos componentes. 2. Si F es conjunto de corte del grafo conexo G y V1 y V2 son los conjuntos de vrtices de ambos components de G F , entonces V1 , V2 es un corte y F = V1 , V2 . 3. Si v es un vrtice de un grafo conexo (no trivial) G = (V, E ), entonces {v }, V {v } es un corte de G. Se sigue de esto que un corte es un conjunto de corte si el subgrafo (i.e. G v ) inducido por V {v } es conexo, i.e. si v no es a vrtice de corte. Si existe un corte V1 , V2 para el grafo G = (V, E ) de manera que E = V1 , V2 , i.e. el corte (considerado como un conjunto de arista) incluye cada arista, entonces el grafo G es bipartito. Ejemplo. El grafo
v4 v1 v5 v2 v6 v3 v7
es bipartito. V1 = {v1 , v2 , v3 } y V2 = {v4 , v5 , v6 , v7 }. Un grafo bipartito simple es llamado a grafo bipartito completo si no hay posibilidad de aadir ms aristas al conjunto de aristas V1 , V2 , i.e. el grafo contiene exactamente todas las aristas que tienen un vrtice nal en V1 y el otro vrtice nal en V2 . Si existen n vrtices en V1 y m vrtices en V2 , se lo denota como Kn,m (cf. grafo completo).
19
K1,1:
K1,2:
K2,1:
K2,3:
1.5.
Por un etiquetado de los vrtices del grafo G = (V, E ), se quiere referir a una correspondencia : V A, donde A es llamado el conjunto de etiquetas. Similarmente, un etiquetado de aristas es una correspondencia : E B , donde B es el conjunto de etiquetas . A menudo, estas etiquetas son nmeros; entonces, se las denomina como las ponderaciones o los pesos de los vrtices y las aristas. En un grafo ponderado, el peso de un camino es la suma de los pesos de las aristas recorridas. El etiquetado de los vrtices (respectivamente de aristas) es inyectivo si vrtices distintos (respectivamente aristas) tienen etiquetas distintas. Un etiquetado inyectivo es biyectivo si existen tantas etiquetas en A (respectivamente en B ) como el nmero de vrtices (respectivamente de aristas). Ejemplo. Si A = {0, 1} y B = R, entonces en el grafo,
el etiquetado de las aristas (pesos) es inyectivo pero no el etiquetado de los vrtices. Los dos grafos G1 = (V1 , E1 ) y G2 = (V2 , E2 ) son isomormos si el etiquetado de los vrtices de G1 biyectivamente con los elementos de V2 resulta G2 . (Nota! Se debe mantener la multiplicidad de las aristas.)
20
Ejemplo. Los grafos G1 y G2 son isomorfos y el etiquetado de vrtices vi vi y el etiquetado de aristas ej ej denen el isomorsmo.
v1 G1: v2 e1 e3
e2 e6 v3 e4
v5
v6 e7 e8 e10 e9 v7 v8
e5 v4
e'9 G2: v' 8 v'7 e' 10 e' 8 e' 6 v'6 e'7 v'5 e' 5 v' 4 e' 4 v'2 e' 1 e'3 v'3 e'2 v'1
Determinar si dos grafos son isomorfos o no es un problema muy conocido. ste diere signicativamente de otros problemas en Teora de Grafos y Anlisis de Redes . Adems, esto tiene mucho que ver con Teora de Grupos en lgebra. El problema es importante en la Teora de Complejidad Computacional. Por ejemplo, rerase a K BLER , J. & S CHNING , U. & T ORN , J.: The Graph Isomorphism Problem. Its Structural Complexity. Birkhuser (1993).