13 TrayectoriasyCiclos

Teorı́a de gráficas
Dra. Edith Lucero Ozuna Espinosa
Universidad Autónoma de Nuevo León

México
mayo 2021
luceroozuna@gmail.com Matemáticas discretas mayo 2021 1 / 54

Definición
Sean v0 y vn vértices en una gráfica. Una trayectoria de v0 a vn de
longitud n es una sucesión alternante de n + 1 vértices y n aristas que
comienza en el vértice v0 y termina en el vértice vn .
(v0 , e1 , v1 , e2 , v2 , e3 , ..., vn−1 , en , vn )

Donde la arista ei es incidente sobre los vértices vi−1 y vi para
i = 1, 2, ..., n.


La trayectoria (v1 , e1 , v2 , e2 , v3 , e3 , v4 , e4 , v2 ) es una trayectoria de longitud

4 del vértice v1 al vértice v2 .

En ausencia de aristas paralelas, al denotar una trayectoria se pueden

suprimir las aristas. Por ejemplo, la trayectoria se puede escribir como:
(1, 2, 3, 4, 2)

Definición
Una gráfica G es conexa si dados cualesquiera dos vértices v y w en G,
existe una trayectoria de v a w.
Dicho de otra forma, una gráfica conexa es una gráfica en la que se puede
ir de cualquier vértice a cualquier otro vértice por una trayectoria.

Gráfica conexa

Gráfica conexa Gráfica no conexa

Como se ve en las gráficas anteriores, una gráfica conexa es de una

“pieza”, mientras que una gráfica no conexa consiste en varias “piezas”.
Estas “piezas” son subgráficas de la gráfica original y se llaman
componentes. Se darán las definiciones formales a continuación.

Definición
Sea G = (V, E) una gráfica. (V 0 , E 0 ) es una subgráfica de G si:
V 0 ⊆ V y E 0 ⊆ E.
Para toda arista e0 ∈ E 0 , si e0 incide en v 0 y w0 , entonces v 0 , w0 ∈ V 0 .

Gráfica G = (V, E)

Subgráfica G0 = (V 0 , E 0 )

G = (V, E)

G = (V, E)
G0 = (V 0 , E 0 )

Definición
Sea G una gráfica y sea v un vértice de G. La subgráfica G0 de G que
consiste de todas las aristas y vértices de G que están contenidos en
alguna trayectoria que comienza en v, se llama componente de G que
contiene a v.

La gráfica G tiene una componente,

a saber, ella misma.
Sin duda, una gráfica es conexa si y

sólo si tiene exactamente una
componente.

En la siguiente gráfica, la componente de G que contiene a v3 es la

subgráfica G1 = (V1 , E1 ), V1 = (v1 , v2 , v3 ), E1 = (e1 , e2 , e3 ).
La componente de G que contiene a v4 es la subgráfica G2 = (V2 , E2 ),

V2 = (v4 ), E2 = φ.
La componente de G que contiene a v5 es la subgráfica G3 = (V3 , E3 ),

V3 = (v5 , v6 ), E1 = (e4 ).

Definición
Sean v y w vértices en G.

Definición
Una trayectoria simple de v a w es una ruta de v a w sin vértices
repetidos.

Definición
repetidos.
Un ciclo (o circuito) es una trayectoria de longitud diferente de cero
de v a v sin aristas repetidas.

Definición
repetidos.
Un ciclo (o circuito) es una trayectoria de longitud diferente de cero
de v a v sin aristas repetidas.
Un ciclo simple es un ciclo de v a w en el que no hay vértices
repetidos, excepto por el inicio y el fin que son iguales a v.

Sean: TS: trayectoria simple, C: ciclo

y CS: ciclo simple.


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS: no ,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS: no , C:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS: no , C: no,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS: no , C: no, CS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
TS: no , C: no, CS: no


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS: si ,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS: si , C:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS: si , C: no,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS: si , C: no, CS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
TS: si , C: no, CS: no


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS: no ,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS: no , C:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS: no , C: si,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS: no , C: si, CS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
TS: no , C: si, CS: no


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS: no ,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS: no , C:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS: no , C: si,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS: no , C: si, CS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
TS: no , C: si, CS: si


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)
TS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)
TS: si ,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)
TS: si , C:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)
TS: si , C: no,


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)
TS: si , C: no, CS:


y CS: ciclo simple.
(6, 5, 2, 4, 3, 2, 1)
(6, 5, 2, 4)
(2, 6, 5, 2, 4, 3, 2)
(5, 6, 2, 5)
(7)

Diga si la trayectoria indicada en la

gráfica es TS: trayectoria simple, C:
ciclo o CS: ciclo simple.
(a, d, c, d, e)
(b, c, d, a, b, e, d, d, c, b)
(a, d, c, b, e)
(e, d, c, b)
(b, c, d, e, b, b)
(d, c, b, e, d)

Problema de los puentes de Königsberg

Dos islas de rı́o Pregel en Königsberg estaban conectadas entre sı́ y con las
orillas del rı́o por puentes, como se muestra en la figura. El problema es
comenzar en cualquier lugar A, B, C o D, cruzar cada puente exactamente
una vez y luego regresar al lugar de inicio.

Problema de los puentes de Königsberg

La configuración de los puentes se puede modelar como una gráfica, como
se ve en la figura. Los vértices representan los lugares y las aristas
representan los puentes. El problema ahora, se reduce a encontrar un ciclo
en la gráfica que incluya todas las aristas y todos los vértices.

Un ciclo en una gráfica que incluye todos los vértices y todas las aristas de
G se llama ciclo de Euler

La solución a la existencia de ciclos de Euler se establece mejor con la
introducción del grado de un vértice.

La solución a la existencia de ciclos de Euler se establece mejor con la
introducción del grado de un vértice.
Definición
El grado de un veértice v, δ(v), es el número de aristas que inciden en v.

teorema
Si una gráfica G es conexa y cada vértice tiene grado par, entonces G
tiene un ciclo de Euler.

Ejemplo
Sea G una gráfica, se observa en la figura que G es conexa y que :
δ(v1 ) = δ(v2 ) = δ(v3 ) = δ(v5 ) = 4; δ(v4 ) = 6; δ(v6 ) = δ(v7 ) = 2

Ejemplo
Sea G una gráfica, se observa en la figura que G es conexa y que :
δ(v1 ) = δ(v2 ) = δ(v3 ) = δ(v5 ) = 4; δ(v4 ) = 6; δ(v6 ) = δ(v7 ) = 2
Como el grado de cada vértice es par, por el teorema anterior podemos

decir que G tiene un ciclo de Euler. Por inspección, podemos encontrar el
ciclo: (v6 , v4 , v7 , v5 , v1 , v3 , v4 , v1 , v2 , v5 , v4 , v2 , v3 , v6 )
Definición
Una gráfica tiene una trayectoria sin aristas repetidas de v a w (v 6= w)
que contiene todas las aristas y vértices si y sólo si es conexa y v y w son
los únicos vértices que tienen grado impar.

Ejercicios
Encuentre el grado de cada vértice en las siguientes gráficas:

Ejercicios
Diga si las gráficas tienen un ciclo de Euler. Si lo tienen, muestre uno.

Ciclos Hamiltonianos
Sir William Rowan Hamilton comercializó un juego a mediados del siglo
XIX en la forma de un dodecaedro. Cada esquina tiene el nombre de una
ciudad y el problema era comenzar en cualquier ciudad, viajar por las
aristas, visitar cada ciudad justo una vez y regresar a la ciudad inicial.

El juego de Hamilton se resuelve si se encuentra un ciclo en la gráfica de la

figura mostrada que contenga cada vértice justo una vez (excepto por el
vértice inicial y final que aparece dos veces).

Recorrido de cada vértice una sola vez.

Ciclos Hamiltonianos
En honor a Hamilton, un ciclo en la gráfica G que contiene cada vértice en
G justo una vez, excepto por el vértice inicial y final que aparece dos
veces, recibe el nombre de ciclo hamiltoniano.

El problema de encontrar un ciclo hamiltoniano es una gráfica parece

similar al de encontrar un ciclo de Euler en una gráfica. Un ciclo de Euler
visita cada arista una vez, mientras que un ciclo de Hamilton visita cada
vértice una vez, sin embargo, los problemas son en realidad bastante
diferentes.

Por ejemplo, el ciclo (a, b, c, d, e, f, g, a) es un ciclo hamiltoniano para la

gráfica que se muestra. Sin embargo, la gráfica no tiene un ciclo de Euler
ya que hay vértices de grado impar.

A diferencia de la situación para los ciclos de Euler, no se conocen

condiciones necesarias y suficientes que se verifiquen con facilidad para la
existencia de un ciclo de Hamilton en una gráfica.

Algunas veces es posible afirmar que una gráfica no contiene un ciclo

hamiltoniano.

Podemos iniciar agregando las aristas asociadas al vértice a

Después agregamos las aristas de c, ya que cada vértice debe tener grado
2.

Como cada vértice del ciclo debe tener grado 2, entonces las aristas
(b, d), (b, f ) no van a estar en el ciclo

Por lo tanto las aristas (g, d), (d, e), (e, f ), (f, k) están en el ciclo
Las aristas que se han agregado forman un ciclo, por lo tanto, cuando
agreguemos cualquier otra arista adicional al ciclo para unir los otros
vértices, alguno de los vértices del ciclo tendrá grado mayor que 2, por lo
que no existe un ciclo de Hamilton.
Ejercicios
Encuentre un ciclo hamiltoniano en la siguiente gráfica:

Ejercicios
Encuentre un ciclo hamiltoniano en la siguiente gráfica:

Ejercicios
Demuestre que la siguiente gráfica no tiene un ciclo hamiltoniano

Ejercicios
Demuestre que la siguiente gráfica no tiene un ciclo hamiltoniano

Representaciones de gráficas
Otra manera de representar a una gráfica es usando matrices.En particular,
se puede usar una matriz de adyacencia o una matriz de incidencia.

Matriz de adyacencia
Una matriz de adyacencia es una matriz cuadrada que se utiliza como
forma de representar relaciones binarias.

Una matriz de adyacencia es una matriz cuadrada que se utiliza como
forma de representar relaciones binarias.
Matriz de incidencia
Una matriz de incidencia es una matriz binaria, es decir, sus elementos
pueden ser ceros y unos.

Para obtener la matriz de adyacencia de esta gráfica, primero se selecciona
un orden de los vértices, por ejemplo a, b, c, d, e. Después se etiquetan los
renglones y columnas de una matriz con los vértices ordenados.El elemento
de esta matriz en el renglón i y la columna j con i 6= j, es el número de
aristas incidentes en i y j. Si i = j, el elemento es dos veces el número de
ciclos que inciden en i.

 
0 1 0 0 1
1 0 1 0 1
 
0 1 2 0 1
 
0 0 0 0 2
1 1 1 2 0

Matriz de incidencia
Para obtener la matriz de incidencia, se etiquetan los renglones con los
vértices y las columnas con las aristas (en algún orden arbitrario). El
elemento en el renglón v y la columna e es 1 si e es incidente en v y 0 en
caso contrario.

 
1 1 1 0 0 0 0
0 0 1 1 1 0 1
 
0 0 0 0 0 1 0
 
1 1 0 1 0 0 0
0 0 0 0 1 1 0

Ejercicios
Encuentre las matrices de adyacencia y de incidencia de las siguientes
gráficas

Dibuja la gráfica representada por cada matriz de adyacencia

 
4 1 1 1 0 2
 
2 0 0 1 0
0 0 1 0 1 1 0 1 1 1 0
   
0 1 2 1 1 1 1 0 1 1 3
   
1 0 1 0 0 1 1 1 0 1 1
 
0 1 1 0 0 0 1 1 1 0 1
2 0 3 1 1 0

13 TrayectoriasyCiclos

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

13 TrayectoriasyCiclos

Cargado por

Copyright:

Formatos disponibles

Teorı́a de gráficas

Dra. Edith Lucero Ozuna Espinosa

Universidad Autónoma de Nuevo León

luceroozuna@gmail.com Matemáticas discretas mayo 2021 1 / 54

(v0 , e1 , v1 , e2 , v2 , e3 , ..., vn−1 , en , vn )

luceroozuna@gmail.com Matemáticas discretas mayo 2021 2 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 3 / 54

La trayectoria (v1 , e1 , v2 , e2 , v3 , e3 , v4 , e4 , v2 ) es una trayectoria de longitud

luceroozuna@gmail.com Matemáticas discretas mayo 2021 3 / 54

En ausencia de aristas paralelas, al denotar una trayectoria se pueden

luceroozuna@gmail.com Matemáticas discretas mayo 2021 4 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 5 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 6 / 54

Gráfica conexa Gráfica no conexa

luceroozuna@gmail.com Matemáticas discretas mayo 2021 6 / 54

Como se ve en las gráficas anteriores, una gráfica conexa es de una

luceroozuna@gmail.com Matemáticas discretas mayo 2021 7 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 8 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 9 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 10 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 11 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 12 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 13 / 54

La gráfica G tiene una componente,

Sin duda, una gráfica es conexa si y

luceroozuna@gmail.com Matemáticas discretas mayo 2021 14 / 54

En la siguiente gráfica, la componente de G que contiene a v3 es la

La componente de G que contiene a v4 es la subgráfica G2 = (V2 , E2 ),

La componente de G que contiene a v5 es la subgráfica G3 = (V3 , E3 ),

luceroozuna@gmail.com Matemáticas discretas mayo 2021 15 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 16 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 16 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 16 / 54

luceroozuna@gmail.com Matemáticas discretas mayo 2021 16 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 17 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 18 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54

Sean: TS: trayectoria simple, C: ciclo

luceroozuna@gmail.com Matemáticas discretas mayo 2021 19 / 54