Profesor: Esteban Contreras Gráficas y Juegos 2023-1

Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

UNIVERSIDAD NACIONAL AUTÓNOMA DE MÉXICO

FACULTAD DE CIENCIAS
GRÁFICAS Y JUEGOS
TAREA 2

José Antonio Espinoza Santamarı́a

Alicia Alvarado Rodrı́guez
Rafael Javier Portilla Hernández
Jesús Emmanuel Mosqueda Brito

EJERCICIO 2: Sea G una gráfica, y sea A la matriz de adyacencia de G asociada al orden

lineal v1 , v2 , . . . , vn de V . Demuestra que, para toda k ∈ N, el número de vi vj -caminos de longitud
k en G es el valor de la entrada (i, j) en la matriz Ak .

DEMOSTRACIÓN: (Por inducción sobre An )

Nuestro caso base será A1 , lo que es nuestra matriz de adyacencia original, y nos dice qué
vértice es adyacente con otro pasando sólo por una arista, lo cual es exactamente lo mismo que
buscar uv-caminos de longitud 1, por lo cual se cumple

Supondremos que vale para Ak , ahora queremos ver que se cumple para Ak+1

Por el caso base sabemos que se cumple para A1 , y por hipóteis de inducción sabemos que
se cumple para Ak , por lo que al multiplicarlos aseguramos que se cumple la cerradura de la
multiplicacion, y además que Ak · A = Ak+1 , que es justo lo que querı́amos demostrar, por lo tanto
se cumple

EJERCICIO 3: Una pareja ordenada (X, ∗) es un grupo si

1. X es un conjunto no-vacı́o,

2. ∗ es una operación cerrada sobre X que es asociativa, es decir, ∗ : X × X → X es una función

tal que (x ∗ y) ∗ z = x ∗ (y ∗ z) para cualesquiera x, y, z ∈ X
3. existe un único e ∈ X tal que e ∗ x = x para toda x ∈ X,
4. para cada x ∈ X existe x tal que x ∗ x = e.

Sea G una gráfica. Demuestra que (AutG , ◦) es un grupo, donde AutG es el conjunto de auto-
morfismos de G y ◦ es la composición de funciones.

DEMOSTRACIÓN: Tenemos que probar las 5 propiedades que se mencionan:

Que el conjunto AutG ̸= ∅

Que la operación ◦ es cerrada sobre el conjunto AutG
que la operación ◦ es asociativa, es decir, para todo θ1 , θ2 , θ3 ∈ AutG , θ1 ◦(θ2 ◦θ3 ) = (θ1 ◦θ2 )◦θ3
Que existe un elemento neutro, es decir, existe un único elemento e ∈ AutG tal que e ◦ θ = θ
Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

Que el conjunto AutG tiene inversos, es decir, para todo θ ∈ AutG , existe θ̃ ∈ AutG tal que
θ ◦ θ̃ = e

Vamos a demostrar lo primero, y para ellos primero definiremos la composición de funciones de

la siguiente manera:

θ ◦ ϕ(x) = θ(ϕ(x))

PD1: Que el conjunto AutG ̸= ∅

Por un lado, sabemos que G ∼ = G, esto pues la relación de isomorfimos es de equivalencia, y

particualrmente los automorfismos son isomorfismos. Como G ∼ = G, quiere decir que existe
IdVG : VG −→ VG tal que para todo u, v ∈ VG :

uv ∈ EG ⇐⇒ IdVG (u)IdVG (v) ∈ EG

Y esto sı́ es válido pues la identidad manda los vértices en sı́ mismos, por lo cual podemos decir
que IdVG es un automorfismo y, por lo tanto IdVG ∈ AutG , por lo cual podemos asegurar que el
conjunto AutG tiene al menos un elemento, por lo cual aaseguramos que AutG ̸= ∅

PD2: Que la operación ◦ es cerrada sobre el conjunto AutG , es decir, que si θ1 ∈ AutG y
θ2 ∈ AutG , entonces θ1 ◦ θ2 ∈ AutG

Supongamos que θ1 ∈ AutG y que θ2 ∈ AutG , ésta será nuestra hipótesis fuerte

Tomaremos i ∈ {1, 2}, ahora podemos proseguir, como θi ∈ AutG , entonces θi es un automor-
fismo de G, entonces G ∼
= G, es decir:

θi : VG −→ VG
tales que para todo u, v ∈ VG

uv ∈ EG ⇐⇒ θi (u)θi (v) ∈ EG
Queremos ver que θ1 ◦ θ2 ∈ AutG , es decir, θ1 ◦ θ2 es automorfismo, es decir:

θ1 ◦ θ2 : VG −→ VG
tal que para todo u, v ∈ VG :

uv ∈ EG ⇐⇒ θ1 ◦ θ2 (u)θ1 ◦ θ2 (v) ∈ EG

⇒| Primero, supongamos que uv ∈ EG , ésta será nuestra hipótesis débil, luego, por hipótesis
fuerte, sabemos que θi es automorfismo, entonces por la hipótesis fuerte y la hipótesis débil, sabemos
que θi (u)θi (v) ∈ EG para i = 1 ∧ i = 2, primero, consideraremos a i = 2

Por hipótesis débil, uv ∈ EG y por hipótesis fuerte, θ2 es automorfismo, entonces θ2 (u)θ2 (v) ∈
EG , luego aplicando esto último para θ1 , nuevamente por hipótesis fuerte θ1 es automorfismo,
entonces resulta que θ1 (θ2 (u))θ1 (θ2 (v)) ∈ EG , y por definición de composición sabemos que θ1 ◦
θ2 (u)θ1 ◦ θ2 (v) ∈ EG , que es justo lo que querı́amos demostrar
Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

⇐| El regreso es totalmente análogo, pues basta aplicar todo de forma inversa para llegar a que
uv ∈ EG , por lo cual se vale la doble implicación.

Entonces concluimos que para todo u, v ∈ VG :

uv ∈ EG ⇐⇒ θ1 ◦ θ2 (u)θ1 ◦ θ2 (v) ∈ EG
Concluimos que θ1 ◦θ2 es un automorfismo, por lo cual al componer 2 automorfismos, el resultado
también es un automorfismo, lo que implica que el conjunto AutG es cerrado bajo la composición,
que es justo lo que querı́amos demostrar

PD3: que la operación ◦ es asociativa, es decir, para todo θ1 , θ2 , θ3 ∈ AutG , θ1 ◦ (θ2 ◦ θ3 ) =

(θ1 ◦ θ2 ) ◦ θ3

Como sabemos que θ1 , θ2 , θ3 son automorfismos, se cumple su definición, entonces a partir de

ella podemos construir lo que se nos piden:

uv ∈ EG ⇐⇒ θ3 (u)θ3 (v) ∈ EG (pues θ3 ∈ AutG )

⇐⇒ θ2 (θ3 (u))θ2 (θ3 (v)) ∈ EG (pues θ2 ∈ AutG )
⇐⇒ θ2 ◦ θ3 (u)θ2 ◦ θ3 (v) ∈ EG (Por def. de composición)
⇐⇒ θ1 (θ2 ◦ θ3 (u))θ1 (θ2 ◦ θ3 (v)) ∈ EG (pues θ1 ∈ AutG )
⇐⇒ θ1 ◦ (θ2 ◦ θ3 )(u)θ1 ◦ (θ2 ◦ θ3 )(v) ∈ EG (Por def. de composición)

Por otro lado:

uv ∈ EG ⇐⇒ θ2 (u)θ2 (v) ∈ EG (pues θ2 ∈ AutG )

⇐⇒ θ1 (θ2 (u))θ1 (θ2 (v)) ∈ EG (pues θ1 ∈ AutG )
⇐⇒ θ1 ◦ θ2 (u)θ1 ◦ θ2 (v) ∈ EG (Por def. de composición)
⇐⇒ θ1 ◦ θ2 (θ3 (u))θ1 ◦ θ2 (θ3 (v)) ∈ EG (pues θ3 ∈ AutG )
⇐⇒ (θ1 ◦ θ2 ) ◦ θ3 (u)(θ1 ◦ θ2 ) ◦ θ3 (v) ∈ EG (Por def. de composición)

De todo lo anterior decir que:

(θ1 ◦ θ2 ) ◦ θ3 (u)(θ1 ◦ θ2 ) ◦ θ3 (v) ∈ EG ⇐⇒ uv ∈ EG ⇐⇒ θ1 ◦ (θ2 ◦ θ3 )(u)θ1 ◦ (θ2 ◦ θ3 )(v) ∈ EG

Como resulta que la composición si está en las aristas de G, nos quiere decir inmediatamente
que las composiciones deben de ser iguales, de otra manera las implicaciones serı́an falsas, por lo
cual se cumple la asociatividad, que es justo lo que querı́amos demostrar

PD4: Que existe un elemento neutro, es decir, existe un único elemento e ∈ AutG tal que
e◦θ =θ

Proponemos al elemento neutro como la identidad, es decir, sea: e = IdVG , entonces queremos
ver que al componer θ con el elemento neutro nos arroja el mismo

Usamos la definición de automorfismos (eso lo podemos asegurar pues θ ∈ AutG y la identidad

es un automorfismo)
Queremos ver que:

uv ∈ EG ⇐⇒ IdVG ◦ θ(u)IdVG ◦ θ(v) ∈ EG

Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

⇐| Supongamos que IdVG ◦ θ(u)IdVG ◦ θ(v) ∈ EG , entonces por definición de composición, sabe-
mos que IdVG (θ(u))IdVG (θ(v)) ∈ EG , por cómo se comporta la identidad, tenemos que θ(u)θ(v) ∈
EG , y cómo θ es automorfismo, concluimos que uv ∈ EG , que es justo lo que querı́amos demostrar

⇒| el regreso es completamente análogo, entonces como por ambas partes resulta que al com-
poner da justo lo que queremos, tenemos que el neutro es la identidad, por lo cual es el elemento
neutro, si suponemos que hay otro neutro, digamos, θu entonces al componerla también arroja lo
mismo, por lo cual la composicion por ambas partes arroja que uv ∈ EG (por la pureba anterior),
por lo tanto deben de ser las mismas, es decir: θu = IdVG , por lo cual garantizamos la unicidad del
neutro

PD5: Que el conjunto AutG tiene inversos, es decir, para todo θ ∈ AutG , existe θ̃ ∈ AutG tal
que θ ◦ θ̃ = e

Sea θ ∈ AutG fijo pero arbitrario, como está en el conjunto de automorfismos, entonces θ es
biyectiva, es decir, es invertible, es decir, tiene inversa
Sea θ−1 : VG −→ VG la inversa de θ, hay que ver que para toda u, v ∈ EG

uv ∈ EG ⇐⇒ θ ◦ θ−1 (u)θ ◦ θ−1 (v) ∈ EG

⇐| Supongamos que θ ◦ θ−1 (u)θ ◦ θ−1 (v) ∈ EG , entonces por definición de composición, sabemos
que: θ(θ−1 (u))θ(θ−1 (v)) ∈ EG , como θ−1 es inversa, entonces al componerla es la identidad, es
decir: IdVG (u)IdVG (v) ∈ EG , pero esto por como se comporta la identidad es igual a que uv ∈ EG ,
que es justo lo que queriamos demostrar

⇒|, el regreso es análogo, por lo cual al componer la inversa da la identidad y cumple la definición,
es decir para la θ encontramos la inversa, que es justo lo que querı́amos demostrar.

Por lo tanto la pareja ordenada (AutG , ◦) es un grupo

EJERCICIO 4: El complemento de una gráfica
simple G = (VG , EG ) es la gráfica simple G con

conjunto de vértices VG y conjunto de aristas V2G \EG . Una gráfica simple G es autocomplementaria
si G ∼
= G.
1. Prueba que si G es autocomplementaria, entonces |VG | ≡ 0 mód 4 ó |VG | ≡ 1 mód 4.
2. Exhibe 3 gráficas autocomplementarias que sean no-isomorfas dos a dos.

DEMOSTRACIÓN:
inciso a)
Supongamos que G es autocomlementaria, entonces G ∼
= G, luego sabemos que:

G ∪ G = Kn
es decir, forma la gráfica completa, por lo que podemos asegurar que:

n(n − 1)
|EG | + |EG | =
2
Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

Ahora haremos unas cuantas observaciones, como G es autocomplementaria, entonces si el número

de vértices es n, su complemento tiene el mismo número, luego, cada par de vértices u, v en los
vértices de Kn , la arista uv pertenece ya sea a G o a su complemento y no a ambas, pues entonces
deberia estar en el complemento y en el conjunto original, lo cual no es posible

Por hipóteis G es autocomplementaria, entonces podemos asegurar que |EG | = |EG |, sustituimos
en lo anterior:

n(n − 1)
|EG | + |EG | = 2|EG | =
2
multiplicamos por un 2

4|EG | = n(n − 1)
Luego:

n(n − 1)
|EG | = · · · (∗)
4
Y nótese que la gráfica tiene n vértices, por lo cual:

|VG |(|VG | − 1)
|EG | =
4
Luego de (∗) nos desglosa los siguientes casos:
Caso 1: si n es divisible entre 4, entonces aseguramos inmediatamente que |VG | ≡ 0 mód 4, que
es justo lo que querı́amos demostrar

Caso 2: Si n es divisible entre 2 y n − 1 es dibisible entre 2, entonces quiere decir que n es par,
lo cual como tenemos su antecesor, debe de ser impar, lo que nos dice que no puede ser divisible
entre 2, pero deberı́amos poder sacar entre comillas otro factor 2 de n − 1, pero esto no es posible
pues n − 1 es impar, por lo cual este caso es imposible, por lo cual podemos descartarlo

Caso 3: Si n − 1 es divisible entre 4, es decir n − 1 = 4k, o bien n = 4k + 1, lo que nos dice

entonces que n ≡ 1 mód 4, que es justo lo que querı́amos demostrar

De los 3 casos, sólo 2 nos aseguran que las congruencias si se cumplen, que son justo los casos
que se necesitaban, por lo tanto se cumple lo que se querı́a demostrar

Inciso b: Ahora exhibiremos las gráficas que cumplen lo requerido

Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

============================================

===========================================

============================================
Donde sus reglas de correspondencia son las siguientes:
Para la gráfica de orden 1 : θ(v1 ) = v1

Para la gráfica de orden 4 :

θ(u1 ) = x2
θ(v1 ) = w2
θ(w1 ) = u2
θ(x1 ) = v2

Para la gráfica de orden 5 :

θ(u1 ) = u2
θ(v1 ) = w2
θ(w1 ) = y2
θ(x1 ) = v2
θ(y1 ) = x2

EJERCICIO 6: Un cluster es una gráfica G tal que cada una de sus componentes conexas es
una gráfica completa.
1. Demuestra que si una gráfica conexa G de orden al menos 3 no es completa, entonces G tiene
a P3 como subgráfica inducida.
2. Concluye que una gráfica simple G es un cluster si y sólo si es libre de P3 .
Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

DEMOSTRACIÓN:

inciso a): Nótese que si G es conexa y no es completa, quiere decir que hay un camino (uW v)
tal que conecta a u con v, con u ̸= v, pasando por al menos un vértice que llamaremos w, eso nos
dice que existe una trayerctoria uv de longitud mı́nima ≤ 2, luego, sabiendo esto, la trayectoria será
de la forma:
 
P = u = u0 , u1 , u2 , · · · , un = v

Y aunque la trayectoria sea mayor a la P3 , sabemos que tiene que pasar por los primeros 3
vértices, es decir: {u = u0 , u1 , u2 }, lo cual es una P3 , y si la trayectoria uv es
{u = u0 , u1 = w, u2 = v}, con u ̸= v entonces también es una P3 , por lo tanto G tiene una
subgráfica inducida, es decir: P3

inciso b):

⇒| Por definición de ser libre, quiere decir que para cualquier gráfica inducida, no sew cumple
alguna propiedad · · · (1)
La definición de subgráfica inducida quiere decir que es una subgráfica que toma algunos vértices
de la gráfica G y toma a todas las aristas que estaban entre los vértices que tomamos de la gráfica
original sin agregar aristas · · · (2)
La definición de P3 es una trayectoria de orden 3, y al ser trayectoria se sabe que un uv-camino
que no repite vértices ni aristas · · · (3)
Y por último, la definición de clúster es una gráfica G tal que cad auna de sus componentes
conexas es una gráfica completa · · · (4)

Hay que probar que G es libre de P3

Ya que G es un clúster, tomaremos en cuenta las componentes con más de dos vértices, si no
lo hacemos, ningún componente de orden ≤ 2 lo cumplirı́a, ya que para ser P3 se necesite ser de
orden 3 (por (3)), entonces tomaremos las c omponentes con orden > 3 y entonces agarramos las
subgráficas inducidas de 3 vértices en un componente arbitrario, y por (2) y (4) sabemos que las
gráficas inducidas serán completas lo cual hace que sea libre de P3 (por (2)), ya que se crea un
camino de lonigitud 3, y además repite un vértice, entonces no cumple las propiedades para ser P3 ,
ya que ningún componente del clúster induce a una subgráfica de P3 , por lo cual podemos concluir
que G es libre de P3

⇐| (Por contrapositiva:) Sabemos que la gráfica induce a P3 , entonces hay que ver que G no es
clúster.

Por el Ejercicio 6.a, sabemos que si una gráfica induce P3 , puede ser conexa, pero no completa,
luego, por lo que, sabemos, para que pueda ser clúster, cada una de sus componentes tienen que
ser completas, y si P3 es inducida en cualquier componente arbitraria de la gráfica G, entonces no
puede ser un clúster, que es justo lo que querı́amos demostrar, por lo tanto G no es clúster

EJERCICIO 7: Sean G una gráfica y W un camino cerrado impar en G. Demuestre que W

contiene un ciclo impar.

DEMOSTRACIÓN:(Por inducción sobre la longitud)

Profesor: Esteban Contreras Gráficas y Juegos 2023-1
Ayudantes: Mauricio Carrasco y Andrea Arenales Grupo 4365

Caso base: cuando l = 3, esto porque la longitud l = 3 es la más pequeña que puede ser un ciclo
impar, con un vértice extra del vértice de inicio-fin, generando la gráfica Q de longitud 3, pues si
sólo tuviese 2 vértices entonces serı́a par

Hipótesis de inducción: La afirmación es que sobre un camino k más corto que G es impar y
asumimos que W es un camino cerrado con l = k, hay que demostrar que vale para k+1

Si G no tiene vértices repetidos más allá de v, que es el primero y el último, entonces W es un

ciclo impar.
En caso de que más de una vez se repita v en G, entonces G tiene más de un camino que va de
v a v y al menos uno será de longitud impar, dado que la longitud k es impar en G
Este camino cerrado W es más pequeño que G, pues está contenido en G, este W es impar, pues
contiene un ciclo impar contenido también en W , con su camino cerrado de k, dado que la longitud
de G es impar, que es justo lo que se querı́a demostrar

EJERCICIO 9: Exhibe 11 gráficas simples y no isomorfas de orden 4. Argumenta por qué

cada una de las gráficas exhibidas es no-isomorfa a las demás.

DEMOSTRACIÓN: Sean las siguientes gráficas descritas de la siguiente forma:

Gi = (Vi , Ei ) tal que i ∈ {1, · · · , 11}

dibujadas de la siguiente manera:

G1 G2 G3 G4 G5

G6 G7 G8 G9 G10

G11

Y donde las sucesiones no-crecientes de cada una de las Gi es:

G1 = {0, 0, 0, 0} G2 = {1, 1, 0, 0} G3 = {2, 1, 1, 0} G4 = {1, 1, 1, 1} G5 = {2, 2, 1, 1}
G6 = {3, 1, 1, 1} G7 = {2, 2, 2, 0} G8 = {2, 2, 2, 2} G9 = {3, 2, 2, 1} G10 = {3, 3, 2, 2}
G11 = {3, 3, 3, 3}

Por la contrapositiva del Ejercicio 10.a, sabemos que si dos gráficas tienen la misma suceción de
grados no-creciente, entonces son isomorfas, y nótese que ninguna gráfica tiene la misma sucesión
de grados, por lo tanto ninguna gráfica es isomorfa entre sı́

(NOTA IMPORTANTE: nuestro compañero Jesús Emmanuel Mosqueda Brito en-

tregará los ejercicios faltantes después, serán igual parte del trabajo pero el ya habló
con el profesor para que esto no afecte la calificación del trabajo total)