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 G 1 no
puede ser recorrido sin repetir alguna de sus lneas, mientras que el grafo G 2 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 eulerianoy un grafo que se
puede trazar mediante un recorrido euleriano se llamagrafo 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 corte de 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 K n . 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 P 2es
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 v i y vj.

- Caso II.2.1.
Si ambos vrtices vi y vj son adyacentes a v, como lo muestra la fig. 3.18, v iy 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 K 2, 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 v i 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 ( Kn por 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 K 2, 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, v i y vj, tales que todo
camino que una a vi con vj contiene a v. Pero por hiptesis, viy 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.

posted by Claudio Cifuentes M | 5:16 PM

0 Comments:
Post a Comment
<< Home