Ciclo euleriano

Un ciclo euleriano o circuito euleriano es aquel camino que recorre todas las aristas de un grafo tan solo una nica vez, siendo condicin necesaria que regrese al vrtice inicial de salida (ciclo = camino en un grafo donde coinciden vrtice inicial o de salida y vrtice final o meta). Una definicin ms formal lo define como: "aquel ciclo que contiene todas las aristas de un grafo solamente una vez". Se debe tener en cuenta que no importa la repeticin de vrtices mientras no se repitan aristas. En la teora de grafos, un camino euleriano es un camino que pasa por cada arista una y solo una vez. Un ciclo o circuito euleriano es un camino cerrado que recorre cada arista exactamente una vez. El problema de encontrar dichos caminos fue discutido por primera vez por Leonhard Euler, en el famoso problema de los puentes de Knigsberg. En relacin con los ciclos eulerianos Carl Hierholzer public la primera caracterizacin completa de los grafos eulerianos en 1873, probando matemticamente que de hecho los grafos eulerianos son exactamente aquellos grafos que estn conectados con todos y donde cada uno de los vrtices tienen grado par.
ndice
[ocultar]

1 Ciclos eulerianos 2 Historia 3 Casos 4 Teorema 5 Propiedades 6 Contando circuitos eulerianos en dgrafos 7 Vase tambin 8 Referencias

Ciclos eulerianos[editar editar cdigo]

Dibujar un sobre abierto, como el de la imagen, sin levantar el lpiz del papel ni pasar dos veces por el mismo sitio, es posible. En cambio, dibujar el sobre cerrado (prescindiendo del punto 5 y sus lneas adyacentes) es imposible.

En la imagen,

es un ciclo euleriano, luego es un grafo euleriano.

Un grafo es una representacin, un modelo, compuesto por un nmero determinado de vrtices (nodos) y un nmero de arcos (aristas) que los relacionan, cada arista o arco tiene la capacidad de relacionar dos nodos. La palabra ciclo se emplea en teora de grafos para indicar un camino cerrado en un grafo, es decir, en que el nodo de inicio y el nodo final son el mismo, como contrapartida un camino hamiltoniano es un camino que recorre todos los vrtices de un grafo sin pasar dos veces por el mismo vrtice. Si el camino es cerrado se dice un ciclo hamiltoniano. Si un grafo admite un ciclo euleriano, se denomina grafo euleriano.

Historia[editar editar cdigo]

Artculo principal: Problema de los puentes de Knigsberg.

El origen de la teora de los ciclos eulerianos fue planteado y resuelto por el propio Leonhard Euler en 1736 en un problema que tiene el nombre deSiete puentes de la ciudad de Knigsberg (Prusia oriental en el siglo XVIII y actualmente, Kaliningrado, provincia rusa) dando origen a la Teora de los grafos. El problema se enuncia de la siguiente forma: Dos islas en el ro Pregel, en Knigsberg se unen entre ellas y con la tierra firme mediante siete puentes. Es posible dar un paseo empezando por una cualquiera de las cuatro partes de tierra firme, cruzando cada puente una sola vez y volviendo al punto de partida?

Euler enfoc el problema representando cada parte de tierra por un punto y cada puente, por una lnea, uniendo los puntos que se corresponden. Entonces, el problema anterior se puede trasladar a la siguiente pregunta: se puede recorrer el dibujo sin repetir las lneas?

Euler demostr que no era posible puesto que el nmero de lneas que inciden en cada punto no es par (condicin necesaria para entrar y salir de cada punto, y para regresar al punto de partida, por caminos distintos en todo momento).

Casos[editar editar cdigo]

Dado un grafo conexo (no existen nodos aislados) y no dirigido exactamente dos vrtices de grado impar, entonces de que todos los vrtices tengan grado par, , si tiene

tiene un camino euleriano no cerrado. En caso

tiene un ciclo euleriano.

Teorema[editar editar cdigo]

Dado no orientado y conexo; si tiene nodos de grado impar, entonces puede ser

escrito como unin de 1) 2)

caminos (simples) distintos sobre los arcos y valen las siguientes expresiones:

es euleriano; con grado y par.

3) es decir

todos disjuntos (caminos distintos) en los arcos, con

va de un nodo de grado impar a un nodo de grado impar.

Un grafo admite un camino euleriano cuando tiene exactamente dos nodos de grado impar (conexos a los caminos).

Propiedades[editar editar cdigo]

Un grafo conexo y no dirigido se dice que es euleriano si cada vrtice tiene un grado par. Un grafo no dirigido es euleriano si es conexo y si se puede descomponer en uno con los vrtices disjuntos.

Si un grafo no dirigido G es euleriano entonces su grfo-lnea L(G) se dice que es tambin euleriano.

Un grafo dirigido es euleriano si es conexo y cada vrtice tiene grados internos iguales a los externos.

Un grafo no dirigido se dice que es susceptible de ser recorrido (en ingls: traversable) si es conexo y al menos dos vrtices en el grafo tienen grado impar.

Contando circuitos eulerianos en dgrafos[editar editar cdigo]

El nmero de circuitos euleriano en los dgrafos puede ser calculado mediante el teorema denominado en Ingls: BEST-theorem, procedente de los nombres de sus fundadores: de Bruijn, van Aardenne-Ehrenfest, Smith y Tutte. En dicho teorema se menciona que dado un dgrafo euleriano G := (V, E), el nmero ciclos eulerianos no-equivalentes en el grafo es

o equivalentemente

siendo C cualquier cofactor de la matriz laplaciana de G.

Euler y Hamilton Ciclo de Euler: Recorre todas las aristas del grafo sin repetir ninguna.
Teorema: Sea G un grafo (finito y conexo).

(a) la suma de las valencias de todos sus vertices es par. Es decir, hay un nmero par de vrtices impares.

(b) Si el nmero de vrtices impares es mayor que dos, el grafo no se puede recorrer [sin pasar dos veces por ninguna arista]. (c) Si el nmero de vrtices impares es cero, el grafo se puede recorrer. Podemos adems elegir por qu vrtice empezar, y el camino siempre ser cerrado (termina donde empez). (d) Si el nmero de vrtices impares es dos, el grafo se puede recorrer, pero el camino ha de empezar en uno de los dos vrtices impares y terminar en el otro. Matriz para recorrer el grafo sin repetir ningna arista

Matriz de Euler: A,B,C,D,B,E,D,F,E,C,A Se recorren todas sus aristas sin repetirlas

Ciclo de Hamilton: W.R. Hamilton (1805-1865) invent (y patent) un juego en el que se trataba de hacer un recorrido por 20 ciudades (vrtices) del mundo sin pasar por ninguna ms de una vez. Las ciudades estaban unidas por 30 aristas, formando el grafo de un icosaedro. Un circuito hamiltoniano, o de Hamilton, es un grafo G es un camino que comienza y termina en un mismo vrtice, pasando exactamente una vez por cada vrtice.

Ciclos de Hamilton

Aplicaciones al Ciclo Hamilton Un problema muy comn en el ciclo de Hamilton es el problema del viajero que es de optimizacin combinatoria. El numero finito (n!), exponencial de ciclos hamiltonianos hace que no podamos verificar si un ciclo hamiltoniano en particular sea minimo en tiempo acotado por un polinomio en n. Es decir que el problema del agente viajero es NPcompleto. Lo que se tiene que realizar en este problema es de que te dan una lista de ciudades y sus costos lo que tenemos que encontrar el recorrido mas corto posible que tiene que visitar todas las ciudades que se dan una sola ves.

5.4.1 PASES Y CIRCUITOS EULERIANOS (DE EULER)

Definicin: Un paseo de Euler (Euleriano) es un camino que incluye todos los lados - y por lo tanto todos los vrtices - de un grafo dado, una y solo una vez.

Definicin: Un circuito de Euler (Euleriano) es un circuito que incluye todos los lados - y por lo tanto todos los vrtices de un grafo dado una y solo una vez. Condiciones para saber si un grafo dado tiene un paseo o circuito de Euler. 1) Un grafo no dirigido G tiene un paseo de Euler si y solo si tiene cero o dos vrtices de valencia impar. 2) Si un grafo no dirigido G tiene un circuito de Euler entonces todo vrtice de G tiene valencia par, adems de ser conexo. 3) Si G es un grafo no dirigido con vrtices {v1, v2, ... , vn} y la suma (v1), (v2), ... , (vn) es par, entonces el grafo tiene un circuito de Euler.

4) Un grafo G tiene un camino de Euler de v impar.

w si y solo si v y w son los nicos vrtices de valencia

Ejemplo: Verificar si los siguientes grafos no dirigidos tienen un paseo o circuito de Euler.

Paseo de Euler Circuito de Euler

SI No

Si Si

Si No

Paseo de Euler Circuito de Euler

Si No

Si Si

Los resultados obtenidos para grafos no dirigidos pueden extenderse de inmediato para grafos dirigidos. Definicin: En un grafo dirigido el grado o valencia de entrada de un vrtice es el numero de lados incidentes hacia este y el grado de salida es el numero de lados que son incidentes desde este. Definicin: Un grafo dirigido tiene un circuito de Euler si y solo si es conexo y el grado de entrada de cualquier vrtice es igual a su salida. Definicin: Un grafo dirigido tiene un paseo de Euler si y solo si es conexo y el grado de entrada de cualquier vrtice es igual a su grado de salida con la posible excepcin de solo dos vrtices. Para estos dos vrtices el grado de entrada de uno de ellos es mayor que su grado de salida y el grado de entrada del otro es menor que su grado de salida. Ejemplo: Verificar si los siguientes grafos dirigidos tienen un paseo o circuito de Euler.

Paseo de Euler Circuito de Euler

Si Si

Si No

Cual es la diferencia entre circuito de Euler y circuito de Hamilton?

En matemticas un ciclo Hamiltoniano es el que pasa por todos los vrtices del ciclo sin repetirlos y no tiene por qu pasar por todas las aristas. Un ciclo Euleriano, en cambio, es aquel que pasa por todas las aristas sin repetirlas. En cambio s puede repetir los vertices. Un camino de Euler es un ciclo de Euler en el que no se tiene que recorrer el grafo completo, sino que solo se recorrre una parte de l con las mismas condiciones anteriores (no repite aristas...). Lo mismo con el Hamiltoniano.

GRAFOS EULERIANOS Y HAMILTONIANOS

Existen todava algunas familias de grafos que se derivan del concepto de grafos conexos. Este es el caso de los grafos eulerianos y los grafos hamiltonianos. Estas familias de grafos nos permiten resolver el famoso problema de los puentes de Knigsberg: cundo es posible hacer un recorrido de una figura (en este caso de un grafo mltiple) sin pasar dos veces por la misma lnea o por el mismo vrtice? En la fig. 3.10 tenemos dos grafos G1 y G2; es posible recorrer uno de ellos sin repetir ninguna lnea, pero el otro no. Cul es cul? Es evidente que el grafo G1 no puede ser recorrido sin repetir alguna de sus lneas, mientras que el grafo G2 s.

Fig 3.10 I. GRAFOS EULERIANOS Recorrido cerrado

Cubre todas las lneas de un grafo, comenzando y terminando en un mismo vrtice, recorriendo sin repeticin y en forma continua todas las lneas de un grafo G cualquiera. Cuando tal recorrido existe, se denomina euleriano y un grafo que se puede trazar mediante unrecorrido euleriano se llama grafo euleriano. En la fig. 3.11, G1 es obviamente un grafo euleriano; G2 no lo es, a pesar de que se puede trazar continuamente, ya que el recorrido comienza y termina en vrtices distintos; finalmente, G3 no es un grafo euleriano, porque no se puede trazar continuamente.

Fig. 3.11 Teorema 3.2 Diremos que un grafo G es la unin disjunta de ciclos, si podemos descomponer a G como la unin de ciclos que no tienen lneas en comn, aunque se permite que tengan, al menos, un vrtice en comn.

Fig. 3.12

En la fig. 3.12, el grafo se puede descomponer como la unin disjunta de los ciclos C = v1v2v3v4v5v6v1; C' = v1v7v5v1; C'' = v2v7v4v2; C''' = v3v8v9v3 y el recorrido euleriano para el grafo G viene dado por la secuencia de sus lneas 1, 2,..., 15. OBSERVACION 3.1.5: Esta descomposicin por lo general no es nica. El grafo de la fig. 3.11 admite otra descomposicin como unin disjunta de ciclos, por ejemplo, C = v1v2v7v1; C' = v3v4v2v3; C'' = v3v8v9v3; C''' = v7v4v5v7; C'''' = v5v1v6v5 . TEOREMA 3.2 Un grafo G conexo es euleriano si y slo si es la unin disjunta de ciclos.

Demostracin: Si G es euleriano, G admite un recorrido euleriano T. Como T es cerrado, T contiene un ciclo C. Sea T' el recorrido obtenido al eliminar en T las lneas de C. T' sigue siendo un recorrido cerrado, por lo tanto, contiene un ciclo C'. Repitiendo este proceso, obtenemos una descomposicin de G como la unin disjunta de los ciclos C, C'..., etc. Recprocamente, supongamos que G es una unin disjunta de ciclos. Sea C un ciclo cualquiera en G. Si entonces G es un ciclo y por lo tanto euleriano. Si existe un ciclo C' en G que tiene un vrtice v en comn con C (por hiptesis). Si G es la unin de C y C', entonces, comenzando en v trazamos C y luego C', obteniendo as un recorrido euleriano de G. Si la unin de C y C' no es todo G, existe un ciclo C'' que tiene algn vrtice v' en comn con C o con C', digamos por ejemplo con C'. Si G es la unin de C, C' y C'', entonces comenzando en v trazamos C, luego trazamos C' hasta llegar a v' y luego trazamos C'' hasta completar C', luego regresamos a v como ilustra el diagrama de la fig. 3.13. Fig. 3.13

As, obtenemos un recorrido euleriano de G. Si la unin de C, C' y C'' no es todo G, continuamos con este procedimiento hasta obtener un recorrido euleriano de G. COROLARIO 2: Un grafo conexo es euleriano si y slo si todos sus vrtices tienen valencia par. (Este teorema rige tambin para multigrafos). Demostracin: En un recorrido euleriano, cuando visitamos un vrtice, necesitamos al menos dos lneas distintas adyacentes al vrtice (una para llegar al vrtice y otra para salir de l), incluyendo al vrtice inicial, porque tenemos que regresar a l para concluir el recorrido. Esto significa, que cada vrtice contribuye con un nmero par de lneas y, por lo tanto, su valencia es par.

II. GRAFOS HAMILTONIANOS Cundo es posible hacer un recorrido en un grafo que pase por cada vrtice exactamente una vez y termine en el vrtice original? O en otras palabras, cundo un grafo tiene un ciclo cerrado que contenga a todos sus vrtices?

Cuando existe tal ciclo, lo llamaremos ciclo hamiltoniano y un grafo que posea un ciclo hamiltoniano se llama grafo hamiltoniano. Un ciclo puro Cp es evidentemente hamiltoniano; el grafo de la fig. 3.14 tambin. En efecto, el ciclo v1v2... v7v1 representa un ciclo hamiltoniano del grafo G.

Fig. 3.14

La Fig. 3.15 muestra que no hay ninguna relacin directa entre grafos eulerianos y hamiltonianos.

Fig. 3.15 Contrario al caso de los grafos eulerianos, para el caso de los grafos hamiltonianos no se conoce ninguna condicin necesaria y suficiente que los caracterice. Esto es lamentable porque en muchas aplicaciones es fundamental poder determinar si un grafo es hamiltoniano. Qu tan fuertemente conexo es un grafo? Una posible interpretacin de esta pregunta es analizar cuntas lneas o vrtices deberamos eliminar del grafo para convertirlo en no conexo. Introducimos a continuacin algunas definiciones que aclaran este punto. III. PUNTOS DE CORTE Y PUENTES Sea G un grafo conexo. Un vrtice en G se llama un punto de cortede G si G -

vi no es conexo. Un punto de corte de un grafo G no conexo es un punto de corte de alguna de sus componentes. Ahora bien, sea G un grafo conexo. Una lnea de G se llama puente de G si el grafo obtenido al eliminar xj no es conexo. Si G es un grafo no conexo, decimos que xj es un puente de G, si es un puente de una de las componentes de G. Ilustremos estos dos conceptos en la fig. 3.16. Ejemplo 9:

Fig. 3.16

- v4 y v6 son puntos de corte del grafo G. En este caso, stos son los nicos. - G tiene dos puentes, (v4, v5) y (v4, v6). A veces un grafo no tiene puntos de corte, por ejemplo el grafo Kn . Otras veces puede tener muchos puntos de corte, por ejemplo un camino Pn con n mayor o igual a 3 que une dos vrtices v, w como en la fig. 3.17. En este caso todo vrtice, excepto v y w, es punto de corte.

Fig. 3.17 El siguiente teorema nos dice que este ltimo ejemplo corresponde a un grafo con un nmero muy elevado de puntos de corte, a saber (n - 2) si el camino tiene n vrtices; ya que, todo grafo G conexo tiene que tener por lo menos dos vrtices que no son puntos de corte. TEOREMA 3.3 Todo grafo G conexo con ms de un vrtice tiene por lo menos dos vrtices que no son puntos de corte. Demostracin: (por induccin en el nmero de vrtices)

Sea n el nmero de vrtices del grafo G y Pn la proposicin: Todo grafo conexo con ms de dos vrtices tiene por lo menos dos vrtices que no son puntos de corte. En este caso nuestro punto de partida para la induccin es n = 2, luego P2 es verdadera, ya que el nico grafo G conexo con dos vrtices es y ninguno de los dos vrtices es punto de corte. Supongamos que todo grafo G conexo con menos de n vrtices (n > 2) tiene por lo menos dos vrtices que no son puntos de corte (hiptesis inductiva). Veamos que tambin se cumple para un grafo G conexo con n vrtices. Se presentan dos casos: CASO I. G no tiene puntos de corte. Si G no tiene puntos de corte, entonces el teorema se cumple automticamente, ya que el grafo (en este caso) tiene n vrtices con n > 2 que no son puntos de corte. CASO II.

G tiene, por lo menos, un punto v de corte. Si eliminamos este punto de corte v, el grafo G v est formado por las componentes conexas G1, G2,..., Gt de G - v. Ahora, el grafo G - v tiene (n - 1) vrtices y por lo tanto, se cumple la hiptesis inductiva, es decir, G - v tiene por lo menos dos puntos que no son de corte. Sin embargo, siguen existiendo dos posibilidades:

Caso II.1. Que para todo Gi= vi, con i entre 1 y t, entonces G sera una estrella K1,i , o sea, tendra la forma
de la fig. 3.17. En este caso, ninguno de los vrtices vi, con i entre 1 y t, es un punto de corte, y por lo tanto, el teorema se cumple.

Fig. 3.18 Caso II.2. Que alguna de las componentes Gi, con i entre 1 y t, tiene ms de dos vrtices. Sin perder generalidad, podemos decir que G1 tiene ms de un vrtice. Por la hiptesis inductiva, G1 tiene dos vrtices que no son puntos de corte de G1, digamos vi y vj.

- Caso II.2.1. Si ambos vrtices vi y vj son adyacentes a v, como lo muestra la fig. 3.18, vi y vj no pueden ser puntos de corte de G, porque al eliminar cualquiera de ellos no se desconecta el grafo.

Fig. 3.19 - CASO II.2.2. Si uno de los dos vrtices, digamos vi , no es adyacente a v en G, no puede ser punto de corte de G, como lo muestra la fig. 3.19. Por lo tanto, cada componente Gi, con i entre 1 y t, tiene por lo menos un punto de corte de G. Luego, existen a lo sumo t puntos de corte en G, entonces, como t est entre 2 y n, hay (n - t) puntos que no son de corte. Luego, Pn es verdadera.

Fig. 3.20

TEOREMA 3.4 v es un punto de corte en un grafo conexo G, si y slo si existen vrtices u y w,

ambos distintos de v, tales que todo camino que une a u con w pasa por v. Demostracin: Si v es punto de corte de G, G - v tiene por lo menos dos componentes G1, G2. Si elegimos un vrtice u en G1 y un vrtice w en G2, no hay camino alguno que una a u con w en G - v, pero s los hay en G, porque G es conexo. Recprocamente, si existen u y w distintos de v, tales que todo camino que una a u con w pasa por v, G - v tiene que ser no conexo.

TEOREMA 3.5 En un grafo conexo G una lnea x es un puente de G si y slo si existen vrtices u y w tales que todo camino que una a u con w contiene a x. Demostracin: Si x es un puente de G, G - x tiene por lo menos dos componentes conexas G1 y G2 (por definicin de puente). Tomando un vrtice u perteneciente a G1 y un vrtice w perteneciente a G2, no existe un camino que una a u con w en G - x, pero s lo hay en G, porque G es conexo. Por lo tanto, todos los caminos que unan a u con w deben pasar por x. Recprocamente, si existen vrtices u y w en G, no incidentes a x, tales que todo camino que una a u con w pase por x, entonces G - x tiene que ser no conexo. Podemos resumir los teoremas anteriormente vistos en los siguientes dos teoremas generales. TEOREMA 3.6 Sea v un vrtice cualquiera de un grafo conexo G; entonces los siguientes enunciados son equivalentes: (1) v es un punto de corte de G. (2) Existen vrtices u y w, diferentes de u, tales que v est en todo camino que va de u a w. (3) Existe una particin del conjunto de vrtices V - {v} en subconjuntos U y W, tales que, para cualquier par de vrtices u perteneciente a U y w perteneciente a W, el vrtice v est en todo camino (u, w). TEOREMA 3.7 Sea x una lnea cualquiera de un grafo conexo G; entonces los siguientes

enunciados son equivalentes: (1) x es un puente de G. (2) x no se encuentra en ciclo alguno de G (en caso de que G tenga ciclos). (3) Existen vrtices u y v del grafo G tales que la lnea x est en cada camino que una a u con v. (4) Existe una particin del conjunto de vrtices V en dos subconjuntos U y W, tales que para cualquier par de vrtices u perteneciente a U y w perteneciente a W, la lnea x est en todo camino que una a u y w.

IV. BLOQUES Una consecuencia inmediata del Teorema 3.5 es que, con la excepcin de K2, en un grafo conexo todo puente es incidente con un punto de corte y por lo tanto todo grafo conexo, excepto K2, que contiene un puente, contiene puntos de corte. El recproco de esta proposicin no se cumple, como se puede ver en el ejemplo de la fig. 3.20 (G contiene, al punto de corte v, pero no contiene puentes). Es fcil ver que, si una lnea pertenece a un ciclo de G, dicha lnea no puede ser un puente. Recprocamente, si la lnea x = ( vi, vj ) no pertenece a ciclo alguno de G, entonces para los vrtices vi y vj y el nico camino que los une consiste de la lnea x; y por lo tanto se cumple, trivialmente, que todo camino que una a vi con vj contiene a x. Por el Teorema 3.5, x es un puente.

Fig. 3.21

Con lo expuesto anteriormente queda demostrado el siguiente teorema: TEOREMA 3.8

Una lnea x es un puente en un grafo conexo G si y slo si x no pertenece a ciclo alguno de G. Hemos visto que existen grafos que no contienen puntos de corte ( Knpor ejemplo). Un grafo conexo con ms de un vrtice que no contiene puntos de corte se llama bloque. OBSERVACION 3.1.6:

Para p = 2, el nico bloque que existe es K2 . Este es un caso especial porque, aunque no tiene puntos de corte, tiene un puente. En todos los dems casos un bloque no puede contener puentes. Como ya habamos mencionado, la existencia de un puente implica, excepto en el caso de K2, la existencia de puntos de corte. El siguiente teorema nos da una caracterizacin de bloques para grafos con ms de dos vrtices. TEOREMA 3.9 Un grafo G con p mayor o igual a 3 es un bloque si y slo si cada par de vrtices de G pertenece a algn ciclo en G. Demostracin: Supongamos que G es tal que cada par de vrtices pertenece a algn ciclo comn en G. Evidentemente G es conexo. Si G no fuera un bloque, G tendra un punto de corte v y por el Teorema 3.4 deberan existir dos vrtices, vi y vj, tales que todo camino que una a vi con vjcontiene a v. Pero por hiptesis, vi y vj estn en algn ciclo de G y por lo tanto hay dos caminos entre y que no tiene vrtice alguno en comn. Evidentemente, v no puede pertenecer a ambos caminos, y por lo tanto, si eliminamos v, no se desconecta el grafo G. Luego, v no puede ser punto de corte (ver fig. 3.22). Recprocamente, supongamos que G es un bloque con p mayor o igual a 3, y sean vi y vj dos vrtices cualesquiera en G. Como G es conexo, debe existir por lo menos un camino que una a con . Adems, si hubiera uno solo, cada una de las lneas de ese camino sera un puente (por el Teorema 3.5) y como G es un bloque, l no tiene puentes y esto no puede ocurrir. Por lo tanto deben existir por lo menos dos caminos distintos que unan a vi con vj. Como G no tiene puntos de corte, los caminos no pueden tener un vrtice v en comn, ya que, por el Teorema 3.4, v sera un punto de corte (ver fig. 3.23).

Fig. 3.22

Fig. 3.23 Por lo tanto, debemos tener dos caminos que no tengan vrtices en comn, como en la fig. 3.24, lo cual inmediatamente nos dara un ciclo

Fig. 3.24 o debera haber tres caminos tales que cada dos de ellos tienen un vrtice distinto en comn (ver fig. 3.25).

Fig. 3.25

Fig. 3.26 Pero en este caso, como lo indica la fig. 3.26, tambin tenemos un ciclo que contiene a vi y vj. El siguiente teorema resume los resultados anteriormente vistos y otros aspectos importantes acerca de los bloques. TEOREMA 3.10 Sea G un grafo conexo con al menos tres vrtices; entonces los siguientes enunciados son equivalentes: (1) G es un bloque. (2) Cada dos vrtices cualesquiera de G estn en un ciclo comn.

(3) Cada vrtice o lnea de G est en un mismo ciclo. (4) Cada dos lneas de G estn en un ciclo comn. (5) Dados dos vrtices cualesquiera de G y una lnea tambin de G, existe un camino que une los vrtices y que adems contiene la lnea que pertenece a G. (6) Para cualesquiera tres vrtices distintos de G existe un camino que une a dos de ellos y que contiene al tercero. (7) Para cualesquiera tres vrtices distintos de G, existe un camino que une dos de ellos, pero que no contiene al tercero.